lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A formal model for self-adaptive and self-healing organizations
Katholieke Universiteit Leuven.ORCID iD: 0000-0002-1162-0817
2009 (English)In: ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009. SEAMS’09., 2009, 116-125 p.Conference paper, Published paper (Refereed)
Abstract [en]

Multi-agent systems typically consist of autonomous entities, capable of adapting their behavior and interaction patterns in dynamic environments, making them an interesting approach for modeling self-adaptive systems. The interactions among agents, a key challenge in engineering multi-agent systems, are often structured and managed by means of organizations. In previous work we have built a prototype of an organization middleware, which encapsulates the management of dynamic organizations as a reusable service and offers organizations as first-class programming abstractions to application developers. To develop a mature middleware, we face two key challenges: realizing the integration of the middleware with the rest of the system in a disciplined way and assuring properties, such as self-adaptivity and self- healing, of services offered by the middleware. This paper presents a formal specification of an organization and management model for dynamic organizations, a first step in facing these challenges. Both models contribute to the integration of the middleware with the rest of the system. The organization model rigorously describes the main programming abstractions to which application developers have to conform, while the management model can be used to derive specific monitoring and control points required by the middleware to realize self-* properties. In addition, the management model offers a foundation to reason about self- * properties.

Place, publisher, year, edition, pages
2009. 116-125 p.
National Category
Software Engineering
Research subject
Computer Science, Software Technology
Identifiers
URN: urn:nbn:se:lnu:diva-19341DOI: 10.1109/SEAMS.2009.5069080ISBN: 978-1-4244-3724-5 (print)OAI: oai:DiVA.org:lnu-19341DiVA: diva2:530399
Conference
SEAMS’09
Available from: 2012-06-01 Created: 2012-06-01 Last updated: 2016-12-19Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Weyns, Danny

Search in DiVA

By author/editor
Weyns, Danny
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 117 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf