{"product_id":"spicing-up-software-intensive-systems-with-curcuma-a-model-driven-approach-to-multi-agent-system-design-3838109074","title":"Spicing up Software-Intensive Systems with CurCuMA: A Model-Driven Approach to Multi-Agent System Design","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3838109074\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Stallmann, Florian\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\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","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":68174219608352,"sku":"NEW3838109074","price":121.2,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/41x38CtuXoS.jpg?v=1794055337","url":"https:\/\/miakarts.com\/products\/spicing-up-software-intensive-systems-with-curcuma-a-model-driven-approach-to-multi-agent-system-design-3838109074","provider":"Miakarts Books","version":"1.0","type":"link"}