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
Systems Modeling Language
CMS
signal processing
PHP
UML
Wii
Enterprise JavaBeans
mysql
light show
object-orientation
network graphing
Java
air music
enterprise architecture
Wiimote
object-relational mapping
patch programming
wrapper
Java EE Container
video synthesis
Shibboleth
accelerometer
Mac OS X
Java3D
JSF
DranceWare
air instrument
MD SysML
Eclipse Modeling Framework (EMF)
radioastronomy
web services
XML Schema
UML1.x
JUNG
Enterprise Java
gestural synthesis
MOST
visuals
Unified Modeling Language
SQL
amplitude modulation
Web Ontology Language (OWL)
radiotelescope
LED
JIRA
Drupal7
Drancing
air drums
SysML
Cascading Style Sheets
JSP
JavaServer Faces
particle physics
OPAL research reactor
Drancel
web development
graphics editing
database
Java EE
PureData
mathematics
XML
JSyn
real-time synthesis
UML Component
digital graphics
Drupal
Java EE Server
accelerometer art
accelerometer music
acceleration
ObjectDB
screenshot
website
SysML Internal Block Diagram
symbolic algebra
distributed computing
ontology
UML Parsing Analysis
sound engineering
audio engineering
visualisation
GEM
port-based engineering
audio synthesis
neutron beam instrument
MagicDraw UML
animation
Content Management System
SysML Block
synthesis
XSD
radiosynthesis
UML2
RDBMS
particle collider
CSS
graphical user interface
systems engineering
web site
