Name
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. |
Year | DOI | Venue |
|---|---|---|
2010 | 10.1007/978-3-642-15543-7_3 | Reasoning Web |
Keywords | Field | DocType |
software artifact,software language,software modeler,expressive ontology reasoning,ontology technology,software modeling domain,formal model,software modeling,software model,formal semantics,model driven engineering | Ontology (information science),Domain engineering,Process ontology,Software engineering,Software design description,Systems engineering,Computer science,Software construction,Software development,Social software engineering,Software requirements | Conference |
Volume | ISSN | ISBN |
6325 | 0302-9743 | 3-642-15542-1 |
Citations | PageRank | References |
18 | 1.04 | 40 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Steffen Staab | 1 | 6658 | 593.89 |
| Tobias Walter | 2 | 117 | 10.92 |
| Gerd Gröner | 3 | 171 | 14.70 |
| Fernando Silva Parreiras | 4 | 244 | 22.23 |