(1) Generating Maude formal specifications from AUML diagrams Request PDF

Article
Generating Maude formal speci cations from AUML diagrams
April 2006 · Journal of Computational Methods in Sciences and Engineering6(5,6 Supplement
1):73-89
DOI: 10.3233/JCM-2006-6S107
Project: Quality Assurance for Multi-Agent Systems
Farid Mokhati · Noura Boudiaf · Linda Badri · Mourad Badri
Research Interest 0.2
Citations 0
Recommendations 0 new 0
Reads 0 new 30
See details
Abstract
Request full-text
In this paper, we present a formal and systematic approach allowing translating the
speci!cation of the interactions between agents, described using AUML formalism, in a
Maude speci"cation. Based on rewriting logic, the formal and object-oriented language
Maude offers an interesting way for concurrent systems formal speci#cation and
programming. The main objectives of our approach are essentially: (1) to specify formally
multi-agent systems behavior and, (2) to provide a healthy description preserving the
consistency in their behavior and supporting their veri$cation and validation process. The
Maude descriptions, generated in the context of the developed framework, have been
validated using the platform supporting the Maude language.
Home 1
1 of 4 19/06/2019 10:40

Request a copy of this
research directly from
the authors.
Request full-text
Recommend
Recommend
this work
Follow
Get
updates
Share
Share in a
message
Start a discussion
Discuss this article
with your peers
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
2 of 4 19/06/2019 10:40

Similar research
The Priced-Timed Maude Tool
Conference Paper
September 2009
Leon Bendiksen · Peter Csaba Ölveczky
4 Reads · 3 Citations
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Preprint
June 2019
Eduard Kamburjan · Stefan Mitsch · Martina Kettenbach · Reiner Hähnle
9 Reads
Documenting metrological traceability as intended by ISO 15189:2012: A consensus
statement about the practice of the implementation and auditing of this norm element.
EFLM Paper.
Article Full-text available
December 2018 · Clinical Chemistry and Laboratory Medicine
Marc Thelen · Florent Vanstapel · Pika Mesko Brguljan · [...] · Trollhättan
111 Reads · 2 Citations
Automatic generating algorithm of rewriting logic speci cation for multi-agent system
models based on Petri nets
Article
January 2019 · Multiagent and Grid Systems
Ammar Boucherit · Abdallah Khababa · Laura M. Castro
38 Reads
Priced-Timed Maude is a new rewriting-logic-based tool that extends Real-Time Maude
to support the formal speci%cation and analysis of systems in which the cost of
performing actions and of idling plays a signi&cant role. Our tool emphasizes …
Request full-text Recommend Follow Share
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double
challenge of combined discrete-continuous dynamics and concurrent behavior. Existing
formal speci'cation and veri(cation languages for CPS are designed on top of their …
Request )le Recommend Follow Share
ISO15189:2012 requires medical laboratories to document metrological traceability of
their results. While the ISO17511:2003 standard on metrological traceabil-ity in
laboratory medicine requires the use of the highest available level in the traceability …
Download Recommend Follow Share
On one hand, Petri nets are widely used as a modeling formalism to assess both
structural and behavioral properties of the multi-agent system bacause of their
mathematical foundations and the rich underlying analysis tools has developed around …
Request full-text Recommend Follow Share
Recommend
Recommend
this work
Follow
Get
updates
Share
Share in a
message
Start a discussion
Discuss this article
with your peers
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
3 of 4 19/06/2019 10:40

News · About us · Careers · Help Center · Developers · Privacy · Terms · Copyright · Imprint | Advertising · Recruiting |
Recommend
Recommend
this work
Follow
Get
updates
Share
Share in a
message
Start a discussion
Discuss this article
with your peers
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
4 of 4 19/06/2019 10:40