A technique to validate automatic generation of Büchi automata from UML 2 sequence diagrams based on multi layer transformations

Messaoudi, Nabil; Chaoui, Allaoua; Bettaz, Mohamed

doi:10.1504/ijcvr.2019.098799

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2022

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[23] developed a tool supporting the transformation of sequence diagrams to Event B [24]. [25] showed the use of multi layer transformations to generate Büchi automata [26] from UML 2.0 SD. [27] defined a method for translating UML sequence diagrams annotated with MARTE stereotypes to time Petri nets with action duration specifications.…”

Section: Related Workmentioning

confidence: 99%

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Hamrouche

Chaoui

Mazouzi

2022

cai

View full text Add to dashboard Cite

Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable system. However, UML 2.0 SD lack formal semantics as all UML specifications, which makes their verification difficult, especially if we are modeling a critical system where the automation of verification is necessary. Communicating Sequential Processes (CSP) is a formal specification language that is

show abstract