Platform ontologies for the model-driven architecture

The model-driven architecture enables the deployment of software applications on different platforms. It is based on a pattern in which a platform-independent model is transformed into a platform-specific model, given a platform model (PM). Currently, the model transformations used for this task implicitly assume this PM, which makes it unclear whether a model transformation can be used for platforms other than the one assumed. In order to target very specific platforms and platform variants, model transformations must be reusable beyond their assumed platform. We propose an explicit PM that can be used to reason about platform dependencies of model transformations and their applicability to specific platforms. In addition, we show how PMs can be integrated in a model-driven configuration management framework.

[1]  Ian Horrocks,et al.  FaCT++ Description Logic Reasoner: System Description , 2006, IJCAR.

[2]  Dennis Wagelaar.  Context-Driven Model Refinement , 2004, MDAFA.

[3]  Jan Bosch.  The challenges of broadening the scope of software product families , 2006, CACM.

[4]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[5]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[6]  Haiyan Zhao,et al.  A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.

[7]  Dennis Wagelaar,et al.  Explicit platform models for MDA , 2005, MoDELS'05.

[8]  Ragnhild Van Der Straeten,et al.  Features and Features Interactions in Software Engineering using Logic , 2001, FICS.

[9]  Jon Oldevik,et al.  Transformation Composition Modelling Framework , 2005, DAIS.

[10]  Hai H. Wang,et al.  Formal semantics and verification for feature modeling , 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

[11]  Volker Haarslev,et al.  An Ontological Software Comprehension Process Model , 2006 .

[12]  Ragnhild Van Der Straeten,et al.  A Comparison of Configuration Techniques for Model Transformations , 2006, ECMDA-FA.

[13]  Peter F. Patel-Schneider,et al.  Reducing OWL entailment to description logic satisfiability , 2004, Journal of Web Semantics.

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

[15]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[16]  Mike Mannion.  Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

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

[18]  Brian Henderson-Sellers,et al.  Uses and abuses of the stereotype mechanism in UML 1.x and 2.0 , 2006, MoDELS'06.

[19]  K. Ducatel,et al.  Scenarios for Ambient Intelligence in 2010 Final Report , 2001 .

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

[21]  Arie van Deursen,et al.  Domain-specific language design requires feature descriptions , 2002 .

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

[23]  Daniel Hoffman,et al.  Commonality and Variability in Software Engineering , 1998, IEEE Softw..

[24]  Charles W. Krueger,et al.  New methods in software product line practice , 2006, CACM.

[25]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[26]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

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

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

[29]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[30]  Michal Antkiewicz,et al.  Framework-Specific modeling languages with round-trip engineering , 2006, MoDELS'06.

[31]  Dennis Wagelaar,et al.  Composition Techniques for Rule-Based Model Transformation Languages , 2008, ICMT@TOOLS.

[32]  Krzysztof Czarnecki,et al.  Staged Configuration Using Feature Models , 2004, SPLC.

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

[34]  Gerardo Canfora,et al.  Toward seamless migration of Java AWT-based applications to personal wireless devices , 2004, 11th Working Conference on Reverse Engineering.

[35]  Jeff Z. Pan,et al.  Verifying feature models using OWL , 2007, J. Web Semant..

[36]  Tom Mens,et al.  Detecting Structural Refactoring Conflicts Using Critical Pair Analysis , 2005, SETra@ICGT.

[37]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[38]  Sergio Segura,et al.  A Survey on the Automated Analyses of Feature Models , 2006, JISBD.

[39]  Antonio Ruiz Cortés,et al.  Automated analysis of feature models: challenges ahead , 2006, CACM.

[40]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[41]  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..

[42]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[43]  Krzysztof Czarnecki,et al.  Staged configuration through specialization and multilevel configuration of feature models , 2005, Softw. Process. Improv. Pract..

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

[45]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[46]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[47]  Douglas C. Schmidt,et al.  Automating Product-Line Variant Selection for Mobile Devices , 2007, 11th International Software Product Line Conference (SPLC 2007).

[48]  Christopher A. Welty,et al.  What's in an Instance? , 1994 .

[49]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

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

[51]  Stephan Roser,et al.  An Approach to Automatically Generated Model Transformation Using Ontology Engineering Space , 2006 .

[52]  Juha-Pekka Tolvanen,et al.  MetaEdit+: defining and using domain-specific modeling languages and code generators , 2003, OOPSLA '03.

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