System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers

by Oystein Haugen (editor)

Models '67 Revisited.- Identification and Selection of Interaction Test Scenarios for Integration Testing.- An Approach to Specify and Analyze Goal Model Families.- Real-Time Tasks in SDL.- Prototyping Domain Specific Languages as Extensions of a General Purpose Language.- Behavioral Fuzzing Operators for UML Sequence Diagrams.- Relativity and Abstract State Machines.- From Earthquake Detection to Traffic Surveillance - About Information and Communication Infrastructures for Smart Cities.- On Deriving Detailed Component Design from High-Level Service Specification.- Type-Safe Symmetric Composition of Metamodels Using Templates.- Towards Correct Product Derivation in Model-Driven Product Lines.- Simulation Configuration Modeling of Distributed Communication Systems.- GRL Model A Statistical Approach.- Configuration-Based Service Availability Analysis for Middleware Managed Applications.

260 pages, Paperback

First published February 15, 2013