Variability in UML language and semantics.
Bernhard RumpeRobert B. FrancePublished in: Softw. Syst. Model. (2011)
Keyphrases
- specification language
- uml class diagrams
- logical language
- modeling language
- programming language
- class diagrams
- model theoretic
- constraint language
- formal language
- operational semantics
- formal semantics
- intended meaning
- dynamic logic
- uml activity diagrams
- highly expressive
- definition language
- object oriented
- description language
- denotational semantics
- conceptual model
- formal specification
- uml diagrams
- conceptual graphs
- description logics
- language learning
- action language
- formal languages
- conceptual models
- conceptual modeling
- logic programming language
- database query languages
- logic programming
- disjunctive logic programming
- activity diagrams
- semantic information
- language constructs
- software systems
- rule language
- sequence diagrams
- formal methods
- semantically equivalent
- conditional logic
- speech acts