Axioms of Linguistic Architecture

Marcel Heinz, Ralf Lämmel, Andrei Varanovich

2017

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.

Paper Citation

in Harvard Style

Heinz M., Lämmel R. and Varanovich A. (2017). Axioms of Linguistic Architecture . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 478-486. DOI: 10.5220/0006210204780486

in Bibtex Style

@conference{modelsward17,
author={Marcel Heinz and Ralf Lämmel and Andrei Varanovich},
title={Axioms of Linguistic Architecture},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={478-486},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006210204780486},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Axioms of Linguistic Architecture
SN - 978-989-758-210-3
AU - Heinz M.
AU - Lämmel R.
AU - Varanovich A.
PY - 2017
SP - 478
EP - 486
DO - 10.5220/0006210204780486