A Concrete Syntax for UML 2.1 Action Semantics Using +CAL.
Isabelle PerseilLaurent PautetPublished in: ICECCS (2008)
Keyphrases
- uml activity diagrams
- uml class diagrams
- constraint language
- definition language
- action descriptions
- operational semantics
- specification language
- object oriented
- formal semantics
- rule language
- action theories
- software engineering
- precisely defined
- action language
- software systems
- attribute grammars
- machine processable
- modeling language
- predicate calculus
- logic programming
- database design
- class diagrams
- metamodel
- software development
- lexical semantics
- activity diagrams
- high level
- software architecture
- reverse engineering
- situation calculus