Behavior Modeling -- Foundations and Applications
Springer International Publishing (Verlag)
9783319219110 (ISBN)
This book constitutes revised selected papers from the six International Workshops on Behavior Modelling - Foundations and Applications, BM-FA, which took place annually between 2009 and 2014.
The 9 papers presented in this volume were carefully reviewed and selected from a total of 58 papers presented at these 6 workshops. The contributions were organized in topical sections named: modelling practices; new ways of behaviour modelling: events in modelling; and new ways of behaviour modelling: protocol modelling.
Modelling Practices.- Business Modelling: Understandable Patterns, Practices, and Tools.- Standards in Behaviour Modelling.- Modeling Behavior with Interaction Diagrams in a UML and OCL Tool.- A Set of Metrics of Non-locality Complexity in UML State Machines.- A Customizable Execution Engine for Models of Embedded Systems.- New Ways of Behaviour Modelling: Events in Modelling Programming Animation Using Behavioral Programming.- The Event Coordination Notation: Behaviour Modelling Beyond Mickey Mouse.- New Ways of Behaviour Modelling: Protocol Modelling.- Protocol Modelling: A Modelling Approach that Supports Reusable Behavioural Abstractions.- Integrating Protocol Contracts with Program Code - A Leightweight Approach for Applied Behaviour Models that Respect Their Execution Context.- Decision Modules in Models and Implementations.- Concern-Oriented Behaviour Modelling with Sequence Diagrams and Protocol Models.
| Erscheint lt. Verlag | 24.7.2015 |
|---|---|
| Reihe/Serie | Information Systems and Applications, incl. Internet/Web, and HCI | Lecture Notes in Computer Science |
| Zusatzinfo | XIV, 279 p. 101 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
| Schlagworte | Animation • Behavior Modeling • behavior models • Computing Methodologies • formal languages and automata theory • information systems • Interactive simulation • Modeling • modeling methodologies • model verification and validation • protocol modeling • semantics and reasoning • Simulation • software and its engineering • software creation and management • software notations and tools • software organization and properties • UML |
| ISBN-13 | 9783319219110 / 9783319219110 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
