Axioms of Linguistic Architecture

Marcel Heinz, Ralf Lämmel, Andrei Varanovich


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.


  1. Diskin, Z., Kokaly, S., and Maibaum, T. (2013). MappingAware Megamodeling: Design Patterns and Laws. volume 8225 of LNCS, pages 322-343. Springer.
  2. Elberzhager, F., M ünch, J., and Nha, V. T. N. (2012). A systematic mapping study on the combination of static and dynamic quality assurance techniques. Information & Software Technology, 54(1):1-15.
  3. Favre, J., Lämmel, R., and Varanovich, A. (2012a). Modeling the Linguistic Architecture of Software Products. In Proc. MODELS 2012, volume 7590 of LNCS, pages 151-167. Springer.
  4. Favre, J.-M., Lämmel, R., Schmorleiz, T., and Varanovich, A. (2012b). 101companies: A Community Project on Software Technologies and Software Languages. In Proc. TOOLS 2012, volume 7304 of LNCS, pages 58- 74. Springer.
  5. Gangemi, A., Guarino, N., Masolo, C., Oltramari, A., and Schneider, L. (2002). Sweetening Ontologies with DOLCE. In Proc. EKAW 2002, volume 2473 of LNCS, pages 166-181. Springer.
  6. Kurtev, I., Bézivin, J., and Aks¸it, M. (2002). Technological Spaces: an Initial Appraisal. In Proc. of CoopIS, DOA 2002, Industrial track.
  7. Lämmel, R. and Varanovich, A. (2014). Interpretation of Linguistic Architecture. In Proc. ECMFA 2014, volume 8569 of LNCS, pages 67-82. Springer.
  8. Oberle, D., Eberhart, A., Staab, S., and Volz, R. (2004). Developing and Managing Software Components in an Ontology-Based Application Server. In Proc. Middleware 2004, volume 3231 of LNCS, pages 459-477. Springer.
  9. Oberle, D., Lamparter, S., Grimm, S., Vrandecic, D., Staab, S., and Gangemi, A. (2006). Towards ontologies for formalizing modularization and communication in large software systems. Applied Ontology, 1(2):163- 202.
  10. Ruiz, F. and Hilera, J. R. (2006). Using Ontologies in Software Engineering and Technology. In Ontologies for Software Engineering and Software Technology, pages 49-102. Springer.
  11. Smith, B. and Welty, C. A. (2001). FOIS introduction: Ontology - towards a new synthesis. In FOIS, pages iiiix.
  12. Solanki, M., Boz?ic, B., Freudenberg, M., Kontokostas, D., Dirschl, C., and Brennan, R. (2016). Enabling Combined Software and Data Engineering at Web-Scale: The ALIGNED Suite of Ontologies, pages 195-203. Springer, Cham.
  13. Tran, T. and Debruyne, C. (2012). Towards Using OWL Integrity Constraints in Ontology Engineering. In Proc. OTM 2012, volume 7567 of LNCS, pages 282-285. Springer.
  14. Wohlin, C. (2014). Guidelines for snowballing in systematic literature studies and a replication in software engineering. In Proc. EASE 2014, pages 38:1-38:10.

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

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,},

in EndNote Style

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