Modeling Companion for Software Practitioners

• Κύριοι συγγραφείς: Börger, Egon (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Raschke, Alexander (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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.