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

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

Publikováno v: Journal of Computer Science and Technology
Journal of Computer Science and Technology, 2022, 37 (1), pp.4-28. ⟨10.1007/s11390-021-1673-5⟩

International audience; UML 2.X sequence diagrams (SD) are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current systems. However, there are several issues related to the standard semantics

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e56ff2eebe65d9a7e1745211626763bc
https://hal.science/hal-04093645

Removal of textile pollutants from aqueous medium using biosynthesized CuO nanoparticles: Theoretical comparative investigation via analytical model

Autor: Afrah Atri, Fatma Dhaouadi, Nesrine Mechi, Lotfi Sellaoui, Mosaab Echabaane, Rafik Ben Chaabane, Alessandro Erto, Michael Badawi, Abdelmottaleb Ben Lamine

Publikováno v: Heliyon, Vol 10, Iss 5, Pp e26285- (2024)

The work deals with the removal of two dyes, namely methylene blue (MB) and methyl orange (MO), from polluted water by adsorption onto CuO nanoparticles synthesized with a green synthesis procedure, starting from plant resources. Adsorption isotherms

Externí odkaz: https://doaj.org/article/8ca345fa5a0b4a6f9b08d3241151cb9d

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

Refinement of UML2.0 Sequence Diagrams for Distributed Systems

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

Publikováno v: the 11th International Joint Conference on Software Technologies {(ICSOFT} 2016)
the 11th International Joint Conference on Software Technologies 2016), Jul 2016, Lisbon, Portugal
ICSOFT-EA
HAL

International audience; Refinement process applied to UML2.0 Sequence Diagrams (SD) is adopted to deal with the complexity of modeling distributed systems. The various steps leading to the checking of the refinement of SDs theoretically as well as pr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3df6bbee896ad5ff9c31f2965e8fdbfa
https://hal.archives-ouvertes.fr/hal-01686331/document

Toward a correct implementation of LwM2M client with event-B

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

Publikováno v: Scopus-Elsevier
ICSOFT

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::51ac232fedf10213082a2a06b4ffcb6c
http://www.scopus.com/inward/record.url?eid=2-s2.0-85091750318&partnerID=MN8TOARS