Abstract
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 artefact to be developed, yet, most often these software models have no formal semantics or the underlying (often graphical) software language varies between different use cases in a way that makes it hard if not impossible to even fix its semantics. In this contribution, we survey the use of ontology technologies for software models in order to carry advantages over to the software modeling domain. It will demonstrate 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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
