Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
5Activity

Table Of Contents

1.2 Working with USE
1.2.1 Specifying a UML Model
1.2.2 Running USE
1.2.3 USE Shell - The Command Line Interface
1.2.4 Graphical User Interface
1.2.5 Creating Objects and Setting Attributes
1.2.6 Checking OCL Invariants
1.2.7 Evaluating OCL Expressions
1.3 Formal Background
1.4 Examples inspected within this documentation
1.4.1 Employees, Departments and Projects
1.4.2 Persons and Companies
1.4.3 Graphs
1.4.4 Factorial
2 Specifying a UML Model with USE
2.1 Defining a UML Model
2.2 Specification Elements
2.2.1 Enumerations
2.2.2 Classes
2.2.3 Associations
2.2.4 Association classes
2.2.5 Constraints
2.2.6 Operation declarations
2.2.7 Types
2.2.8 Names, Numbers and OCL-Expressions
2.3 Specifications of the Examples
2.3.1 Employees, Departments and Projects
2.3.2 Persons and Companies
2.3.3 Graphs
2.3.4 Factorial
3 Analyzing the formal Specification
3.1 Creating System States
3.1.1 Model Inherent Constraints
3.2 Validating Invariants
3.3 Validating Pre- and Postconditions
3.3.1 Validating the Person & Company Model
3.3.2 An Example with oclIsNew
3.3.3 Nested Operation Calls
4 GUI Reference
4.1 The Menubar
4.1.1 File
4.1.2 Edit
4.1.3 State
4.1.4 View
4.1.5 Help
4.2 Toolbar
4.3 The Main Window
4.3.1 Showing the diagram views
4.3.2 Overview of the Specification
4.3.3 Definition of the Specification elements
4.3.4 Log window
4.3.5 Status and Tips
4.4 Diagram Views
4.4.1 General Functions
4.4.2 Class Diagram View
4.4.3 Object Diagram View
4.4.4 Class Invariant View
4.4.5 Object Count View
4.4.6 Link Count View
4.4.7 State Evolution View
4.4.8 Object Properties View
4.4.9 Class Extend View
4.4.10 Sequence Diagram View
4.4.11 Call Stack View
4.4.12 Command List View
4.5 Evaluation Browser
4.5.1 Extended Evaluation
4.5.2 Variable Assignment Window
4.5.3 Subexpression Evaluation Window
4.5.4 Tree Views
4.5.5 True-False highlighting
4.5.6 Fit Width
4.5.7 Default Configuration
4.5.8 Set to default
4.5.9 Capture to File
4.5.10 Shortcuts
4.5.11 Context Menu
4.5.12 Tree Display Menu
4.5.13 Hide Title
4.5.14 Object Browser
5 Shell Reference
5.1 Commands
5.1.1 Overview of the Shell commands
5.1.2 Help about a specific Shell command
5.1.3 Compile and evaluate an OCL expression
5.1.4 Compile and evaluate an OCL expression (verbose)
5.1.5 Compile an OCL expression and show its static type
5.1.6 Enter OCL expressions over multiple lines
5.1.7 Create objects
5.1.8 Destroy objects
5.1.9 Insert a link into an association
5.1.10 Delete a link from an association
5.1.11 Set an attribute value of an object
5.1.12 Enter object operation
5.1.13 Exit least recently entered operation
5.1.14 Check integrity constraints
5.1.15 Activate single-step mode
5.1.16 Read information from File
5.1.17 Reset system to empty state
5.1.18 Exit USE
5.1.19 Undo last state manipulation command
5.1.20 Print info about a class
5.1.21 Print info about loaded model
5.1.22 Print info about current system state
5.1.23 Print currently active operations
5.1.24 Print internal program info
5.1.25 Print information about global variables
Prints information about global variables
5.2 Generator
6 OCL Standard Operations
6.1 Object Types
6.1.1 Equality
6.1.2 Inequality
6.1.3 isUndefined
6.1.4 oclIsNew
6.1.5 oclAsType
6.1.6 oclIsTypeOf
6.1.7 oclIsKindOf
6.2 Boolean Types
6.3 Real
6.3.1 Addition
6.3.2 Subtraction
6.3.3 Multiplication
6.3.4 Division
6.3.5 Negation
6.3.6 Less
6.3.7 Greater
6.3.8 Less or equal
6.3.9 Greater or equal
6.3.10 Absolute Values
6.3.11 Floor
6.3.12 Round
6.3.13 Maximum
6.3.14 Minimum
6.4 Integer
6.4.1 Addition
6.4.2 Subtraction
6.4.3 Multiplication
6.4.4 Division
6.4.5 Negation
6.4.6 Less
6.4.7 Greater
6.4.8 Less or equal
6.4.9 Greater or equal
6.4.10 Absolute Values
6.4.11 Euclidean division
6.4.12 Modulo
6.4.13 Maximum
6.4.14 Minimum
6.5 Collection
6.5.1 Size
6.5.2 Count
6.5.3 Includes
6.5.4 Excludes
6.5.5 Includes all
6.5.6 Excludes all
6.5.7 Is empty
6.5.8 Not empty
6.5.9 Sum
6.6 Set
6.6.1 Set-Equality
6.6.2 Including elements
6.6.3 Excluding elements
6.6.4 Union
6.6.5 Union with Bag
6.6.6 Intersection
6.6.7 Intersection with Bag
6.6.8 Difference of sets
6.6.9 Flatten
6.6.10 As Bag
6.6.11 As Sequence
6.7 Bag
6.7.1 Equality
6.7.2 Including elements
6.7.3 Excluding elements
6.7.4 Union
6.7.5 Union with Set
6.7.6 Intersection
6.7.7 Intersection with Set
6.7.8 Flatten
6.7.9 As Set
6.7.10 As Sequence
6.8 Sequence
6.8.1 Get element
6.8.2 Equality
6.8.3 Union
6.8.4 Flatten
6.8.5 Append elements
6.8.6 Prepend elements
6.8.7 Excluding elements
6.8.8 Subsequence
6.8.9 Get first element
6.8.10 Get last element
6.8.11 As Set
6.8.12 As Bag
0 of .
Results for:
No results containing your search query
P. 1
Use Documentation

Use Documentation

Ratings: (0)|Views: 987|Likes:

More info:

Published by: Jean-baptiste Makaya on May 03, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

01/27/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 7 are not shown in this preview.
You're Reading a Free Preview
Pages 11 to 40 are not shown in this preview.
You're Reading a Free Preview
Pages 44 to 93 are not shown in this preview.

Activity (5)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Suh Dias liked this
Olga Zhukova liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->