Formalizing and Verifying UML Activity Diagrams

Abbas, Messaoud; Beggas, Mounir; Boucherit, Ammar

doi:10.1007/978-3-030-32213-7_4

Cited by 2 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Concerning ambiguity in diagrams, more three articles were found that, to a certain degree, are correlated with our work [1,21,23]. However, they proposed approaches to validate diagrams based on the use of representation models.…”

Section: Related Worksupporting

confidence: 63%

Applying system descriptors to address ambiguity on deployment diagrams

Nicacio,

Petrillo

2020

Preprint

View full text Add to dashboard Cite

Communication between practitioners is essential for product quality in the DevOps context. This communication often takes place through deployment diagrams of a system under development. However, it is common diagrams to become ambiguous or inconsistent as the system progresses and goes to a continuous delivery pipeline or production. Moreover, diagrams could not follow the evolution of systems, and it is challenging to associate diagrams to production. In this paper, we propose the use of system descriptors to address the ambiguity of deployment diagrams. We state three main hypotheses (1) if a deployment diagram is generated from a valid system descriptor then the diagram is unambiguous; (2) if a valid system descriptor is generated from a deployment diagram then the descriptor is unambiguous; (3) if a diagram µ generated from a descriptor A is unambiguous and if a descriptor B is generated from the diagram µ equally unambiguous then descriptors A and B are equivalent. We report a case study to test our hypotheses. We constructed a system descriptor from Netflix deployment diagram, and we applied our tool to generate a new deployment diagram. Finally, we compare the original and generated diagrams to evaluate our proposal. Our case study shows the generated deployment diagrams are graphically equivalent to system descriptors and eliminated ambiguous aspects of the original diagram. Thus, our preliminary results lead to further evaluation in controlled and empirical experiments to test our hypotheses conclusively. CCS CONCEPTS• Computer systems organization → Distributed architectures; • Software and its engineering → System description languages; Architecture description languages.

show abstract