xOWL: An Executable Modeling Language for Domain Experts

Nowadays, modeling complex domains such those involving the description of human behaviors is still a challenge. An answer is to apply the Domain Specific Languages principle, which advocates that Domain Experts should model themselves their knowledge in order to avoid misunderstanding or loss of information during the knowledge elicitation phase. But Domain Experts must then be provided a modeling language enabling them to describe such complex domains. Moreover, in order to help them build models, immediate feedbacks would have to be available so that they can revise their modeling choices in earlier steps. Model execution is a way to address this issue. We provide xOWL, a language that can be used as a backend for multiple domain-specific syntaxes enabling Domain Experts to model themselves the structural as well as behavioral knowledge of their domain. xOWL comes with an interpreter integrated in an environment offering models execut ability in such way that Domain Experts can work in an iterative and incremental way using a trial and error approach. The implemented prototype is currently in use at EADS.

[1]  Guido Wachsmuth,et al.  Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages , 2008, ECMDA-FA.

[2]  Stephen Barrett,et al.  Towards context sensitive domain specific languages , 2009, CAMS '09.

[3]  Catherine Faron-Zucker,et al.  Querying the Semantic Web with Corese Search Engine , 2004, ECAI.

[4]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[5]  Shuaiqiang Wang,et al.  Formal behavior modeling and effective automatic refinement , 2010, Inf. Sci..

[6]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

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

[8]  J. R. Abrial,et al.  The B-Book: Programming , 1996 .

[9]  Bernd Neumayr,et al.  Multi-level Conceptual Modeling and OWL , 2009, ER Workshops.

[10]  Vladan Devedzic,et al.  Magic Potion: Incorporating New Development Paradigms through Metaprogramming , 2010, IEEE Software.

[11]  Cristina Cachero,et al.  Domain-specific language modelling with UML profiles by decoupling abstract and concrete syntaxes , 2010, J. Syst. Softw..

[12]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

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

[14]  Bernardo Cuenca Grau,et al.  OWL 2 Web Ontology Language: Direct Semantics , 2009 .

[15]  Ernest Friedman Hill,et al.  Jess in Action: Java Rule-Based Systems , 2003 .

[16]  J. R. Abrial,et al.  The B-Book: Mathematics , 1996 .

[17]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[18]  Daniel Schreiber,et al.  Can programming be liberated from the two-level style: multi-level programming with deepjava , 2007, OOPSLA.

[19]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

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

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

[22]  J. Carroll,et al.  Jena: implementing the semantic web recommendations , 2004, WWW Alt. '04.

[23]  Colin Atkinson,et al.  A Flexible Infrastructure for Multilevel Language Engineering , 2009, IEEE Transactions on Software Engineering.

[24]  Vladan Devedzic,et al.  Modeling ontologies as executable domain specific languages , 2010, ISEC.

[25]  Asunción Gómez-Pérez,et al.  Change Representation For OWL 2 Ontologies , 2009, OWLED.

[26]  Tomi Männistö,et al.  Nivel: a metamodelling language with a formal semantics , 2009, Software & Systems Modeling.

[27]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[28]  Stephen Barrett,et al.  Ontology based algorithm modeling: obtaining adaptation for SOA environment , 2007, MW4SOC '07.