Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Verification of a Subset of UML Diagrams: An Approach Using Maude

Formal Verification of a Subset of UML Diagrams: An Approach Using Maude
View Sample PDF
Author(s): Allaoua Chaoui (University Mentouri Constantine, Algeria), Okba Tibermacine (University of Batna, Algeria) and Amer R. Zerek (Engineering Academy, Libya)
Copyright: 2012
Pages: 11
Source title: Computer Engineering: Concepts, Methodologies, Tools and Applications
Source Author(s)/Editor(s): Information Resources Management Association (USA)
DOI: 10.4018/978-1-61350-456-7.ch411


View Formal Verification of a Subset of UML Diagrams: An Approach Using Maude on the publisher's website for pricing and purchasing information.


We introduce an approach that deals with the verification of UML collaboration and sequence diagrams in respect to the objects internal behaviors which are commonly represented by state machine diagrams. The approach is based on the translation of theses diagrams to Maude specifications. In fact, Maude is a declarative programming language, an executable formal specification language, and also a formal verification system, which permit the achievement of the approach goals. We define in details the rules of translating UML diagrams elements into their corresponding Maude specifications. We present the algebraic structures that represent the OR-States and the AND-states in a state machine diagram, and the structure that represents the collaboration and the sequence diagrams. Also, we explain the mechanism of the execution and the verification of the translated specification, which is based on rewriting logics rules.

Related Content

Sangeetha V., Evangeline D., Sinthuja M.. © 2022. 16 pages.
Bhimavarapu Usharani. © 2022. 10 pages.
Rajalaxmi Prabhu B., Seema S.. © 2022. 24 pages.
Meeradevi, Monica R. Mundada, Shilpa M.. © 2022. 27 pages.
Sowmya B. J., Pradeep Kumar D., Hanumantharaju R., Gautam Mundada, Anita Kanavalli, Shreenath K. N.. © 2022. 21 pages.
Seema S., Sowmya B. J., Chandrika P., Kumutha D., Nikitha Krishna. © 2022. 20 pages.
Bhimavarapu Usharani. © 2022. 13 pages.
Body Bottom