Lecture Notes in Computer Science 7744 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 TU Dortmund University, 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 for Informatics, Saarbruecken, Germany
Rick Reed Reinhard Gotzhein (Eds.) System Analysis and Modeling: Theory and Practice 7th International Workshop, SAM 2012 Innsbruck, Austria, October 1-2, 2012 Revised Selected Papers 13
Volume Editors SINTEF P.O. Box 124, Blindern, N-0314 Oslo, Norway E-mail: oystein.haugen@sintef.no Rick Reed Telecommunications Software Engineering The Laurels, Victoria Road, Windermere, LA23 2DL, UK E-mail: rickreed@tseng.co.uk Reinhard Gotzhein University of Kaiserslautern 67653 Kaiserslautern, Germany E-mail: gotzhein@informatik.uni-kl.de ISSN 0302-9743 e-issn 1611-3349 ISBN 978-3-642-36756-4 e-isbn 978-3-642-36757-1 DOI 10.1007/978-3-642-36757-1 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2013931553 CR Subject Classification (1998): D.2.1-2, D.2.5, D.2.11, C.2.4, D.3.2, D.3.4, K.6.3 LNCS Sublibrary: SL 2 Programming and Software Engineering Springer-Verlag Berlin Heidelberg 2013 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. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface These are the proceedings of the seventh SAM, the workshop on System Analysis and Modeling. The workshop brought together practitioners and academics in an environment of open discussion and sharing of ideas. This year the workshop was co-located with MODELS 2012 and held in Innsbruck, Austria, October 1 2, 2012. The co-location with the MODELS conference was pioneered in 2010 and the experience so far seems to be that this co-location benefits both parties. The SAM workshop was attended by around 30 people at any point in time, but more than 50 people attended at some point or another during the two workshop days. The co-location arrangement allows the participants of the satellite events of MODELS to participate in SAM and the other way around. This year s workshop included 2 invited keynote addresses and 12 paper presentations and this volume contains updated versions of these contributions. The 12 papers were selected from 27 submitted papers. Each of the two workshop days was opened by a keynote followed by three sessions of two papers each. Birger Møller-Pedersen (University of Oslo) opened the first day with his keynote Models 67 Revisited where he hinted at both Dylan s Highway 61 Revisited (1965) and the legacy from Simula 67 (1967). He offered challenges and opinions on the merger of modeling and programming. The keynote was followed by the three sessions, Test and Analysis I, Language Enhancements, and Fuzzy Subjects. The sessions were one and a half hours long and each presenter was given half an hour for his or her presentation. Representatives from the other contributions of the session were then asked to come up with questions and assessments of the presented paper. Since this arrangement had been known in advance, this always provided plenty of enthusiastic discussion. Joachim Fischer (Humboldt-Universität zu Berlin) opened the second day with the keynote From Earth-Quake Detection to Traffic Surveillance, where system analysis and modeling were put in the context of advanced distributed systems consisting of many collaborating sensors and actuators for usages in connection with Smart Cities. The second day consisted of the three sessions Components and Composition, Configuration and Product Lines, and Analysis II. The sessions were conducted in the same way as on the first day and we experienced a similar enthusiasm towards the discussion and sharing of views and technological arguments. This successful workshop would not have been possible without the dedicated work of the Programme Committee. Some of its members were also session chairs and paper shepherds. The workshop organizers would also like to thank Ruth Breu and the MODELS 2012 organizers for the smooth cooperation in all matters
VI Preface concerning the co-location. We would also like to thank the co-sponsors (ACM, IEEE and SDL Forum Society) for their support. The participants and last (but certainly not least) the authors are thanked for making this a lively and useful workshop. December 2012 Rick Reed Reinhard Gotzhein SDL Forum Society The SDL Forum Society is a not for profit organization that, in addition to running the System Analysis and Modelling (SAM) workshop series of events (usually once every 2 years), also: runs the System Design Languages (SDL) forums every 2 years between SAM workshop years; is a body recognized by ITU-T as co-developing System Design Languages in the Z.100 series (Specification and Description Language), Z.120 series (Message Sequence Chart), Z.150 series (User Requirements Notation) and other language standards; promotes the ITU-T System Design Languages. For more information on the SDL Forum Society, see http://www.sdl-forum.org.
Organization Organizing Committee Chair SDL Forum Society Chairman Secretary Treasurer SINTEF, Norway Rick Reed (TSE) until 01 Oct 2012, then non-voting board member; Reinhard Gotzhein (TU Kaiserslautern) Chairman from 01 Oct 2012 ; Martin von Löwis (Beuth-Hochschule für Technik Berlin) Programme Committee Conference Chair Members Daniel Amyot Rolv Bræk Reinhard Brocks Jean-Michel Bruel Laurent Doldi Anders Ek Stein-Erik Ellevseth Martin Euchner Joachim Fischer Pau Fonseca i Casas Emmanuel Gaudin Birgit Geppert Abdelouahed Gherbi Reinhard Gotzhein Jens Grabowski Peter Graubmann SINTEF, Norway Ottawa University, Canada Norges Teknisk-Naturvitenskapelige Universitet, Norway HTW Saarland, Germany Université de Toulouse, France Aeroconseil, France IBM Rational, Sweden ABB, Norway International Telecommunication Union, Switzerland Humboldt-Universität zu Berlin, Germany Universitat Politècnica de Catalunya, Spain PragmaDev, France Avaya Labs, USA UniversitéduQuébec, Canada Technische Universität Kaiserslautern, Germany Georg-August-Universität Göttingen, Germany Siemens, Germany
VIII Organization SINTEF, Norway Peter Herrmann Norges Teknisk-Naturvitenskapelige Universitet, Norway Dieter Hogrefe Georg-August-Universität Göttingen, Germany Michaela Huhn Technische Universität Clausthal, Germany Clive Jervis Nokia Siemens Networks, USA Ferhat Khendek Concordia University, Canada Tae-Hyong Kim Kumoh National Institute of Technology, South Korea Alexander Kraas T-Systems International, Germany Frank-Alexander Kraemer Norges Teknisk-Naturvitenskapelige Universitet, Norway Finn Kristoffensen Cinderella, Denmark Thomas Kuhn Fraunhofer IESE, Germany Anna Medve Pannon Egyetem, Hungary Pedro Merino Universidad de Málaga, Spain Tommi Mikkonen Tampereen Yliopisto, Finland Birger Møller-Pedersen Universitetet i Oslo, Norway Os Monkewich Sympatico, Canada Gunter Mussbacher Carleton University, Canada Ileana Ober Institut de Recherche en Informatique de Toulouse, France Iulian Ober Institut de Recherche en Informatique de Toulouse, France Javier Poncela González Universidad de Málaga, Spain Andreas Prinz Universitetet i Agder, Norway Rick Reed Telecommunications Software Engineering, UK Laurent Rioux Thales, France Manuel Rodriguez-Cayetano Universidad de Valladolid, Spain Nicolas Rouquette NASA, USA Richard Sanders SINTEF, Norway Amardeo Sarma NEC Europe, Germany Ina Schieferdecker Fraunhofer Fokus, Germany Bran Selic Malina Software, Canada Edel Sherratt Aberystwyth University, UK Martin von Löwis Beuth-Hochschule für Technik Berlin, Germany Thomas Weigert Missouri University, USA Frank Weil Uniquesoft, USA
Table of Contents Keynote 1 Models 67 Revisited... 1 Birger Møller-Pedersen Test and Analysis I Identification and Selection of Interaction Test Scenarios for Integration Testing... 16 Mohamed Mussa and Ferhat Khendek An Approach to Specify and Analyze Goal Model Families... 34 Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid, Edna Braun, Eric Yu, Gunter Mussbacher, Rasha Tawhid, and Nick Cartwright Language Enhancements Real-Time Tasks in SDL... 53 Dennis Christmann and Reinhard Gotzhein Prototyping Domain Specific Languages as Extensions of a General Purpose Language... 72 Andreas Blunk and Joachim Fischer Fuzzy Subjects Behavioral Fuzzing Operators for UML Sequence Diagrams... 88 Martin Schneider, Jürgen Großmann, Nikolay Tcholtchev, Ina Schieferdecker, and Andrej Pietschker Relativity and Abstract State Machines... 105 Edel Sherratt Keynote 2 From Earthquake Detection to Traffic Surveillance About Information and Communication Infrastructures for Smart Cities... 121 Joachim Fischer, Jens-Peter Redlich, Björn Scheuermann, Jochen Schiller, Mesut Günes, Kai Nagel, Peter Wagner, Markus Scheidgen, Anatolij Zubow, Ingmar Eveslage, Robert Sombrutzki, and Felix Juraschek
X Table of Contents Components and Composition On Deriving Detailed Component Design from High-Level Service Specification... 142 Urooj Fatima and Rolv Bræk Type-Safe Symmetric Composition of Metamodels Using Templates... 160 Henning Berg and Birger Møller-Pedersen Configuring and Product Lines Towards Correct Product Derivation in Model-Driven Product Lines... 179 Xiaorui Zhang and Birger Møller-Pedersen Simulation Configuration Modeling of Distributed Communication Systems... 198 Mihal Brumbulli and Joachim Fischer Analysis II GRL Model Validation: A Statistical Approach... 212 Jameleddine Hassine and Daniel Amyot Configuration-Based Service Availability Analysis for Middleware Managed Applications... 229 Ali Kanso, Maria Toeroe, and Ferhat Khendek Author Index... 249