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