From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems

Ayed, Leila Jemni Ben; Siala, Fatma

doi:10.1109/compsac.2008.176

Cited by 4 publications

(2 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Bauer et al, 2000), Petri Nets (B. Marzougui & K. Barkaou, 2013), Event-B (L. Ben Ayed & F. Siala, 2008), Commitment (M. Baldoni et al, 2010) and Algebra Process (T. Miller & P. McBurney, 2007)) and we choose to use AUML language for the following reasons:…”

Section: Key Requirements Of Contextualized Versioned Ip Specifying L...mentioning

confidence: 99%

Interaction Protocols Adaptation Based Coordination for Crisis Management Processes

Chtourou

Bouzguenda

2015

International Journal of Information Systems for Crisis Response and Management

View full text Add to dashboard Cite

This work deals with Interaction Protocols adaptation for coordination in the context of Crisis Management Processes. One possible way to deal with this coordination is the use of Interaction Protocols (IP). In order to guarantee an efficient use of IP, one needs to adapt them. In this paper, the authors propose the conjointly use of version and context concepts to model the IP versions and their contexts within a coherent conceptual framework, called MDA. Following this practice, they first propose the contextualized versioned IP meta model. Second, they propose an extension of Agent UML sequence diagram meta-model in order to specify graphically the contextualized versioned IP. Third, they provide an Interaction Protocols Adaptation and Management System to support the life cycle of IP from modeling to performing. Finally, they illustrate their solution through a well-known crisis scenario called “Air Crash Management Process”.

show abstract

Section: Key Requirements Of Contextualized Versioned Ip Specifying L...mentioning

confidence: 99%

Interaction Protocols Adaptation Based Coordination for Crisis Management Processes

Chtourou

Bouzguenda

2015

International Journal of Information Systems for Crisis Response and Management

View full text Add to dashboard Cite

show abstract

“…In [Aye08], L. Jemni et al proposed an event-B based approach to reasoning about interaction protocols. The objective of this approach is to show how an event-B model can be structured from AUML protocol diagrams and then used to give a formal semantic to protocol diagrams which supports proofs of their correctness.…”

Section: Related Workmentioning

confidence: 99%

A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude.

Mokhati¹,

Sahraoui²,

Bouzaher³

et al. 2010

JOT

View full text Add to dashboard Cite

To achieve the multi-agent systems' goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an important characteristic of multi-agent systems (MAS). The usual approaches to model agents' interactions consist of describing them as protocols [Hug04]. In the literature, several representation formalisms of agents' interactions have been proposed. AUML is one among the most used formalisms [Hug02]. However, AUML diagrams only offer a semi-formal specification of interactions. Indeed, the lack of formal semantics in AUML, can lead to several incoherencies in the description of a MAS' behaviour. We present, in this paper, a visual tool that essentially allows: (1) translating the description of agents' interaction protocols (AIP), specified by means of AUML formalism, in a Maude specification and, (2) validating the generated formal descriptions through simulation. Based on rewriting logic, the formal and object-oriented language Maude offers an interesting way for concurrent systems formal specification and programming. By an example of multi-agent systems interaction protocol, we illustrate the proposed translation and the developed tool.

show abstract

Extending AUML for Interaction Protocols Specifying in the Context of Adaptive Coordination of Crisis Management Processes

Chtourou

Bouzguenda

2015

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

From AUML Protocol Diagrams to Event B for the Specification and the Verification of Interaction Protocols in Multi-agent Systems

Cited by 4 publications

References 5 publications

Interaction Protocols Adaptation Based Coordination for Crisis Management Processes

Interaction Protocols Adaptation Based Coordination for Crisis Management Processes

A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude.

Extending AUML for Interaction Protocols Specifying in the Context of Adaptive Coordination of Crisis Management Processes

Contact Info

Product

Resources

About