Formal Specification of a Meta Hierarchical Logical Data Model Using Object Role Modeling.
Robert J. L. SchmaalHerman BalstersSerge ValeraPublished in: OTM Workshops (2011)
Keyphrases
- classification rules
- formal specification
- logical data model
- model checking
- specification languages
- object oriented design
- specification language
- formal methods
- reverse engineering
- process algebra
- d objects
- data abstraction
- query language
- artificial intelligence
- databases
- building blocks
- software engineering
- fuzzy logic