The Metamodelling Language Calculus: Foundation Semantics for UML.
Tony ClarkAndy EvansStuart KentPublished in: FASE (2001)
Keyphrases
- specification language
- formal language
- uml class diagrams
- database query languages
- process algebra
- formal semantics
- modeling language
- relational calculus
- formal methods
- logical language
- class diagrams
- programming language
- operational semantics
- intended meaning
- logic programming language
- uml activity diagrams
- definition language
- highly expressive
- formal specification
- formal languages
- description language
- conceptual models
- denotational semantics
- model theoretic
- uml diagrams
- natural language
- logic programming
- dynamic logic
- constraint language
- database design
- conceptual graphs
- relational algebra
- algebraic structure
- metamodel
- relational model
- software engineering
- semantic information
- expressive power
- conceptual model
- aggregate functions
- action language
- integrity constraints
- type checking
- unified modeling language
- predicate calculus
- owl ontologies
- description logics
- conditional logic