A Novel organizational model for real time MAS
No Thumbnail Available
Date
2014
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
In this paper we present our approach allowing the translation of Real
Time Multi-Agents Systems (RT-MAS) organizational requirements described
by extended AUML (Agent UML Language) diagrams into a formal specification
written in Real Time Maude language (RT-Maude). In fact, the approach is
an extension of our previous work [1] that consists in extending AUML diagrams
(Temporal AUML organization use case diagram and Temporal AUML
organization class diagram) by using stereotypes notions and meta-model organizations
entities for taking into account RT-MAS specificities. Once elaborated,
these different diagrams undergo a validation to assure inter-and intra
model coherence. The formal and object oriented language RT-Maude, base on
rewriting logic, supports formal specification and programming of concurrent
systems. The main motivations of this work are: (1) formalizing the organizational
requirements of RT-MAS by using RT-Maude language, and (2) integrating
the validation of the coherence models, since the analysis phase.
Description
Keywords
Organizational requirements, Formal framework, Agent UML, Rewriting logic