Spicing up Software-Intensive Systems with CurCuMA - Stallmann, Florian
89,90 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

The multi-agent paradigm promises an intuitive understanding of dynamic software-intensive systems capable of adapting their own behavior, while Model-Driven Engineering improves quality and efficiency. In this thesis, we fuse these concepts into a model-driven approach to multi-agent system design by combining CurCuMA, an innovative approach for designing complex coordination architectures, with a solid theoretical and technical foundation that enables formal verification and experimental validation. CurCuMA is based on dynamic agent organizations solving specific problems by adhering to a…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
The multi-agent paradigm promises an intuitive understanding of dynamic software-intensive systems capable of adapting their own behavior, while Model-Driven Engineering improves quality and efficiency. In this thesis, we fuse these concepts into a model-driven approach to multi-agent system design by combining CurCuMA, an innovative approach for designing complex coordination architectures, with a solid theoretical and technical foundation that enables formal verification and experimental validation. CurCuMA is based on dynamic agent organizations solving specific problems by adhering to a set of shared conventions, and the prominent use of the agents' environment as the frame of reference that such conventions require. For their specification, we extend the UML with a family of visual constraint languages: Story Decision Diagrams provide a first-order logic for object-oriented systems, whereas Timed Story Scenario Diagrams describe their structural evolution. We provide a formal semantics based on graph grammars, which enables the application of formal verification techniques and an iterative development process relying on code generation, simulation, and monitoring.
Autorenporträt
Diplôme de l¿École Supérieure de Commerce de Montpellier (2001);Master in Information Systems, University of Münster (2003);Research in the field of software engineering for self-optimizingsystems at the Graduate School of Dynamic Intelligent Systems,Paderborn; Doctorate (Dr. rer. nat.), University ofPaderborn (2009).