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