Telechargé par Boucherit Ammar

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

publicité
Home
1
Article
Generating Maude formal speci cations from AUML diagrams
April 2006 · Journal of Computational Methods in Sciences and Engineering 6(5,6 Supplement
1):73-89
DOI: 10.3233/JCM-2006-6S107
Project: Quality Assurance for Multi-Agent Systems
Farid Mokhati · Noura Boudiaf ·
Research Interest
Citations
Recommendations
Reads
Linda Badri · Mourad Badri
0.2
0
0 new 0
0 new
30
See details
Request full-text
Abstract
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.
1 of 4
19/06/2019 10:40
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
Request a copy of this
research directly from
the authors.
Recommend
Recommend
this work
2 of 4
Follow
Get
updates
Share
Share in a
message
Request full-text
Start a discussion
Discuss this article
with your peers
19/06/2019 10:40
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
Similar research
The Priced-Timed Maude Tool
Conference Paper
September 2009
Leon Bendiksen ·
Peter Csaba Ölveczky
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
…
4 Reads · 3 Citations
Recommend
Request full-text
Follow
Share
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Preprint
June 2019
Eduard Kamburjan ·
Stefan Mitsch ·
Martina Kettenbach ·
Reiner Hähnle
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
…
9 Reads
Recommend
Request le
Follow
Share
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
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
…
111 Reads · 2 Citations
Recommend
Download
Follow
Share
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
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 …
Recommend
Follow
Share
Start a discussion
38Recommend
Reads
Get
Share in a
Discuss this article
Recommend
Follow
Share
this
workfull-text
updates
message
with
your peers
Request
3 of 4
19/06/2019 10:40
(1) Generating Maude formal specifications from AUML diagrams ...
https://www.researchgate.net/publication/262410751_Generating ...
News · About us · Careers · Help Center · Developers · Privacy · Terms · Copyright · Imprint | Advertising · Recruiting |
Recommend
Recommend
this work
4 of 4
Follow
Get
updates
Share
Share in a
message
Start a discussion
Discuss this article
with your peers
19/06/2019 10:40
Téléchargement
Random flashcards
Le lapin

5 Cartes Christine Tourangeau

aaaaaaaaaaaaaaaa

4 Cartes Beniani Ilyes

découpe grammaticale

0 Cartes Beniani Ilyes

Fonction exponentielle.

3 Cartes axlb48

Créer des cartes mémoire