Lecture Notes in Computer Science 5560

Transcription

1 Lecture Notes in Computer Science 5560 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Alfred Kobsa University of California, Irvine, CA, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Microsoft Research, Cambridge, MA, USA Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Shmuel Katz Robert France Harold Ossher Jean-Marc Jézéquel (Eds.) Transactions on Aspect-Oriented Software Development VI Special Issue on Aspects and Model-Driven Engineering 13

3 Editors-in-Chief Shmuel Katz The Technion Department of Computer Science Haifa 32000, Israel Harold Ossher IBM Thomas J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598, USA Guest Editors Robert France Colorado State University Computer Science Department Fort Collins, CO , USA Jean-Marc Jézéquel Université de Rennes 1, IRISA Campus de Beaulieu Rennes Cedex, France Library of Congress Control Number: CR Subject Classification (1998): D.2, D.1, D.3, F.3.2, I.2.2, I.2.5, I.2.8 ISSN ISSN ISBN-10 ISBN (Lecture Notes in Computer Science) (Transactions on Aspect-Oriented Software Development) Springer Berlin Heidelberg New York Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. springer.com Springer-Verlag Berlin Heidelberg 2009 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Editorial Welcome to Volume VI of Transactions on Aspect-Oriented Software Development. This volume is a special issue on Aspects and Model-Driven Engineering, with guest editors Robert France and Jean-Marc Jézéquel, under the management of one of the co-editors-in-chief, Harold Ossher. Robert and Jean-Marc are both well-known experts in the field of model-driven engineering, and they have attracted an excellent set of papers on the role AOSD can play in this important area of software engineering. We thank them for their effort and commitment in producing such a high-quality special issue. We also thank the Editorial Board for their continued guidance, commitment and input on the policies of the journal, the choice of special issues, and associateeditorship of regular submissions. Thanks are also due to the reviewers, who volunteered significant time, despite their busy schedules, to ensure the quality of articles published in the journal. Most importantly, we wish to thank the authors who have submitted papers to the journal so far. There are two exciting special issues on the horizon. The first, with guest editor Jörg Kienzle, is titled A Common Case Study for Aspect-Oriented Modeling Approaches. A variety of notations and abstraction techniques for modeling aspect systems will be demonstrated and evaluated for the same case study, a fairly complex crisis management system. This will allow readers to understand the relative strengths of each approach, and encourage cross-fertilization among the techniques. The second will be on Industrial Applications of Aspect Technology, with guest editors Wouter Joosen and Christa Schwanninger. One of the major impediments to broader industry adoption of AOSD is the lack of accessible success stories and experience reports on the application of AOSD in commercial software projects. This special issue will offer a collection such examples, experience reports and success stories, and report on insights gained that should be of value to (potential) industrial users. Linda Northrop has left the Editorial Board after serving since the inception of the journal. Many thanks to Linda for her years of devoted service to TAOSD, and much valuable guidance she gave during that time. In the next issue we will announce some new members of the Board, who will give us the opportunity to benefit from the insights of additional members of the software engineering community expert in areas related to AOSD. June 2009 Shmuel Katz Harold Ossher Co-Editors-in-Chief

5 Aspects and Model-Driven Engineering Guest Editors Foreword Model-Driven Engineering (MDE) is an approach to software development in which models are used to drive the development of all software artifacts, from code to documentation to tests. MDE is gaining acceptance in several software domains with demonstrated benefits such as cost reduction and quality improvement. Modeling is not just about expressing a solution at a higher abstraction level than code. This limited view on modeling has been useful in the past (e.g., assembly languages abstracting away from machine code, 3GL abstracting over assembly languages) and it is still useful today, but much more can be accomplished using modeling techniques. A model can be an abstraction of an aspect of a system (existing or under development) that handles a given concern. Complex systems typically give rise to more than one model because many aspects must be considered when addressing all relevant software development concerns. These models may be expressed with a general purpose modeling language such as the UML, or with Domain Specific Languages when they are deemed more appropriate. From a modeling point of view, the terms aspect and model can be considered synonymous. This notion of aspect goes beyond the usual meaning found in the Aspect Oriented Programming community where an aspect is often narrowly defined as the modularization of a cross-cutting concern. Given a main decomposition paradigm (such as object orientation), there are many classes of concerns (e.g., security, mobility, availability, distribution) for which clear allocation into modules is not possible (i.e., they are cross-cutting concerns). However, the growing uptake of the term aspect outside of the programming world, has resulted in a growing acceptance of a broader definition in which an aspect is a concern that can be modularized. Work on aspect-oriented techniques above the code level is concerned with the systematic identification, modularization, representation, and composition of concerns. The goal of work in this area is to improve our ability to reason about the problem domain and the corresponding solution, thereby reducing the size of software models and application code, development costs, and maintenance time. From the above, an important software development activity is the separation of concerns in problem domains. This activity is called analysis. If solutions to these concerns can be described as aspects, the design process can then be characterized as a weaving of these aspects into a base design model. This is not new: designers have been doing this for some time. However, the various aspects are often not explicitly defined, and when they are, it is done informally. Currently, designers do the weaving mentally (i.e., in their heads), and then produce the resulting detailed design as a tangled structure of design elements. This may

6 VIII Guest Editors Foreword work for small problems, but it introduces significant accidental complexities when tackling larger problems. Note that the real challenge here is not how to design the system to take a particular aspect into account: there is significant design know-how in industry on this and it is often captured in the form of design patterns. Taking into account more than one aspect can be a little harder, but many large scale successful projects in industry provide some evidence that engineers know how different concerns should be handled. The real challenge is reducing the effort that the engineer has to expend when grappling with many inter-dependent concerns. For example, in a product-line context, when an engineer wants to replace a variant of an aspect used in a system, she should be able to do this cheaply, quickly and safely. Manually weaving every aspect is not an option. Unlike many models used in the sciences, models in software and in linguistics have the same nature as the things they model. In software, this provides an opportunity to automatically derive software from its model, that is, to automate the weaving process. This requires models to be formal, and the weaving process be described as a program (i.e., an executable meta-model) manipulating models to produce a detailed design. The detailed design produced by the weaving process can ultimately be transformed to code or at least test suites. In the above, we make the case that aspects are at the core of Model Driven Engineering. From this perspective, work on aspect-oriented approaches to modeling is important because it can yield significant insights into how the MDE vision of software development can be realized. There is thus a growing community interested in the convergence of Aspect-Oriented Software Development (AOSD) and MDE ideas. In this issue, we present papers that provide good examples of how AOSD and MDE ideas can be integrated to produce techniques that manage software complexity. The papers in this issue cover a number of issues including the following: Methods and techniques supporting separation, composition, and evolution of aspects identified in different development phases (e.g., requirements, architecture, detailed design, deployment). Simulating runtime weaving of aspects using aspect-oriented models. Techniques for verifying and validating aspect-oriented models. AOM case studies that provide significant insights into how aspect-oriented modeling techniques can be applied across the development life-cycle. Providing tool support for use of integrated AOSD and MDE techniques. Providing language support for aspect-oriented modeling. Submissions Dynamic Weaving of Aspect-Oriented Executable UML Models. In this paper, the authors, Lidia Fuentes and Pablo Sanchez, presentamodelweaverthat can be used to simulate runtime weaving of aspects at design time. This allows designers to identify and correct errors that can arise as a result of dynamic weaving before expending significant effort and cost on implementing the design. The ideas are illustrated using a location-aware intelligent transportation system.

7 Guest Editors Foreword IX On Language-Independent Model Modularisation. In this paper, the authors, Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, and Steffen Zschaler, present a generic approach to modularizing and composing models. The approach can be adapted to construct language- and purpose-specific composition techniques for specific modelling languages. The authors claim that the approach can be used as (1) a tool for developing specific model modularisation and composition techniques, and (2) a research instrument for studying properties and concepts of model modularisation. Aspects across Software Life Cycle: A Goal-Driven Approach. In this paper, the authors, Nan Niu, Yijun Yu, Bruno Gonzalez-Baixauli, Neil Ernst, Julio Cesar Sampaio do Prado Leite, and John Mylopoulos, proposeamodeldrivenframeworkfor tracing aspects from requirements to testing and implementation. In the framework, goal models are engineering assets and model-to-code transformations are used to bridge the gap between domain concepts and implementation technologies. The frameworks applicability and usefulness is evaluated using an open-source e-commerce platform case study. Aspect-Oriented Model-Driven Software Product Line Engineering. In this paper, the authors, Iris Groher and Markus Voelter, present an integrated AOSD and MDE approach to variability implementation, management, and tracing in product-line development of software. Features are modeled separately and the models are composed using aspect-oriented composition techniques. Model transformations are used to transform problem models to solution models. The ideas presented in the paper are illustrated using a home automation system case study. Constraint-Based Model Weaving. In this paper, the authors, Jules White, Jeff Gray, and Douglas C. Schmidt, present a constraint-based weaving technique that reduces model weaving to a constraint satisfaction problem (CSP). A constraint solver is used to deduce an appropriate weaving strategy. The paper also presents the results of a case study in which the constraint-based weaving technique is applied to an enterprise Java application. The evaluation showed that use of the technique resulted in a reduction of manual effort. MATA: A Unified Approach for Composing UML Aspect Models BasedonGraphTransformation.In this paper, the authors, Jon Whittle, Praveen Jayaraman, Ahmed Elkhodary, Ana Moreira and Joo Arajo, describe an aspect-oriented modeling technique called MATA (Modeling Aspects Using a Transformation Approach). MATA uses graph transformations to specify and compose aspects. In MATA, any model element can be a join point and composition is a special case of model transformation. MATA has been applied to a number of realistic case studies and is supported by a tool built on top of IBM Rational Software Modeler. Model Driven Theme/UML. In this paper, the authors, Andrew Carton, Cormac Driver, Andrew Jackson and Siobhan Clarke, describe how the Theme/ UML approach to modularizing and composing concerns can be integrated with

8 X Guest Editors Foreword MDE techniques. The resulting method includes a tool-supported technique for transforming platform-independent models to platform-specific models. The transformation tool utilizes standards defined in the Object Management Group s Model Driven Architecture. The paper also describes a process that guides the use of the MDE/AOSD techniques. The utility of the approach is demonstrated through a case study. Biographies Robert France: Professor Robert France is a full professor in the Department of Computer Science at Colorado State University. He is actively engaged in research on object-oriented (OO) modeling, aspect-oriented modeling, model transformations, and formal description techniques. He is an editor-in-chief for the journal on Software and System Modeling (SoSyM) and is an Software Area Editor for the IEEE Computer. He was organizing chair for the Second Conference on the UML, past chair of the UML Conference steering committee and member of the MoDELS Conference steering committee. Jean-Marc Jézéquel: Prof. Jean-Marc Jézéquel received an engineering degree in Telecommunications from the ENSTB in 1986, and a Ph.D. degree in Computer Science from the University of Rennes, France, in He first worked in Telecom industry (at Transpac) before joining the CNRS (Centre National de la Recherche Scientifique) in Since October 2000, he is a Professor at the University of Rennes, leading an INRIA research team called Triskell. His interests include model driven software engineering based on object oriented technologies for telecommunications and distributed systems. He is the author of the books Object-Oriented Software Engineering with Eiffel and Design Patterns and Contracts (Addison-Wesley 1996 and 1999), and of more than 100 publications in international journals and conferences. He is a member of the steering committees of the AOSD and the MODELS/UML conference series. He also served on the editorial boards of IEEE Transactions on Software Engineering and on the Journal on Software and System Modeling: SoSyM and the Journal of Object Technology: JOT. For more information please visit June 2009 Robert France Jean-Marc Jézéquel

9 Editorial Board Mehmet Aksit Shigeru Chiba Siobhán Clarke Theo D Hondt Robert Filman Bill Harrison Shmuel Katz Gregor Kiczales Shriram Krishnamurthi Karl Lieberherr Mira Mezini Oege de Moor Ana Moreira Harold Ossher Awais Rashid Douglas Schmidt University of Twente Tokyo Institute of Technology Trinity College Dublin Vrije Universiteit Brussel USA Trinity College Dublin Technion-Israel Institute of Technology University of British Columbia Brown University Northeastern University University of Darmstadt University of Oxford New University of Lisbon IBM Research Lancaster University Vanderbilt University List of Reviewers Elisa Baniassad Olivier Barais Benoit Baudry Brian Berenbach Jim Bieman Behzad Bordar Jordi Cabot Peter Clarke Siobhan Clarke Thomas Cottenier Steven Demurjian Juergen Dingel Steve Easterbrook Johan Fabry Franck Fleurey Lidia Fuentes Alessandro Garcia Geri Georg Sebastien Gerard Sudipto Ghosh Emanuel Grant Jeff Gray Anca Ionita David Janovy Cedric Jeanneret Dae-Kyoo Kim Jacques Klein Alexander Knapp Roberto E. Lopez-Herrejon Katharina Mehner Ana Moreira Brice Morin Freddy Munoz Gilles Perrouin Indrakshi Ray Raghu Reddy Gianna Reggio Pourya Shaker

10 XII Editorial Board Wuwei Shen Devon Simmonds Arnor Solberg Dominik Stein Aswin van den Berg Rob von Ommering Dianxiang Xu Andrea Zisman Steffen Zschaler

11 Table of Contents Special Issue: Aspects and Model-Driven Engineering Dynamic Weaving of Aspect-Oriented Executable UML Models... 1 Lidia Fuentes and Pablo Sánchez On Language-Independent Model Modularisation Florian Heidenreich, Jakob Henriksson, Jendrik Johannes, and Steffen Zschaler Aspects across Software Life Cycle: A Goal-Driven Approach Nan Niu, Yijun Yu, Bruno González-Baixauli, Neil Ernst, Julio Cesar Sampaio do Prado Leite, and John Mylopoulos Aspect-Oriented Model-Driven Software Product Line Engineering Iris Groher and Markus Voelter Constraint-Based Model Weaving Jules White, Jeff Gray, and Douglas C. Schmidt MATA: A Unified Approach for Composing UML Aspect Models Based on Graph Transformation Jon Whittle, Praveen Jayaraman, Ahmed Elkhodary, Ana Moreira, and João Araújo Model-Driven Theme/UML Andrew Carton, Cormac Driver, Andrew Jackson, and Siobhán Clarke Author Index