A Useful Logical Semantics of UML for Querying and Checking UML Class Diagram.
Thomas RaimbaultDavid GenestStéphane LoiseauPublished in: ICAART (2009)
Keyphrases
- uml activity diagrams
- logical properties
- specification language
- logical rules
- uml class diagrams
- logical language
- formal semantics
- logical framework
- query language
- object oriented
- model theoretic
- operational semantics
- modeling language
- predicate calculus
- semantic information
- logical structure
- database
- logical formulas
- object oriented modeling
- uml models
- databases
- software engineering
- query processing
- conceptual modeling
- default reasoning
- situation calculus
- belief revision
- learning environment
- database design
- software systems
- class diagram
- unified modeling language
- logical theories
- relational databases