Paper Info
Title
Semantics of State-Oriented Expressions in the Object Constraint Language
Abstract
The textual Object Constraint Language (OCL) is an of- ficial part of the Unified Modeling Language (UML). It is primarily used to formulate restrictions for UML class di- agrams. Additionally, it is possible to refer to UML State- chart states in OCL expressions to reason about currently activated states. However, neither the current OCL standard nor the pro- posal for the new OCL 2.0 version integrate Statecharts on the language definition level, i.e., the semantics of State- chart states in the context of OCL expressions is not suf- ficiently defined so far. To overcome this deficiency, this article provides a formal semantics for state-oriented OCL expressions for application with UML Statecharts.
Year
Venue
Keywords
2003
SEKE
formal semantics,unified modeling language,object constraint language
Field
DocType
Citations 
Data mining,Formal semantics (linguistics),Context-sensitive language,Operational semantics,Programming language,Computer science,Computational semantics,Action semantics,Object language,Object Definition Language,Object Constraint Language
Conference
3
PageRank 
References 
Authors
0.67
4
2
Name
Order
Citations
PageRank
Stephan Flake124122.77
Wolfgang Müller280567.39