Towards Formalizing Multi-Agent Systems Functional Requirements in Maude

In this paper we present a systematic approach allowing the translation of Multi-Agents Systems' functional requirements described by extended UML (Unified Modeling Language) use case diagrams and, AUML (Agent UML) sequence diagrams into a formal specification written in Maude language. Our app...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of advanced research in computer science 2010-07, Vol.1 (2)
Hauptverfasser:	Hamidane, Fathi, Mokhati, Farid, Belleili-Souici, Habiba
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer science Language Methods Stereotypes
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!