Context-Driven Model Refinement

An important drive for Model-Driven Architecture is that many software applications have to be deployed on a variety of platforms and within a variety of contexts in general. Using software models, e.g. described in the Unified Modeling Language (UML), one can abstract from specific platforms. A software model can then be transformed to a refined model, given the context in which it should run. Currently, each target context requires its own model transformation. Only a limited number of contexts can be supported in this way. We propose a context-driven modelling framework that models each target context in a context model, described in the Web Ontology Language (OWL). Multiple reusable transformation rules are used, which are annotated with context constraints, based on the OWL context model. The framework can automatically select the transformation rules that are applicable for a concrete context.

[1]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[2]  Don S. Batory,et al.  Scaling step-wise refinement , 2004, IEEE Transactions on Software Engineering.

[3]  Barbara Paech,et al.  Component-based product line engineering with UML , 2001, Addison Wesley object technology series.

[4]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[5]  Krzysztof Czarnecki,et al.  Classification of Model Transformation Approaches , 2003 .

[6]  Remco M. Dijkman,et al.  On the notion of abstract platform in MDA development , 2004, Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004..

[7]  G. Klyne,et al.  Composite Capability/Preference Profiles (CC/PP) : Structure and Vocabularies , 2001 .

[8]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[9]  Bedir Tekinerdogan,et al.  Integrating Platform Selection Rules in the Model Driven Architecture Approach , 2003, MDAFA.

[10]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

[11]  Vicente Pelechano,et al.  Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques , 2002, Data Knowl. Eng..

[12]  Koen De Bosschere,et al.  Towards an Extensible Context Ontology for Ambient Intelligence , 2004, EUSAI.

[13]  Jadwiga Indulska,et al.  A software engineering framework for context-aware pervasive computing , 2004, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the.

[14]  Deborah L. McGuinness,et al.  Owl web ontology language guide , 2003 .

[15]  Harry Chen,et al.  An ontology for context-aware pervasive computing environments , 2003, The Knowledge Engineering Review.

[16]  Javier Jaén Martínez,et al.  A conceptual model for context-aware dynamic architectures , 2003, 23rd International Conference on Distributed Computing Systems Workshops, 2003. Proceedings..

[17]  Claudia Linnhoff-Popien,et al.  CoOL: A Context Ontology Language to Enable Contextual Interoperability , 2003, DAIS.

[18]  Bedir Tekinerdogan,et al.  Synthesis - Based Software Architecture Design , 2001 .

[19]  Jean Bézivin,et al.  First experiments with the ATL model transformation language: Transforming XSLT into XQuery , 2003 .

[20]  Volker Haarslev,et al.  Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems , 2003, Künstliche Intell..

[21]  Vladan Devedzic,et al.  An M3-Neutral Infrastructure for Bridging Model Engineering and Ontology Engineering , 2006 .

[22]  Ivan Kurtev,et al.  A synthesis-based approach to transformations in an MDA software development process , 2003 .

[23]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..