A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments

Autor: Khaled Bsaïes, Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé

Publikováno v: 12th International Conference on Evaluation of Novel Approaches to Software Engineering
12th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2017, Porto, France. ⟨10.5220/0006314100470056⟩
ENASE

International audience; Combined Fragments (CF) are the new features added to UML2.0 sequence diagrams (SD). They have widely increased its expressiveness power, permitting to model complex behaviours, they can be nested to allow more sophisticated b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::afbc8276c774fe54af59bbd36cd5af77
https://hal.archives-ouvertes.fr/hal-01686265

An Operational Semantics of UML2.X Sequence Diagrams for Distributed Systems

Autor: Fatma Dhaou, Inès Mouakher, J. Christian Attiogbé, Khaled Bsaïes

Publikováno v: Communications in Computer and Information Science ISBN: 9783319941349
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers
Evaluation of Novel Approaches to Software Engineering. 12th International Conference, ENASE 2017, Porto, Portugal, April 28–29, 2017, Revised Selected Papers, pp.158-182, 2018, ⟨10.1007/978-3-319-94135-6_8⟩

International audience; UML2.X sequence diagrams (SD) are equipped with high structures: the combined fragments (CF) that permit to model complex behaviours of systems. CF can be nested to allow more sophisticated behaviours, however they complicate

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::95739d95601c71eec9b1fe2b5d6bbde3
https://doi.org/10.1007/978-3-319-94135-6_8

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

FORMALIZATION AND ANALYSIS OF UML 2.0 INTERACTION OVERVIEW DIAGRAM USING MAUDE REWRITING LOGIC LANGUAGE.

Autor: DJAOUI, CHAFIKA, CHAOUI, ALLAOUA

Publikováno v: Computer Science; 2024, Vol. 25 Issue 3, p1-23, 23p

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification.

Autor: Mouakher, Inès, Dhaou, Fatma, Attiogbé, J. Christian

Publikováno v: Journal of Computer Science & Technology (10009000); Feb2022, Vol. 37 Issue 1, p4-28, 25p