A meta-model approach for formal specification and consistent management of multi-LOD building models.
Jimmy AbualdenienAndré BorrmannPublished in: Adv. Eng. Informatics (2019)
Keyphrases
- metamodel
- formal specification
- life cycle
- model driven
- development process
- black box
- software systems
- information systems
- modeling language
- reference model
- specification language
- software development
- model checking
- object oriented design
- specification languages
- object oriented systems
- uml profile
- linked data
- programming language
- software engineering
- object oriented
- data model
- decision making