Model Driven Engineering with Ontology Technologies [chapter]

Steffen Staab, Tobias Walter, Gerd Gröner, Fernando Silva Parreiras
2010 Lecture Notes in Computer Science  
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant characteristics of a software artifact to be developed, yet, most often these software models have no formal semantics, or the underlying (often graphical) software language varies from case to case in a way that makes it hard if not impossible to fix its semantics. In this contribution, we survey the use of ontology
more » ... technologies for software modeling in order to carry over advantages from ontology technologies to the software modeling domain. It will turn out that ontology-based metamodels constitute a core means for exploiting expressive ontology reasoning in the software modeling domain while remaining flexible enough to accommodate varying needs of software modelers.
doi:10.1007/978-3-642-15543-7_3 fatcat:t5efbe4l6jdu5ixmdkl7hnyl2i