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