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.