Home › OMG zone › UML2.3 metaclasses and metamodel overview using hyperlinked UML Parsing Analysis [ARCHIVAL] › 7.3.10 Constraint (from Kernel) › Description ›
One predefined language for writing constraints is OCL.
[snippet] Submitted by webel on Tue, 22/06/2010 - 12:11
0
- Printer-friendly version
- Login to post comments
Jakarta EE is out !
The new name for Java EE is Jakarta EE and it's officially out !
Zones
- OMG zone
- UML2.3 metaclasses and metamodel overview using hyperlinked UML Parsing Analysis [ARCHIVAL]
- Source: UML2.3 superstructure: formal/2010-05-05 (as PDF)
- Notes about this (partial) UML Parsing Analysis of the UML superstructure specification
- 11.3.10 CallOperationAction (from BasicActions)
- 11.3.19 InputPin (from BasicActions)
- 11.3.20 InvocationAction (from BasicActions)
- 11.3.27 OutputPin (from BasicActions)
- 11.3.28 Pin (from BasicActions)
- 11.3.3 Action (from BasicActions)
- 11.3.51 ValuePin (from BasicActions)
- 11.3.8 CallAction (from BasicActions)
- 11.3.9 CallBehaviorAction (from BasicActions)
- 12.3.10 ActivityPartition (from IntermediateActivities)
- 12.3.19 ControlFlow (from BasicActivities)
- 12.3.37 ObjectFlow (from BasicActivities, CompleteActivities)
- 12.3.38 ObjectNode (from BasicActivities, CompleteActivities)
- 12.3.39 ObjectNodeOrderingKind (from CompleteActivities)
- 12.3.4 Activity (from BasicActivities, CompleteActivities, FundamentalActivities, StructuredActivities)
- 12.3.43 ParameterSet (from CompleteActivities)
- 12.3.5 ActivityEdge (from BasicActivities, CompleteActivities, CompleteStructuredActivities, IntermediateActivities)
- 12.3.7 ActivityGroup (from BasicActivities, FundamentalActivities)
- 12.3.8 ActivityNode (from BasicActivities, CompleteActivities, FundamentalActivities, IntermediateActivities, CompleteStructuredActivities)
- 13.3.2 Behavior (from BasicBehaviors)
- 13.3.4 BehavioredClassifier (from BasicBehaviors, Communications)
- 15.3.11 State (from BehaviorStateMachines, ProtocolStateMachines)
- 15.3.12 StateMachine (from BehaviorStateMachines)
- 15.3.14 Transition (from BehaviorStateMachines)
- 15.3.16 Vertex (from BehaviorStateMachines)
- 16.3.1 Actor (from UseCases)
- 16.3.6 UseCase (from UseCases)
- 17.3.1 Model (from Models)
- 7.3.1 Abstraction (from Dependencies)
- 7.3.10 Constraint (from Kernel)
- A constraint is a condition or restriction expressed in natural language text or in a machine readable language for the purpose of declaring some of the semantics of an element.
- Associations
- Constraints
- Description
- Constraint contains a ValueSpecification that specifies additional semantics for one or more elements.
- Certain kinds of constraints (such as an association “xor” constraint) are predefined in UML, others may be user-defined.
- A user-defined Constraint is described using a specified language, whose syntax and interpretation is a tool responsibility.
- One predefined language for writing constraints is OCL.
- In some situations, a programming language such as Java may be appropriate for expressing a constraint.
- In other situations natural language may be used.
- Constraint is a condition (a Boolean expression) that restricts the extension of the associated element beyond what is imposed by the other language constructs applied to that element.
- Constraint contains an optional name, although they are commonly unnamed.
- Examples
- Notation
- Presentation Options
- Semantics
- 7.3.11 DataType (from Kernel)
- 7.3.12 Dependency (from Dependencies)
- 7.3.13 DirectedRelationship (from Kernel)
- 7.3.14 Element (from Kernel)
- 7.3.15 ElementImport (from Kernel)
- 7.3.18 Expression (from Kernel)
- 7.3.19 Feature (from Kernel)
- 7.3.2 AggregationKind (from Kernel)
- 7.3.20 Generalization (from Kernel, PowerTypes)
- 7.3.21 GeneralizationSet (from PowerTypes)
- 7.3.22 InstanceSpecification (from Kernel)
- 7.3.23 InstanceValue (from Kernel)
- 7.3.24 Interface (from Interfaces)
- 7.3.25 InterfaceRealization (from Interfaces)
- 7.3.3 Association (from Kernel)
- 7.3.32 MultiplicityElement (from Kernel)
- 7.3.33 NamedElement (from Kernel, Dependencies)
- 7.3.34 Namespace (from Kernel)
- 7.3.36 Operation (from Kernel, Interfaces)
- 7.3.37 Package (from Kernel)
- 7.3.38 PackageableElement (from Kernel)
- 7.3.39 PackageImport (from Kernel)
- 7.3.4 AssociationClass (from AssociationClasses)
- 7.3.41 Parameter (from Kernel)
- 7.3.42 ParameterDirectionKind (from Kernel)
- 7.3.44 Property (from Kernel, AssociationClasses, Interfaces)
- 7.3.45 Realization (from Dependencies)
- 7.3.46 RedefinableElement (from Kernel)
- 7.3.47 Relationship (from Kernel)
- 7.3.48 Slot (from Kernel)
- 7.3.49 StructuralFeature (from Kernel)
- 7.3.5 BehavioralFeature (from Kernel)
- 7.3.50 Substitution (from Dependencies)
- 7.3.51 Type (from Kernel)
- 7.3.52 TypedElement (from Kernel)
- 7.3.54 ValueSpecification (from Kernel)
- 7.3.55 VisibilityKind (from Kernel)
- 7.3.6 BehavioredClassifier (from Interfaces)
- 7.3.7 Class (from Kernel)
- 7.3.8 Classifier (from Kernel, Dependencies, PowerTypes)
- 7.3.9 Comment (from Kernel)
- 9.3.11 Port (from Ports)
- 9.3.12 Property (from InternalStructures)
- 9.3.13 StructuredClassifier (from InternalStructures)
- 9.3.2 Classifier (from InternalStructures, Collaborations)
- 9.3.3 Collaboration (from Collaborations)
- 9.3.5 ConnectableElement (from InternalStructures)
- 9.3.6 Connector (from InternalStructures)
- 9.3.7 ConnectorEnd (from InternalStructures, Ports)
- 9.3.8 EncapsulatedClassifier (from Ports)
- Annex C: Standard Stereotypes (normative)
- Sponsors are sought for the online UML and SysML specification Parsing Analysis projects
- Metaclasses: dynamic query view
- Packages
- Properties (of Metaclass attributes and associations): dynamic query view
- SysML1.2 specification overview using hyperlinked SysML Parsing Analysis [ARCHIVAL]
- OMG MARTE
- OMG ManTIS
- OMG Robotics
- OMG Space DTF
- OMG UML Testing Profile (UTP)
- Object Management Group Technical Meeting, Brussels 2007
- Object Management Group Technical Meeting, Washington DC 2008
- UML2.3 metaclasses and metamodel overview using hyperlinked UML Parsing Analysis [ARCHIVAL]
Related sites
- Webel's SysML/MBSE videos on Vimeo
- Webel's Drancel videos on Vimeo
- Webel's photo channel on SmugMug
- The GreenSoft company site
- The GreenDesk tutorial site
- The GreenDesk video channel on Vimeo
- The GreenSoft Twitter stream
- Webel's Drupal7 info site (ARCHIVED)
Browse by content type
Keywords
screenshot
XSD
RDBMS
PHP
light show
LED
JSF
web site
signal processing
XML Schema
patch programming
wrapper
mysql
ObjectDB
particle physics
systems engineering
Java EE Container
air instrument
Wii
animation
visualisation
website
GEM
XML
accelerometer
synthesis
symbolic algebra
SysML Block
DranceWare
Cascading Style Sheets
UML Parsing Analysis
mathematics
Eclipse Modeling Framework (EMF)
Java EE Server
Java3D
database
UML1.x
JavaServer Faces
Mac OS X
port-based engineering
video synthesis
web development
MagicDraw UML
PureData
visuals
object-relational mapping
MOST
radioastronomy
object-orientation
web services
Content Management System
ontology
Wiimote
UML Component
Drupal
graphics editing
audio synthesis
radiosynthesis
air music
amplitude modulation
network graphing
audio engineering
UML
particle collider
Java
real-time synthesis
Enterprise JavaBeans
acceleration
JSP
distributed computing
Unified Modeling Language
CMS
OPAL research reactor
enterprise architecture
graphical user interface
CSS
JUNG
accelerometer art
Drancing
SysML
Drupal7
digital graphics
Java EE
sound engineering
neutron beam instrument
accelerometer music
MD SysML
gestural synthesis
Web Ontology Language (OWL)
air drums
SQL
Drancel
JSyn
Enterprise Java
UML2
JIRA
Systems Modeling Language
radiotelescope
SysML Internal Block Diagram
Shibboleth
