PlumX Metrics
Embed PlumX Metrics

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Multiagent and Grid Systems, ISSN: 1875-9076, Vol: 13, Issue: 4, Page: 395-419
2017
  • 7
    Citations
  • 0
    Usage
  • 8
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

Article Description

Formal semantics provide precise specifications of the expected behavior of organizational model based on multi-agent system, allowing users to understand them and also modelers to reason about them and to prove their correctness. A first step was described to provide a formal specification framework among organization-centered multi-agent system by using an existing rewriting logic language called Maude to translate organizational models, which allows addressing these issues. Such formalization provides additional benefits, such as enabling the simulation of the specifications or giving access to the Maude toolkit to reason about them. In this paper, Maude was used to formally describe Agent-Group-Role-based-organization specifications. The proposed framework could, in fact, be used as is or with some extensions to describe other agent organization models. Actually, the results of precedent works [31,32] were synthesized with additional extensions related to the formal description of the Agent-Group-Role model. This approach is illustrated using the supply chain management (SCM) case study.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know