Semantics of OCL Operation Specifications.
Rolf HennickerAlexander KnappHubert BaumeisterPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- specification language
- operational semantics
- uml class diagrams
- constraint language
- formal semantics
- formal language
- control flow
- attribute grammars
- logic programming
- object oriented
- semantic information
- class diagram
- databases
- transformation rules
- modeling language
- metamodel
- integrity constraints
- model checking
- petri net
- high level