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

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.

---

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.

---

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.
Content:
Front Matter....Pages -
Models ’67 Revisited....Pages 1-15
Identification and Selection of Interaction Test Scenarios for Integration Testing....Pages 16-33
An Approach to Specify and Analyze Goal Model Families....Pages 34-52
Real-Time Tasks in SDL....Pages 53-71
Prototyping Domain Specific Languages as Extensions of a General Purpose Language....Pages 72-87
Behavioral Fuzzing Operators for UML Sequence Diagrams....Pages 88-104
Relativity and Abstract State Machines....Pages 105-120
From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities....Pages 121-141
On Deriving Detailed Component Design from High-Level Service Specification....Pages 142-159
Type-Safe Symmetric Composition of Metamodels Using Templates....Pages 160-178
Towards Correct Product Derivation in Model-Driven Product Lines....Pages 179-197
Simulation Configuration Modeling of Distributed Communication Systems....Pages 198-211
GRL Model Validation: A Statistical Approach....Pages 212-228
Configuration-Based Service Availability Analysis for Middleware Managed Applications....Pages 229-248
Back Matter....Pages -

---

This book constitutes revised papers of the proceedings of the 7th International Workshop on System Analysis and Modeling, SAM 2012, held in Innsbruck, Austria, in October 2012. The 12 papers presented were carefully reviewed and selected from 27 submissions. In addition, the book contains two keynote speeches in full-paper length. The contributions are organized in topical sections named: test and analysis, language enhancements, fuzzy subjects, components and composition, and configuring and product lines.
Content:
Front Matter....Pages -
Models ’67 Revisited....Pages 1-15
Identification and Selection of Interaction Test Scenarios for Integration Testing....Pages 16-33
An Approach to Specify and Analyze Goal Model Families....Pages 34-52
Real-Time Tasks in SDL....Pages 53-71
Prototyping Domain Specific Languages as Extensions of a General Purpose Language....Pages 72-87
Behavioral Fuzzing Operators for UML Sequence Diagrams....Pages 88-104
Relativity and Abstract State Machines....Pages 105-120
From Earthquake Detection to Traffic Surveillance – About Information and Communication Infrastructures for Smart Cities....Pages 121-141
On Deriving Detailed Component Design from High-Level Service Specification....Pages 142-159
Type-Safe Symmetric Composition of Metamodels Using Templates....Pages 160-178
Towards Correct Product Derivation in Model-Driven Product Lines....Pages 179-197
Simulation Configuration Modeling of Distributed Communication Systems....Pages 198-211
GRL Model Validation: A Statistical Approach....Pages 212-228
Configuration-Based Service Availability Analysis for Middleware Managed Applications....Pages 229-248
Back Matter....Pages -
....