Operation Composition in Model Transformations with Complex Source Patterns

In model transformations, rules handle mapping between source metamodel elements and target metamodel elements. There are cases in which more complex structures in the source have to be selected. In some transformation languages, these complex source patterns require decomposition of trans-formation specifications into multiple rules. This decomposition negatively affects qualities of transformation specifications such as modifiability and consistency. The handling of a complex source pattern by a single transformation rule requires composition at finer granularity, i.e., operation composition. In this paper, we show how operation composition improves the quality of transformation specifications for complex source patterns. As an illustration, we implemented a complex source pattern transformation for agent systems in two well-known model transformation languages, ATL and Tefkat. ATL supports com-position at rule level, and Tefkat supports composition at operation level. We describe the requirements for transformation languages in order to support the handling of complex source patterns in single transformation rules. We discuss some transformation mechanisms that provide operation composition.

[1]  Roy Grønmo,et al.  Transformations Between UML and OWL-S , 2005, ECMDA-FA.

[2]  Alain Wegmann,et al.  Practical Foundations of Business and System Specifications , 2003 .

[3]  Richard F. Paige,et al.  Model comparison: a foundation for model composition and model transformation testing , 2006, GaMMa '06.

[4]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

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

[6]  Riza Cenk Erdur,et al.  Developing Multi Agent Systems on Semantic Web Environment Using SEAGENT Platform , 2005, ESAW.

[7]  Frédéric Jouault,et al.  Model Transformation and Weaving in the AMMA Platform , 2005 .

[8]  Hassan Charaf,et al.  Metamodel-Based Model Transformation with Aspect-Oriented Constraints , 2006, GRaMoT@GPCE.

[9]  Oguz Dikenelli,et al.  Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems , 2007, MATES.

[10]  Oguz Dikenelli,et al.  Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach , 2006, ESAW.

[11]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[12]  Shane Sendall.  Combining Generative and Graph Transformation Techniques for Model Transformation : An Effective Alliance ? , 2003 .

[13]  Jim Steel,et al.  Practical Declarative Model Transformation with Tefkat , 2005, MoDELS Satellite Events.

[14]  Audris Kalnins,et al.  Model Transformation Language MOLA , 2003, MDAFA.

[15]  Patrick Valduriez,et al.  Semi-automatic model integration using matching transformations and weaving models , 2007, SAC '07.

[16]  Ivan Kurtev,et al.  Adaptability of model transformations , 2005 .

[17]  Sudipto Ghosh,et al.  Using Roles to Characterize Model Families , 2003 .

[18]  Ivan Kurtev Ivanov,et al.  Adaptability of model transformations , 2005 .

[19]  Mikael Lindvall,et al.  Evaluating software architectures , 2004, Adv. Comput..

[20]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[21]  Oguz Dikenelli,et al.  Metamodeling of Semantic Web Enabled Multiagent Systems , 2006, Multiagent Systems and Software Architecture.

[22]  Hassan Charaf,et al.  Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps , 2005, Panhellenic Conference on Informatics.

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

[24]  Jean Bézivin,et al.  Mapping Specification in MDA: From Theory to Practice , 2006 .

[25]  Robert B. France,et al.  Using Role-Based Modeling Language (RBML) to characterize model families , 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

[26]  Franco Zambonelli,et al.  Engineering Societies in the Agents World , 2000, Lecture Notes in Computer Science.

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

[28]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.