Demystifying Ontological Classification in Language Engineering

The introduction of ontological classification to support domain-metamodeling has been pivotal in the emergence of multi-level modeling as a dynamic research area. However, existing expositions of ontological classification have only used a limited context to distinguish it from the historically more commonly used linguistic classification. In important areas such as domain-specific languages and classic language engineering the distinction can appear to become blurred and the role of ontological classification is obscured, if not fundamentally challenged. In this paper we therefore examine critical points of confusion regarding the distinction and provide an expanded explanation of the differences. We maintain that optimally utilizing ontological classification, even for tasks that traditionally have only been viewed as language engineering, is critical for mastering the challenges in complex systems modeling including the validation of multi-language models.

[1]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[2]  Juan de Lara,et al.  Model-driven engineering with domain-specific meta-modelling languages , 2015, Software & Systems Modeling.

[3]  Albert L. Baker,et al.  Enhancing the Pre- and Postcondition Technique for More Expressive Specifications , 1999, World Congress on Formal Methods.

[4]  Colin Atkinson,et al.  Melanie: multi-level modeling and ontology engineering environment , 2012, MW '12.

[5]  Giancarlo Guizzardi,et al.  Extending the Foundations of Ontology-Based Conceptual Modeling with a Multi-level Theory , 2015, ER.

[6]  Hans Vangheluwe,et al.  AToMPM: A Web-based Modeling Environment , 2013, MoDELS.

[7]  Colin Atkinson,et al.  Rearchitecting the UML infrastructure , 2002, TOMC.

[8]  Hans Vangheluwe,et al.  Integrating Language and Ontology Engineering , 2014, MPM@MoDELS.

[9]  Bernhard Rumpe,et al.  Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff , 2000 .

[10]  Colin Atkinson,et al.  Meta-modelling for distributed object environments , 1997, Proceedings First International Enterprise Distributed Object Computing Workshop.

[11]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[12]  Alexander Egyed,et al.  Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking , 2011, ESEC/FSE '11.

[13]  Jean-Marc Jézéquel,et al.  Globalizing Modeling Languages , 2014 .

[14]  Colin Atkinson,et al.  The Essence of Multilevel Metamodeling , 2001, UML.

[15]  Colin Atkinson,et al.  Symbiotic general-purpose and domain-specific languages , 2012, 2012 34th International Conference on Software Engineering (ICSE).

[16]  Adrian Rutle,et al.  DPF Workbench: A Diagrammatic Multi-Layer Domain Specific (Meta-)Modelling Environment , 2012 .

[17]  Michael Jackson,et al.  Some Basic Tenets of Description , 2002, Software and Systems Modeling.

[18]  Gerti Kappel,et al.  Lifting metamodels to ontologies: a step to the semantic integration of modeling languages , 2006, MoDELS'06.

[19]  Colin Atkinson,et al.  Concepts for comparing modeling tool architectures , 2005, MoDELS'05.

[20]  Jean-Marc Jézéquel,et al.  Weaving executability into object-oriented meta-languages , 2005, MoDELS'05.

[21]  Thomas Kühne,et al.  Matters of (Meta-) Modeling , 2006, Software & Systems Modeling.

[22]  H. Vangheluwe,et al.  An introduction to multi-paradigm modelling and simulation. , 2002 .

[23]  Juan de Lara,et al.  Deep Meta-modelling with MetaDepth , 2010, TOOLS.

[24]  Thomas Kühne,et al.  In defence of deep modelling , 2015, Inf. Softw. Technol..

[25]  Ralf Lämmel,et al.  Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[26]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[27]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[28]  Bart Meyers,et al.  Towards domain-specific property languages: the ProMoBox approach , 2013, DSM '13.