Inhalt

•  
   Abstract
•  
   Acknowledgments
•  
   Table of Contents
•  
  Introduction
•  
   Motivation
•  
   Objectives
•  
   Approach
•  
   Contribution
•  
   Structure
•  
  Foundations
•  
  Introduction
•  
   Related Work
•  
   Application Example
•  
  Story-Driven Modeling
•  
   Notations
•  
   Formalization
•  
  Coordination Patterns
•  
   Notations
•  
   Formalization
•  
   Integration
•  
   Conclusion
•  
  Constraints
•  
   Introduction
•  
   Related Work
•  
   Application Example
•  
  Structural Properties
•  
   Enhanced Story Patterns
•  
   Story Decision Diagrams
•  
   Formal Semantics
•  
   Discussion
•  
  Temporal Properties
•  
   Timed Story Scenario Diagrams
•  
   Formal Semantics
•  
   Discussion
•  
   Conclusion
•  
  System Design
•  
   Introduction
•  
   Application Example
•  
  Conceptual Framework
•  
   Approach
•  
   Environment Specification
•  
   Social Specification
•  
  Formal model
•  
   Environment Specification
•  
   Culture Specification
•  
   Community Specification
•  
   Agent Specification
•  
   System Specification
•  
   Conclusion
•  
   Related Work
•  
   Discussion
•  
  Verification and Validation
•  
   Introduction
•  
   Verification
•  
   Model Checking
•  
   Invariant Checking
•  
   Behavior Verification
•  
   Scenario-based Verification
•  
   Validation
•  
   Automation
•  
   Simulation
•  
   Analysis
•  
   Conclusion
•  
   Related Work
•  
   Discussion
•  
  Application
•  
   Introduction
•  
  Tool support
•  
   Tool Landscape
•  
   Modeling
•  
   Prototyping
•  
  Deriving Constraint Specifications
•  
   Specification Pattern System
•  
   Deriving Properties from Textual Requirements
•  
   Application in Practice
•  
   Conclusion
•  
  Conclusion and Future Work
•  
   Conclusion
•  
   Future Work
•  
   List of Figures
•  
   Bibliography
•  
   Index
•  
  Constraint Language Reference
•  
  SP Language Reference
•  
   Objects
•  
   Links
•  
   Constraints
•  
   Insets
•  
  SDD Language Reference
•  
   Node types
•  
   Connector types
•  
  TSSD Language Reference
•  
   Situations
•  
   Pseudostates
•  
   Temporal connectors
•  
   Constraints
•  
   Scenarios
•  
   Subscenarios
•  
  Recursion Semantics
•  
   Well-formedness of recursive SDDPs
•  
   Alternative SDDP Semantics Definition
•  
  Invariant Checking Optimizations
•  
   Eliminating False Negatives
•  
  Specification Pattern System
•  
   Scopes
•  
   Properties
•  
   Derived patterns