Modeling Companion for Software Practitioners

• Main Authors: Börger, Egon (Author, http://id.loc.gov/vocabulary/relators/aut), Raschke, Alexander (http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Subjects: Software engineering.; Mathematical logic.; Management information systems.; Industrial management.; Software Engineering.; Mathematical Logic and Formal Languages.; Business Process Management.

This book uses a variety of applications to illustrate a modeling method that helps practitioners to manage complex software-intensive systems. The proposed method relies on the combination of its abstraction concept and its operational character, with behavioral models in the precise and simple for...

Table of Contents:

• 1 Introduction: The Role of Modeling
• 2 Seven Constructs for Modeling Single-Agent Behavior
• 3 Modeling Concurrent Systems
• 4 Modeling Context Awareness
• 5 Modeling Business Processes
• 6 Modeling Distributed Dystems
• 7 Syntax and Semantics of ASMs
• 8 Debugging System Design (CoreASM)
• 9 Control State Diagrams (Meta Model)
• Epilogue
• A Some Complete Models in a Nutshell
• References
• Index.