de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
A model driven approach to multi agent system design / Florian Stallmann. 2008
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
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.