{"product_id":"spicing-up-software-intensive-systems-with-curcuma-a-model-driven-approach-to-multi-agent-system-design-von-florian-stallmann","title":"Spicing up Software-Intensive Systems with CurCuMA","description":"\u003cp\u003eThe 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783838109077\"\u003e\u003ch3\u003eA Model-Driven Approach to Multi-Agent System Design\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783838109077","offer_id":39455363825757,"sku":"9783838109077","price":89.9,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ad4d6c0f-a34f-456e-b55e-784ea5020f50.jpg?v=1777957223","url":"https:\/\/shop.autorenwelt.de\/products\/spicing-up-software-intensive-systems-with-curcuma-a-model-driven-approach-to-multi-agent-system-design-von-florian-stallmann","provider":"Autorenwelt Shop","version":"1.0","type":"link"}