Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2.
Zinovy DiskinJürgen DingelPublished in: MoDELS (2006)
Keyphrases
- formal semantics
- modeling language
- metamodel
- er model
- logical language
- database
- conceptual modeling
- ontology languages
- object oriented
- relational information
- formal methods
- operational semantics
- modelling language
- database design
- databases
- formal language
- first order logic
- software engineering
- owl dl ontology
- speech acts
- development process
- software systems
- logical reasoning
- software development
- data model
- data mining
- theorem prover
- data modeling
- modal logic
- life cycle