Lecture Notes in Computer Science 5292

Transcription

1 Lecture Notes in Computer Science 5292 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 Massachusetts Institute of Technology, 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 Ron Morrison Dharini Balasubramaniam Katrina Falkner (Eds.) Software Architecture Second European Conference, ECSA 2008 Paphos, Cyprus, September 29 October 1, 2008 Proceedings 13

3 Volume Editors Ron Morrison Dharini Balasubramaniam University of St Andrews School of Computer Science North Haugh, St Andrews, Fife KY16 9SX, UK {ron, Katrina Falkner University of Adelaide School of Computer Science Adelaide, SA 5005, Australia Library of Congress Control Number: CR Subject Classification (1998): D.2.11, D.3, H.2.3 LNCS Sublibrary: SL 2 Programming and Software Engineering ISSN ISBN Springer Berlin Heidelberg New York ISBN 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 is a part of Springer Science+Business Media springer.com Springer-Verlag Berlin Heidelberg 2008 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering. It is the follow-up of a successful series of European workshops on software architecture held in the UK in 2004 (Springer LNCS 3047), Italy in 2005 (Springer LNCS 3527), and France in 2006 (Springer LNCS 4344). It evolved into a series of European conferences whose first edition was ECSA 2007, held in Madrid, Spain during September 24 26, 2007 (Springer LNCS 4758). This year s conference was held at the beautiful Coral Beach Hotel and Resort near Paphos in Cyprus. As with the previous versions of the conference, ECSA 2008 (Springer LNCS 5292) provided an international forum for researchers and practitioners from academia and industry to present innovative research and to discuss a wide range of topics in the area of software architecture. It focused on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. Covered topics included architecture modelling, architecture description languages, architectural aspects, architecture analysis, transformation and synthesis, architecture evolution, quality attributes, model-driven engineering, built-in testing and architecture-based support for component-based and service-oriented systems. The conference attracted paper submissions from 29 countries (Australia, Belgium, Brazil, Canada, China, Chile, Denmark, Finland, France, Germany, Greece, Ireland, Italy, Lithuania, Luxembourg, Malta, The Netherlands, Norway, Pakistan, Peru, Poland, Portugal, Romania, South Africa, Spain, Turkey, the UK, USA, and Venezuela). In all, 110 abstracts were submitted of which 83 papers were submitted via the conference website. Each submission was reviewed by three members of the Program Committee. Papers were selected based on originality, quality, soundness, and relevance to the conference. The Program Committee selected papers according to four types for presentation in paper sessions: Full research papers describe novel contributions to software architecture research and cover work that has a sound scientific/technological basis and has been fully validated. These are allocated 16 pages in the proceedings. Experience papers describe significant experiences related to software architecture practice and present case studies or real-life experiences of benefit to practitioners and researchers. These are allocated 16 pages in the proceedings. Research challenge papers present significant research challenges in theory or practice of software architecture or the state of the art on different topics related to software architecture. These are allocated eight pages in the proceedings. Emerging research papers present promising results from work-in-progress in a topic of software architecture research and cover work that has a sound basis, but has not yet been validated in full. These are allocated four pages in the proceedings.

5 VI Preface The Program Committee selected 12 full research papers, 4 experience papers and 7 emerging research papers out of 83 submissions. This gives an acceptance rate of 14% for full papers, 4% for experience (long) papers, 9% for emerging research papers. In addition, 12 papers were selected to be presented as posters in Research Challenge paper sessions. The conference included two keynote talks. The opening day keynote was presented by one of the founders of Software Architecture, Dewayne E. Perry of the University of Texas at Austin, USA, on Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling Dynamic Evolution and the second keynote was delivered by Colin Atkinson, from the University of Mannheim, Germany, on Component-Oriented Verification of Software Architectures Through Built-in Tests. We would like to thank the members of the Program Committee for providing thoughtful and knowledgeable reviews and for their substantial effort in making ECSA 2008 a successful conference. The ECSA 2008 submission and review process was extensively supported by the EasyChair Conference Management System. On the organizational front, we deeply acknowledge all the members of the Organizing Committee for their excellent service. Finally, we acknowledge the prompt and professional support from Springer, who published these proceedings in printed and electronic volumes as part of the Lecture Notes in Computer Science series. September 2008 Ron Morrison George A. Papadopoulos

6 Organization Conference Chair George A. Papadopoulos University of Cyprus, Cyprus Program Committee Program Committee Chair Ron Morrison University of St. Andrews, UK Program Committee Members Yamine Ait Ameur Dharini Balasubram Thais Batista Marco Bernardo Antoine Beugnard Jan Bosch Alan W. Brown Carlos E. Cuesta Paulo Roberto Freire Cunha Rogerio de Lemos Khalil Drira Laurence Duchien Katrina Falkner Régis Fleurquin David Garlan Carlo Ghezzi Ian Gorton Paul Grefen Volker Gruhn Wilhelm Hasselbring Juan Hernández Paola Inverardi ENSMA, France University of St. Andrews, UK University of Rio Grande do Norte UFRN, Brazil University of Urbino, Italy ENST Bretagne, France Intu, USA IBM Rational, USA Rey Juan Carlos University, Spain Federal University of Pernambuco, Brazil University of Kent, UK LAAS-CNRS, University of Toulouse, France INRIA and University of Lille, France University of Adelaide, Australia University of South Brittany VALORIA, France Carnegie Mellon University, USA Polytechnic of Milan, Italy Pacific Northwest National Lab, USA Eindhoven University of Technology, The Netherlands University of Leipzig, Germany University of Oldenburg, Germany University of Extremadura, Spain University of L'Aquila, Italy

7 VIII Organization René Krikhaar Frédéric Lang Nicole Levy Antonia Lopes Jeff Magee Esperanza Marcos Carlo Montangero Ron Morrison Robert L. Nord Henk Obbink Flavio Oquendo Mourad Oussalah Claus Pahl Mike P. Papazoglou Jennifer Pérez Dewayne E. Perry Frantisek Plasil Eltjo Poort Amar Ramdame-Cherif Isidro Ramos Ralf Reussner Clemens Schäfer Bradley Schmerl Judith Stafford Clemens Szyperski Richard N. Taylor Miguel Toro J.C. (Hans) van Vliet Brian Warboys Eoin Woods ICT NoviQ and Vrije Universiteit Amsterdam, The Netherlands INRIA Rhône-Alpes, France University of Versailles St.-Quentin en Yvelines RiSM, France University of Lisbon, Portugal Imperial College London, UK Rey Juan Carlos University, Spain University of Pisa, Italy University of St. Andrews, UK Software Engineering Institute, USA Philips Research Europe, The Netherlands University of South Brittany VALORIA, France University of Nantes LINA, France Dublin City University, Ireland Tilburg University, The Netherlands Technical University of Madrid (UPM), Spain University of Texas at Austin, USA Charles University, Czech Republic Logica, The Netherlands University of Versailles St.-Quentin en Yvelines PRiSM, France Polytechnic University of Valencia, Spain University of Karlsruhe, Germany University of Leipzig, Germany Carnegie Mellon University, USA Tufts University, USA Microsoft Research, USA University of California at Irvine, USA University of Seville, Spain VU University Amsterdam, The Netherlands University of Manchester, UK UBS Investment Bank, UK Poster Sessions Dharini Balasubramaniam Katrina Falkner University of St. Andrews, UK University of Adelaide, Australia Organizing Committee Members Pyrros Bratskas Pericles Cheng Constantinos Kakousis Nearchos Paspallis University of Cyprus, Cyprus University of Cyprus, Cyprus University of Cyprus, Cyprus University of Cyprus, Cyprus

8 Organization IX Steering Committee Flavio Oquendo Carlos E. Cuesta Esperanza Marcos John Favaro Volker Gruhn Ron Morrison Mourad Oussalah George A. Papadopoulos Brian Warboys University of South Brittany VALORIA, France Rey Juan Carlos University, Spain Rey Juan Carlos University, Spain Consorzio Pisa Ricerche, Italy University of Leipzig, Germany University of St. Andrews, UK University of Nantes LINA, France University of Cyprus, Cyprus University of Manchester, UK

9 Table of Contents Keynotes Issues in Architecture Evolution: Using Design Intent in Maintenance and Controlling Dynamic Evolution... 1 Dewayne E. Perry Component-Oriented Verification of Software Architectures through Built-in Tests... 2 Colin Atkinson Full Research Papers Non-synchronous Communications in Process Algebraic Architectural Description Languages... 3 Marco Bernardo and Edoardo Bontà Stakeholder Perception of Enterprise Architecture Bas van der Raadt, Sander Schouten, and Hans van Vliet Web Services Orchestrations Evolution: A Merge Process for Behavioral Evolution Sébastien Mosser, Mireille Blay-Fornarino, and Michel Riveill Evaluating Domain Design Approaches Using Systematic Review Ednaldo Dilorenzo de Souza Filho, Ricardo de Oliveira Cavalcanti, Danuza F.S. Neiva, Thiago H.B. Oliveira, Liana Barachisio Lisboa, Eduardo Santana de Almeida, and Silvio Romero de Lemos Meira Characterizing Relations between Architectural Views Nelis Boucké, Danny Weyns, Rich Hilliard, Tom Holvoet, and Alexander Helleboogh How Do Agents Affect Modifiability? A Comparison between Two Architectures for Intelligent Virtual Environments for Training Gonzalo Méndez and Angélica de Antonio An Architecture-Centric Development Environment for Black-Box Component-Based Systems Gerald Kotonya Automating the Trace of Architectural Design Decisions and Rationales UsingaMDDApproach Elena Navarro and Carlos E. Cuesta

10 XII Table of Contents Development of Fault-Tolerant Software Systems Based on Architectural Abstractions Patrick H.S. Brito, Rogério de Lemos, and Cecília M.F. Rubira Towards Interoperability in Component Based Development with a Family of DSLs Ileana Ober, Ali Abou Dib, Louis Féraud, and Christian Percebois Modeling Architectural Patterns Behavior Using Architectural Primitives Ahmad Waqas Kamal and Paris Avgeriou Approach for Dynamically Composing Decentralised Service Architectures with Cross-Cutting Constraints Varvana Myllärniemi, Christian Prehofer, Mikko Raatikainen, Jilles van Gurp, and Tomi Männistö Experience Papers Architectural Prototyping in Industrial Practice Henrik Bærbak Christensen and Klaus Marius Hansen An Iterative Framework for Software Architecture Recovery: An Experience Report Banani Roy and T.C. Nicholas Graham Towards a Method for the Evaluation of Reference Architectures: Experiences from a Case Samuil Angelov, Jos J.M. Trienekens, and Paul Grefen On the Role of Architectural Design Decisions in Software Product Line Engineering Rafael Capilla and Muhammad Ali Babar Emerging Research Papers Towards a Dependency Constraint Language to Manage Software Architectures Ricardo Terra and Marco Tulio de Oliveira Valente Automating Architecture Trade-Off Decision Making through a Complex Multi-attribute Decision Process Majid Makki, Ebrahim Bagheri, and Ali A. Ghorbani Representing Service-Oriented Architectural Models Using π-adl Marcos López-Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, and Flavio Oquendo

11 Table of Contents XIII Managing Dynamic Evolution of Architectural Types Cristóbal Costa-Soria, Jennifer Pérez, and José Angel Carsí TADL - An Architecture Description Language for Trustworthy Component-Based Systems Mubarak Mohammad and Vasu Alagar L-DSMS A Local Data Stream Management System Christian Hänsel, Hans Jürgen Ohlbach, and Edgar Stoffel Towards Independent Software Architecture Review Antony Tang, Fei-Ching Kuo, and Man F. Lau Research Challenge Papers On the Interplay of Aspects and Dynamic Reconfiguration in a Specification-to-Deployment Environment Thais Batista, Antônio T.A. Gomes, Geoff Coulson, Christina Chavez, and Alessandro Garcia Extending the ANSI/SPARC Architecture Database with Explicit Data Semantics: An Ontology-Based Approach Chimène Fankam, Stéphane Jean, Ladjel Bellatreche, and Yamine Aït-Ameur Search-Based Extraction of Component-Based Architecture from Object-Oriented Systems Sylvain Chardigny, Abdelhak Seriai, Mourad Oussalah, and Dalila Tamzalit A Security Model for Internet-Based Digital Asset Management Systems I. Chatzigiannakis, V. Liagkou, D. Salouros, and P. Spirakis A Large Scope Transformational Approach for Distributed Architecture Design Fabian Gilson, Vincent Englebert, and Raimundas Matulevičius Towards a Software Process for Aspect-Oriented Modeling of Quality Attributes Mónica Pinto and Lidia Fuentes Domain Ontology-Based Generative Component Design Using Feature Diagrams and Meta-programming Techniques Robertas Damaševičius, Vytautas Štuikys, and Jevgenijus Toldinas Facets of Adaptivity Claudia Raibulet

12 XIV Table of Contents Transition to Service-Oriented Enterprise Architecture Martin Assmann and Gregor Engels Diagrammatic Modeling of Architectural Decisions Andrzej Zalewski and Marcin Ludzia Web Services Domain Analysis Based on Quality Standards F. Losavio, A. Matteo, and R. Rahamut Visualizing Software Architectural Design Decisions Larix Lee and Philippe Kruchten Author Index