Authors:
Marcel Heinz
;
Ralf Lämmel
and
Andrei Varanovich
Affiliation:
University of Koblenz-Landau, Germany
Keyword(s):
Software Technology, Software Language, Axiomatization, Ontology, Linguistic Architecture, Megamodeling.
Related
Ontology
Subjects/Areas/Topics:
Domain-Specific Modeling and Domain-Specific Languages
;
Languages, Tools and Architectures
;
Model-Driven Software Development
;
Software Engineering
;
Syntax and Semantics of Modeling Languages
Abstract:
In documenting software technologies (e.g., web application or modeling or object/relational mapping frameworks) and specifically when discussing technology usage scenarios, one aims at identifying and classifying the involved entities (e.g., languages and artifacts); one also aims at relating the entities (e.g., through conformance or I/O behavior of program execution). In this paper, we present a logic-based axiomatization (an emerging ontology) for the underlying types of entities and relationships, thereby formalizing recurring documentation idioms such as `a software system (e.g., a Java application) to use a technology (e.g., a test library)' or `a technology (e.g., a web application framework) to facilitate a certain concept (e.g., the MVC pattern)'. The axiomatization is illustrated by examples applying to the Eclipse Modeling Framework. The inclusion of types of entities and relationships is driven and thus validated by a literature survey on megamodeling.