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 limited 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 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.
%0 Book Section
%1 StaabWalterEtAl10p62
%A Staab, Steffen
%A Walter, Tobias
%A Gröner, Gerd
%A Silva Parreiras, Fernando
%B Reasoning Web: Semantic Technologies for Software Engineering
%C Berlin
%D 2010
%E Aßmann, Uwe
%E Bartho, Andreas
%E Wende, Christian
%I Springer
%K 01624 springer paper ai ontology software development design engineering code generation zzz.sw
%P 62--98
%R 10.1007/978-3-642-15543-7_3
%T Model Driven Engineering with Ontology Technologies
%V 6325
%X 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 limited 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 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.
%@ 978-3-642-15542-0
@incollection{StaabWalterEtAl10p62,
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 artifact to be developed, yet, most often these software models have limited 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 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.},
added-at = {2017-04-09T15:14:46.000+0200},
address = {Berlin},
author = {Staab, Steffen and Walter, Tobias and Gr\"{o}ner, Gerd and Silva Parreiras, Fernando},
biburl = {https://www.bibsonomy.org/bibtex/2f47e4276f785cc1178619c5897ce74de/flint63},
booktitle = {Reasoning Web: Semantic Technologies for Software Engineering},
crossref = {RW2010},
doi = {10.1007/978-3-642-15543-7_3},
editor = {A{\ss}mann, Uwe and Bartho, Andreas and Wende, Christian},
file = {SpringerLink:2010/StaabWalterEtAl10p62.pdf:PDF},
groups = {public},
interhash = {72ea5c229054e719977651efff37f18a},
intrahash = {f47e4276f785cc1178619c5897ce74de},
isbn = {978-3-642-15542-0},
issn = {0302-9743},
keywords = {01624 springer paper ai ontology software development design engineering code generation zzz.sw},
pages = {62--98},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2017-07-13T17:11:11.000+0200},
title = {Model Driven Engineering with Ontology Technologies},
username = {flint63},
volume = 6325,
year = 2010
}