A Novel organizational model for real time MAS

Simple item page
dc.contributor.authorLaouadi, Mohamed Amin
dc.contributor.authorMokhati, Farid
dc.contributor.authorSeridi, Hassina
dc.date.accessioned2022-04-27T03:29:04Z
dc.date.available2022-04-27T03:29:04Z
dc.date.issued2014
dc.description.abstractIn 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.ar
dc.identifier.urihttp://hdl.handle.net/123456789/12957
dc.language.isoenar
dc.publisherSpringerar
dc.subjectOrganizational requirementsar
dc.subjectFormal frameworkar
dc.subjectAgent UMLar
dc.subjectRewriting logicar
dc.titleA Novel organizational model for real time MASar
dc.title.alternativetowards a formal specificationar
dc.typeArticlear
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
A-Novel-Organizational-Model-for-Real-Time-MAS.pdf
Size:
349.81 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
مقـــــــــالات 2010-2015