MT-Flow - An Environment for Workflow-Supported Model Transformations in MDA

Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide powerful language abstractions for selecting the features of the desired system. In this paper, we show that efficient composition of system specifications (which, in our case, are expressed as models) is also possible using (i) a domain-specific workflow model that guides the composition and (ii) a set of domain-specific templates for model transformations. We illustrate the entire approach on a product line for versioning systems, define a metamodel for workflow models and postulate a measure for estimating the benefits of the proposed approach.

[1]  James E. Rumbaugh.  Controlling propagation of operations using attributes on relations , 1988, OOPSLA 1988.

[2]  Dusko Pavlovic,et al.  Composition and refinement of behavioral specifications , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[3]  Egon Börger.  Specification and validation methods , 1995 .

[4]  Richard Jüllig,et al.  Specware: Formal Support for Composing Software , 1995, MPC.

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

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

[7]  James E. Rumbaugh.  Controlling Propagation of Operations Using Attributes on Relations , 1988, OOPSLA.

[8]  Paulo César Masiero,et al.  Building a Wizard for Framework Instantiation Based on a Pattern Language , 2003, OOIS.

[9]  Charles Simonyi,et al.  The Death of Computer Languages, The Birth of Intentional Programming , 1995 .

[10]  David Frankel,et al.  Model Driven Architecture: Applying MDA to Enterprise Computing , 2003 .

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

[12]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[13]  Jernej Kovse,et al.  DSL-DIA - An Environment for Domain-Specific Languages for Database-Intensive Applications , 2003, OOIS.

[14]  Jean Bézivin,et al.  MTRANS : A general framework , based on XSLT , for model transformations , 2001 .

[15]  Philip A. Bernstein.  Repositories and object oriented databases , 1998, SGMD.

[16]  Yuri Gurevich.  Specification and validation methods , 1993, Specification and validation methods.

[17]  Dirk Riehle,et al.  The architecture of a UML virtual machine , 2001, OOPSLA '01.