TWOMDE2009, at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009)

Important Dates

• July   25, 2009:  Papers submission
• August 30, 2009:  Author notification
• September 15, 2009:  Submission of camera-ready papers
• October 4-6, 2009: Workshop Date

Aims and Scope

The interest in integrating Ontologies and Software Engineering has gained more attention with commercial and scientific initiatives.  The Semantic Web Best Practice and Deployment Working Group (SWBPD)  in W3C included a Software Engineering Task Force (SETF) to explore  how Semantic Web and Software Engineering can cooperate. The Object  Management Group (OMG) has an Ontology Platform Special Interest Group (PSIG) aiming at formalizing semantics in software by knowledge representation and related technologies. The concrete results of such initiatives are the specification of the OMG Ontology Definition Metamodel, the OWL2 Metamodel, the introduction  to Ontology Driven Architectures and a Semantic Web Primer for Object-Oriented Software Developers.

Nevertheless, as MDE spreads, disciplines like model transformation,  domain specific languages (DSLs) and traceability become essential in order to support different kinds of models in an model driven environment. Understanding the role of ontology technologies like knowledge representation, automated reasoning, dynamic classification and consistence checking in these fields is crucial to leverage the development of such disciplines. Thus, we highlight the following open questions: How can the scientific and technical  results around ontologies, ontology languages and their  corresponding reasoning technologies be used fruitfully in MDE? What  is the role of ontologies in supporting model transformation or  traceability? How can ontologies improve designing DSLs? Are current  query languages able to query both kinds of models?

Discussions about these and related questions will be supported by  this workshop. TWOMDE2009 aims at providing a forum for discussing  the application of different aspects of ontologies to enhance Model  Driven Engineering.

The intended audience embraces members of the modeling community  with experience or interest in Model Driven Engineering and in  Knowledge Representation. Specifically, but not only, the  participation of experts in technologies related with UML, MOF, ATL,  QVT, RDF or OWL is highly welcome.

Topis of Interest

TWOMDE2009 is the exclusive forum at a MDE conference to address the  application of ontologies in model driven development. The potential  of this field has just started being explored.

Although we had papers covering different aspects of MDE, the employment of automated reasoning services to make use of formal  descriptions provided by ontology languages has practically not been  explored. Moreover, prominent topics in MDE like model  transformation, traceability and query languages were not pondered by the papers of the first edition.

Topics of interest are but not exclusive:

•  RDF metamodel repository: interfaces and models to store, retrieve, query and manage MOF/Ecore metadata in RDF stores.
•  Metamodeling support of semantic structures: improvements on metamodeling facilities for representing richer real-world  semantics, like OWL or OWL2.
• Reasoning over MOF-based models using ontologies: verification and validation of models using ontologies; application of Description Logics reasoning in UML diagrams or MOF/Ecore models, in order to enhance and to support models and metamodels at design time as well as at runtime.
• Application of ontologies in model transformation: usage of ontologies and reasoning to automatically generate model transformations; validation of model transformations; use of reasoning in model transformation rules.
• Reasoning and query languages for integrated models: development or integration of query languages able to retrieve objects of MOF-based models and OWL-based models; reasoning approaches or algorithms regarding both semantics of Description Logics semantics of and MOF-based models.
• Integration of modeling standards and metamodeling of ontology technologies: integration approaches like aspect-oriented programming to weave modeling standards like MOF, Ecore, UML, OCL, ODM, and SWRL; development, improvement or integration of metamodels for ontology technologies, for example OWL, SWRL, F-Logic.
• Ontology driven software development: ontology support to web service orchestration; software architectures and methodologies for developing semantic web services and agents; reuse of web service ontologies or application of reasoning in specifying execution logics of orchestration.
• MDE tools using ontologies: implementations of MDE tools relying on ontologies or on reasoning services.
• Semantic support to Domain Specific Languages: integration of metamodeling and ontologies in order to provide abstract syntax and formal semantics for DSL.
• Ontology engineering with MDA/MDE techniques: application of MDA/MDE techniques in order to support ontology engineering activities like ontology pruning, ontology refactoring, or ontology measurement.
•  Ontology connectors to system models: methods and techniques for integrating ontology constructs like classes and properties with MOF-based constructs like classes, properties or operations.
• Application of Ontologies in traceability and provenance: usage of model annotations, ontologies and reasoning in order to improve traceability between MOF-based models.

Submission

• Full Papers: describe concrete contributions validated by appropriate evaluation. Full paper submissions must not exceed 15 pages.
• Short Papers: comprehend research-in-progress, industrial experience and position papers. Short paper submissions does not exceed 6 pages.
• Posters and Demos: authors are invited to submit a three-page paper describing tools involving ontologies in MDE.

Procedings

Final versions of accepted papers will be published electronically  in the CEUR Workshop Proceedings Series. Revised selected papers  will be submitted to the LNCS MoDELS Satellite Proceedings. Select  papers will be invited to submit an extended version to the special  issue of the Journal on Software & System Modeling (under negotiation).