A New Formal Multi-Agent Organization Based on the DD-LOTOS Language.

A multi-agent organizational model represents a coordination mechanism that allows tasks to be shared among agents to perform complex tasks. While the Agent-Group-Role organizational model (AGR) provides a concise methodological framework for designing multi-agent systems, it is expressed in informal language and lacks formal semantics. Consequently, designers of multi-agent systems have been unable to exploit this model for analysing and checking the behaviour of their systems. Some works propose investigating the issue of model transformation; unfortunately, no effort has been made to transform AGR models using a formal language defined on the semantics of true concurrency. The DD-LOTOS Language is one of the promising alternatives to this problem, as it is based on true concurrency semantics and supports the distributed aspect of the system. This paper proposes a formal approach that generates DD-LOTOS specifications from AGR models. This formalization permits the analysis, verification, and validation of the important properties of an organization. Model-to-text (M2T) transformation uses the Xpand tools to implement the approach. The e-commerce case study is used to illustrate our approach. [ABSTRACT FROM AUTHOR]