System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers

✍ Scribed by Constantin Werner, Sebastian Kraatz, Dieter Hogrefe (auth.), Reinhard Gotzhein, Rick Reed (eds.)

Publisher: Springer-Verlag Berlin Heidelberg
Year: 2006
Tongue: English
Leaves: 238
Series: Lecture Notes in Computer Science 4320 : Computer Communication Networks and Telecommunications
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006.

The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvements for inclusion in the book. The papers are organized in topical sections on language profiles--the main focus of this SAM workshop--evolution of development languages, model-driven development, and language implementation.

✦ Table of Contents

Front Matter....Pages -
A UML Profile for Communicating Systems....Pages 1-18
Implementing the eODL Graphical Representation....Pages 19-33
Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT....Pages 34-48
Formal Operations for SDL Language Profiles....Pages 49-63
Automating Scenario Merging....Pages 64-81
Timed High-Level Message Sequence Charts for Real-Time System Design....Pages 82-98
Timed Use Case Maps....Pages 99-114
Application of Stuck-Free Conformance to Service-Role Composition....Pages 115-132
A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models....Pages 133-147
Refactoring and Metrics for TTCN-3 Test Suites....Pages 148-165
SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches....Pages 166-182
Evaluation of Development Tools for Domain-Specific Modeling Languages....Pages 183-197
Towards Integrated Tool Support for the User Requirements Notation....Pages 198-215
ConTraST – A Configurable SDL Transpiler and Runtime Environment....Pages 216-228
Back Matter....Pages -

✦ Subjects

Computer Communication Networks; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Special Purpose and Application-Based Systems; Information Systems Applications (incl.Internet)

📜 SIMILAR VOLUMES

System Analysis and Modeling: Language P

📁 System Analysis and Modeling: Language Profiles: 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers (Lecture Notes in Computer Science, 4320)

✍ Reinhard Gotzhein (editor), Rick Reed (editor) 📂 Library 📅 2006 🏛 Springer 🌐 English

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, an

System Analysis and Modeling: 4th Intern

📁 System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers

✍ Andreas Hoffmann, Bertram Neubauer (auth.), Daniel Amyot, Alan W. Williams (eds. 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the thoroughly refereed postproceedings of the 4th International Workshop on SDL and MSC, SAM 2004, held in Ottawa, Canada in June 2004.The 19 revised full papers presented were carefully selected during two rounds of reviewing and revision from initially 46 submissio

System Analysis and Modeling: About Mode

📁 System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

✍ Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (ed 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improveme

System Analysis and Modeling: About Mode

📁 System Analysis and Modeling: About Models: 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers

✍ Philipp Becker, Marc Krämer (auth.), Frank Alexander Kraemer, Peter Herrmann (ed 📂 Library 📅 2011 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

System Analysis and Modeling: 4th Intern

📁 System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3319)

✍ Daniel Amyot (editor), Alan W. Williams (editor) 📂 Library 📅 2005 🏛 Springer 🌐 English

message sequence charts annotated with security properties.

Formal Methods: Applications and Technol

📁 Formal Methods: Applications and Technology: 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

✍ Anna Slobodová (auth.), Luboš Brim, Boudewijn Haverkort, Martin Leucker, Jaco va 📂 Library 📅 2007 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 20