, Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2, 2015.

A. Knapp and J. Wuttke, Model Checking of UML 2.0 Interactions, Models in Software Engineering, pp.42-51, 2006.

R. Kobro-runde-Øystein-haugen, Knut Eilif Husa and STAIRS. Towards Formal Design with Sequence Diagrams, Software and System Modeling, vol.4, pp.355-357, 2005.

H. Störrle, Semantics of Interactions in UML 2.0, HCC, pp.129-136, 2003.

Y. Hammal, Branching Time Semantics for UML 2.0 Sequence Diagrams. Lecture Notes in Computer Science: Formal Techniques for Networked and Distributed Systems -FORTE, pp.259-274, 2006.

, Refined design and testing framework, methodology and application results, 2008.

H. Shen, A Formal Framework for Analyzing Sequence Diagram, 2013.

D. Harel and S. Maoz, Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and System Modeling, vol.7, pp.237-252, 2008.

R. Grosu and . Smolka, Safety-Liveness Semantics for UML 2.0 Sequence Diagrams, 5th Int. Conf. on Application of Concurrency to System Design, p.614, 2005.

M. Victoria-cengarle, P. Graubmann, S. Wagner, and T. Universität-münchen, Semantics of UML 2.0 Interactions with Variabilities, 2005.

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsaies, Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems, ICSOFT-EA 2015 -Proceedings of the 10th International Conference on Software Engineering and Applications, pp.339-347, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01686275

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsa¨?esbsa¨?es, A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments, ENASE 2017 -Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, pp.47-56, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01686265

C. Sibertin-blanc, O. Tahir, and J. Cardoso, A Causality-Based Semantics for UML Sequence Diagrams, 23rd IASTED International Conference on Software Engineering, pp.106-111, 2005.

O. Tahir, C. Sibertin-blanc, and J. Cardoso, Interpretation of UML Sequence Diagrams as Causality Flows, Advanced Distributed Systems, 5th Int. School and Symposium (ISSAD), number 3563, pp.126-140, 2005.

J. Abrial, . The, and . Book, , 1996.

-. Dae and . Lu, Required Behavior of Sequence Diagrams: Semantics and Refinement, 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp.127-136, 2011.

M. S. Lund and K. Stlen, A Fully General Operational Semantics for

, Sequence Diagrams with Potential and Mandatory Choice, Lecture Notes in Computer Science, issue.4085, p.380395, 2006.

M. Victoria-cengarle and K. Alexander, UML 2.0 Interactions: Semantics and Refinement, pp.85-99, 2004.

B. Demissie and . Aredo, A Framework for Semantics of UML Sequence Diagrams, PVS Journal of Universal Computer Science (JUCS), pp.674-697, 2002.

H. Seung-mo-cho, S. D. Ho-kim, D. Cha, and . Bae, A semantics of sequence diagrams, Information Processing Letters, vol.84, issue.3, pp.125-130, 2002.

A. Cavarra, J. Küster, and F. , Formalizing Liveness-Enriched Sequence Diagrams Using ASMs, Advances in Theory and Practice, 11th International Workshop, pp.62-77, 2004.

S. Maoz, D. Harel, and A. Kleinbort, A Compiler for Multimodal Scenarios: Transforming LSCs into, AspectJ. ACM Trans. Softw. Eng. Methodol, 2011.

F. Dhaou, I. Mouakher, C. Attiogbé, and K. Bsa¨?esbsa¨?es, Refinement of UML2.0 Sequence Diagrams for Distributed Systems, Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016, vol.1, pp.310-318, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01686331