SDL Forum Society - SAM2012
 

Co-located event co-sponsored by  ACM  IEEE   and   Forum Society
In agreement with
 ITU-T Study Group 17 (responsible for ITU System Design Languages).

SAM Workshop 2012

The Systems Analysis and Modeling (SAM) workshop provided an open arena for participants from academia and industry to present and discuss the most recent innovations, trends, experiences and concerns in modeling, specification, and analysis of distributed, communication and real-time systems using System Design Languages: that is, the ITU Specification and Description Language (incl. Message Sequence Charts) and related languages such as UML, ASN.1, TTCN-3, and URN.

The SAM workshop originated from the use of languages and techniques for telecommunications applications, whereas MODELS has a background in the application of UML. However, UML is also used for telecommunications, and the languages standardized by ITU-T (ASN.1, SDL-2010, TTCN-3, URN) are also used for other applications. The 2012 MODELS conference week is a unique opportunity to attend both of these events with overlapping domains of interest.

Integration with MODELS 2012 (http://www.modelsconference.org/)

SAM2012 was coordinated with MODELS 2012 and shared part of the MODELS 2012 venue: Congress Centre Innsbruck (http://www.cmi.at/index.php/home-1226.html).
Participants registration for SAM2012included other MODELS workshops at no extra cost.
Members of the SDL Forum Society (as of 1st May 2012), ACM or IEEE Computer Society were entitled to the same discounts to SAM2012 and MODELS.

Organizing committee

Øystein Haugen (Program Chair), SINTEF Reinhard Gotzhein, TU Kaiserslautern Rick Reed (SDL Forum Society Chairman), TSE

Programme committee

Daniel Amyot, Ottawa Uni. Peter Herrmann, NTNU Ileana Ober, IRIT
Rolv Bræk, NTNU Dieter Hogrefe, Göttingen Uni. Iulian Ober, IRIT
Reinhard Brocks, HTW Saarland Michaela Huhn, TU-Clausthal Javier Poncela González, Málaga Uni.
Jean-Michel Bruel, Toulouse Clive Jervis, Nokia Siemens Networks Andreas Prinz, Agder Uni.
Laurent Doldi, Aeroconseil Ferhat Khendek, Concordia Uni. Rick Reed, TSE
Anders Ek, IBM Rational Tae-Hyong Kim, Kumoh NIT Laurent Rioux, Thales
Stein-Erik Ellevseth, ABB Alexander Kraas, T-Systems International Manuel Rodriguez-Cayetano, Valladolid Uni.
Martin Euchner, ITU-T Frank-Alexander Kraemer, NTNU Nicolas Rouquette, NASA
Joachim Fischer, Humboldt Uni. Finn Kristoffensen, Cinderella Richard Sanders, SINTEF
Pau Fonseca i Casas, UPC Thomas Kuhn, Fraunhofer IESE Amardeo Sarma, NEC
Emmanuel Gaudin, PragmaDev Anna Medve, Pannonia Uni. Ina Schieferdecker, Fraunhofer Fokus
Birgit Geppert, Avaya Labs Pedro Merino, Málaga Uni. Bran Selic, Malina Software
Abdelouahed Gherbi, Quebec Uni. Tommi Mikkonen, Tampere Uni. Edel Sherratt, Aberwrystwyth Uni.
Reinhard Gotzhein, TU Kaiserslautern Birger Møller-Pedersen, Olso Uni. Martin von Löwis, Hasso-Plattner-Institut
Jens Grabowski, Göttingen Uni. Os Monkewich, Sympatico Thomas Weigert, Missouri Uni.
Peter Graubmann, Siemens Gunter Mussbacher, Carleton Uni. Frank Weil, Uniquesoft
Øystein Haugen, SINTEF

Programme for SAM2012 (Hall Igls, Innsbruck Congress, Rennweg 3)

01 Oct 09:00-10:30 Keynote 1: Models 67 Revisited (Chair: Rick Reed)
Birger Møller-Pedersen (University of Oslo, Norway)
The talk will discuss a combined modelling and programming language, illustrate what such a language may look like, put the Specification and Description Language in this context by giving part of the story behind the development of Specification and Description Language, and finally revisit the notion of model.
01 Oct 11:00-12:30 Test and Analysis I (Chair: Øystein Haugen)
Identification and Selection of Interaction Test Scenarios for Integration Testing
Mohamed Mussa, Ferhat Khendek (Concordia University, Canada)
An Approach to Specify and Analyze Goal Model Families
Azalia Shamsaei, Daniel Amyot, Alireza Pourshahid (University of Ottawa, Canada);
Eric Yu (University of Toronto, Canada); 
Gunter Mussbacher, Rasha Tawhid (Carleton University, Canada); 
Edna Braun, Nick Cartwright (Transport Canada, Canada) 
01 Oct 14:00-15:30 Language enhancements (Chair: Rolv Bræk)
Real-time Tasks in SDL 
Dennis Christmann, Reinhard Gotzhein (University of Kaiserslautern, Germany) 
Prototyping Domain Specific Languages as Extensions of a General Purpose Language 
Andreas Blunk , Joachim Fischer (Humboldt-Universität zu Berlin, Germany) 
01 Oct 16:00-17:30 Fuzzy subjects (Chair: Ferhat Khendek)
Behavioral Fuzzing Operators for UML Sequence Diagrams 
Martin Schneider, Jürgen Großmann (Fraunhofer FOKUS, Germany); 
Nikolay Tcholtchev (FOKUS Fraunhofer Institute for Open Communication Systems, Germany);
Ina Schieferdecker (TU Berlin/Fraunhofer FOKUS, Germany); 
Andrej Pietschker (Siemens, Germany) 
Relativity and Abstract State Machines
Edel Sherratt (Aberystwyth University, United Kingdom) 
01 Oct 18:30-19:30 Satellite Events Welcome Reception (Orangerie, Congress Center)
01 Oct 19:30-20:30 SDL Forum Society AGM (see http://www.sdl-forum.org/Events/agm2012.htm)
 
02 Oct 09:00-10:30 Keynote 2: From Earth Quake Detection to Traffic Surveillance (Chair: Reinhard Gotzhein)
Joachim Fischer (Humboldt-Universität zu Berlin, Germany) 
The talk will discuss suitable vagabond IT infrastructures and their model-based design for smart cities. Starting from experience with wireless, meshed, sensor-based and self-organized networks for detection of earthquake waves an outlook to anonymous capturing of vehicle traffic will be given.
02 Oct 11:00-12:30 Components and Composition (Chair: Martin von Löwis)
On Deriving Detailed Component Design from High-Level Service Specification
Urooj Fatima, Rolv Bræk (Norwegian University of Science and Technology, Norway)
Type-Safe Symmetric Composition of Metamodels using Templates
Henning Berg (University of Oslo, Norway); Birger Møller-Pedersen (University of Oslo, Norway) 
02 Oct 14:00-15:30 Configuring and Product Lines (Chair: Edel Sherratt)
Towards Correct Product Derivation in Model-Driven Product Lines
Xiaorui Zhang (SINTEF, Norway); Birger Møller-Pedersen (University of Oslo, Norway)
Simulation Configuration Modeling of Distributed Communication Systems
Mihal Brumbulli, Joachim Fischer (Humboldt-Universität zu Berlin, Germany)
02 Oct 16:00-17:30 Analysis II (Chair: Finn Kristoffersen)
GRL Model Validation: A Statistical Approach 
Jameleddine Hassine (King Fahd University of Petroleum and Minerals, Saudi Arabia)
Daniel Amyot (University of Ottawa, Canada) 
Configuration-based Service Availability Analysis for Middleware Managed Applications
Ali Kanso, Ferhat Khendek (Concordia University, Canada); Maria Toeroe (Ericsson, Canada)

For the workshop the preliminary papers were made available on USB sticks and via the WWW. No paper copies were printed.
SAM2012 is a volume in the SAM post-event series in LNCS (http://www.springer.com/lncs).

Publishers of the proceedings for
SAM2010 - LNCS6598; SAM2006 - LNCS4320;
SAM2004 - LNCS3319; SAM2002 - LNCS2599.

Call for participation as a PDF document
http://sdl-forum.org/Events/SAM2012/SAM2012cfp.PDF
Website for SAM2012
http://sdl-forum.org/Events/SAM2012/index.html
Delegates Programme & Papers (password needed)

previous version of this page - filelist

Page last modified on: