OntoDSL: An Ontology-Based Framework for Domain-Specific Languages

Domain-specific languages (DSLs) are high-level and should provide abstractions and notations for better understanding and easier modeling of applications of a special domain. Current shortcomings of DSLs include learning curve and formal semantics. This paper reports on a novel approach that allows the use of ontologies to describe DSLs. The formal semantics of OWL together with reasoning services allow for addressing constraint definition, progressive evaluation, suggestions, and debugging. The approach integrates existing metamodels, concrete syntaxes and a query language. A scenario in which domain models for network devices are created illustrates the development environment.

[1]  Dean Allemang,et al.  The Semantic Web - ISWC 2006, 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings , 2006, SEMWEB.

[2]  Steffen Staab,et al.  TwoUse: Integrating UML models and OWL ontologies , 2007 .

[3]  Francesco M. Donini,et al.  Description logics of minimal knowledge and negation as failure , 2002, TOCL.

[4]  Jeffrey G. Gray,et al.  Panel: DSLs: the good, the bad, and the ugly , 2008, Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications.

[5]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[6]  Indrakshi Ray,et al.  UML2Alloy: a challenging model transformation , 2007, MODELS'07.

[7]  Jean Bézivin,et al.  Model-based DSL frameworks , 2006, OOPSLA '06.

[8]  Marten van Sinderen,et al.  Ontology-Based Evaluation and Design of Domain-Specific Visual Modeling Languages , 2006 .

[9]  Steffen Staab,et al.  OntoEdit: Guiding Ontology Development by Methodology and Inferencing , 2002, OTM.

[10]  Gabor Karsai,et al.  DSLs: the good, the bad, and the ugly , 2008, OOPSLA Companion.

[11]  Boris Motik,et al.  Can OWL and Logic Programming Live Together Happily Ever After? , 2006, International Semantic Web Conference.

[12]  Peter F. Patel-Schneider,et al.  A Syntax for Rules in OWL 2 , 2009, OWLED.

[13]  Jun Sun,et al.  Reasoning support for Semantic Web ontology family languages using Alloy , 2006, Multiagent Grid Syst..

[14]  Deborah L. McGuinness,et al.  OWL Web ontology language overview , 2004 .

[15]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[16]  Gabor Karsai,et al.  The Generic Modeling Environment , 2001 .

[17]  Peter F. Patel-Schneider,et al.  Manchester Syntax for OWL 1.1 , 2008, OWLED.

[18]  Boris Motik,et al.  OWL 2 Web Ontology Language: structural specification and functional-style syntax , 2008 .

[19]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[20]  Jean Bézivin,et al.  KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[21]  David J. Gilmore,et al.  Expert Programming Knowledge: A Strategic Approach , 1990 .

[22]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[23]  Giancarlo Guizzardi,et al.  An ontological approach to domain engineering , 2002, SEKE '02.

[24]  Matthias Bräuer,et al.  An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning , 2008, ESWC.

[25]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[26]  Yarden Katz,et al.  Towards a Nonmonotonic Extension to OWL , 2005, OWLED.

[27]  Jeffrey G. Gray,et al.  Using Ontologies in the Domain Analysis of Domain-Specific Languages , 2009, TWOMDE@MoDELS.

[28]  Bijan Parsia,et al.  Pellet: An OWL DL Reasoner , 2004, Description Logics.

[29]  Jean Bézivin,et al.  TCS:: a DSL for the specification of textual concrete syntaxes in model engineering , 2006, GPCE '06.

[30]  Fernando Silva Parreiras,et al.  Report on the Combined Metamodel , 2008 .

[31]  Stefan Seedorf,et al.  Applications of Ontologies in Software Engineering , 2006 .

[32]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[33]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[34]  Tom Mens,et al.  Using Description Logic to Maintain Consistency between UML Models , 2003, UML.

[35]  Bernhard Rumpe,et al.  Domain specific modeling , 2005, Software & Systems Modeling.

[36]  Jean-Michel Bruel,et al.  Satellite Events at the MoDELS 2005 Conference , 2006 .

[37]  Lora Aroyo,et al.  The Semantic Web: Research and Applications , 2009, Lecture Notes in Computer Science.

[38]  Daniel Jackson,et al.  Software Abstractions - Logic, Language, and Analysis , 2006 .