Lecture Notes in Computer Science 4401

Transcription

1 Lecture Notes in Computer Science 4401 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 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 Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Nicolas Guelfi Didier Buchs (Eds.) Rapid Integration of Software Engineering Techniques Third International Workshop, RISE 2006 Geneva, Switzerland, September 13-15, 2006 Revised Selected Papers 13

3 Volume Editors Nicolas Guelfi University of Luxembourg 6, rue Richard Coudenhove-Kalergi 1359 Luxembourg, Luxembourg Didier Buchs Computer Science Department 24, rue du Général-Dufour 1211 Geneva 4, Switzerland Library of Congress Control Number: CR Subject Classification (1998): D.2, F.3, K.6.1, K.6.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 2007 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface RISE 2006 constituted an international forum for researchers and practitioners interested in the advancement and rapid application of novel, integrated, or practical software engineering approaches, being part of a methodological framework, that apply to the development of either new or evolving applications and systems. It provided a good opportunity to present and discuss the latest research results and ideas in the rapid and effective integration of software engineering techniques. The ERCIM (European Research Consortium for Informatics and Mathematics) RISE working group selected application areas such as the Web, mobility, high availability, and embedded and user-interface software in specific industry sectors comprising finance, telecommunications, transportation (avionics, automotive) and egovernment. The research issues covered stemmed from the following software engineering domains: software and system architectures software reuse software testing software model checking model driven design and testing techniques model transformation requirements engineering lightweight or practice-oriented formal methods software processes and software metrics automated software engineering software patterns design by contract defensive programming software entropy and software re-factoring extreme programming agile software development programming languages software dependability and trustworthiness All papers submitted to this workshop were reviewed by at least two members of the International Program Committee. Acceptance was based primarily on originality and contribution. We have selected, for these proceedings, 10 papers amongst 30 submitted and an invited paper. The organization of such a workshop requires a lot of work. We would like to acknowledge the efforts of the Program Committee members, the additional referees, the organization committee members, the scientific and technical staff of the, including the Centre Universitaire d Informatique, and of the University of Luxembourg, Faculty of Science, Technology and Communication department.

5 VI Preface RISE 2006 was supported by ERCIM, European Research Consortium for Informatics and Mathematics, the Ministère de l enseignement supérieur et de la recherche and by the Fond National pour la Recherche au Luxembourg. September 2006 Nicolas Guelfi and Didier Buchs

6 Organization RISE 2006 was organized by the, Software Modeling and Verification Group. Program Chairs Guelfi, Nicolas Buchs, Didier University of Luxembourg, Luxembourg, Switzerland International Program Committee Arve Aagesen, Finn Avgeriou, Paris Bertolino, Antonia Bicarregui, Juan Bolognesi, Tommaso Born, Marc Buchs, Didier Carrez, Cyril Dony, Christophe Dubois, Eric Guelfi, Nicolas Haajanen, Jyrki Issarny, Valérie Klint, Paul Moeller, Eckhard Mistrik, Ivan Monostori, Laszlo Nawrocki, Jerzy Pimentel, Ernesto Romanovsky, Alexander Reggio Gianna, ISI Savidis, Anthony Schieferdecker, Ina NTNU, Norway University of Groningen, The Netherlands CNR-ISTI, Italy CCLRC, uk CNR-ISTI, Italy Fraunhofer FOKUS, Germany SARIT,, Switzerland NTNU, Norway LIRMM, University of Montpellier, France CRP Henri-Tudor, Luxembourg FNR, University of Luxembourg, Luxembourg VTT, Finland INRIA, France CWI, The Netherlands Fraunhofer FOKUS, Germany Fraunhofer IPSI IM, Germany SZTAKI, Hungary Poznan University of Technology, Poland SpaRCIM, University of Malaga, Spain DCS, University of Newcastle, UK Genoa, Italy FORTH, Greece Fraunhofer FOKUS, Germany Organizing Committee Buchs, Didier Pedro, Luis Bertossa, Catia Gusthiot, Germaine

7 VIII Organization Sponsoring Institutions This workshop was supported by the ERCIM, the Ministère de l enseignement supérieur et de la recherche and by the Fond National pour la Recherche au Luxembourg.

8 Table of Contents Graphical Composition of Grid Services... 1 Kenneth J. Turner and Koon Leai Larry Tan A UML 2.0 Profile for Architecting B3G Applications Mauro Caporuscio and Valerie Issarny RTDWD: Real-Time Distributed Wideband-Delphi for User Stories Estimation Giovanni Aiello, Marco Alessi, Massimo Cossentino, Alfonso Urso, and Giuseppe Vella Trust Strategies and Policies in Complex Socio-technical Safety-Critical Domains: An Analysis of the Air Traffic Management Domain Massimo Felici Development of Extensible and Flexible Collaborative Applications Using a Web Service-Based Architecture Mario Anzures-García, Miguel J. Hornos, and Patricia Paderewski-Rodríguez Build, Configuration, Integration and Testing Tools for Large Software Projects: ETICS Marc-Elian Bégin, Guillermo Diez-Andino Sancho, Alberto Di Meglio, Enrico Ferro, Elisabetta Ronchieri, Matteo Selmi, and Marian Żurek Architectural Verification of Black-Box Component-Based Systems Antonia Bertolino, Henry Muccini, and Andrea Polini Systematic Generation of XML Instances to Test Complex Software Applications Antonia Bertolino, Jinghua Gao, Eda Marchetti, and Andrea Polini Transformations of UML 2 Models Using Concrete Syntax Patterns Markus Schmidt Towards a Formal, Model-Based Framework for Control Systems Interaction Prototyping Matteo Risoldi and Vasco Amaral Invited Paper SketchiXML: A Design Tool for Informal User Interface Rapid Prototyping Adrien Coyette, Jean Vanderdonckt, and Quentin Limbourg Author Index