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