, Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2, 2015.
Model Checking of UML 2.0 Interactions, Models in Software Engineering, pp.42-51, 2006. ,
Knut Eilif Husa and STAIRS. Towards Formal Design with Sequence Diagrams, Software and System Modeling, vol.4, pp.355-357, 2005. ,
Semantics of Interactions in UML 2.0, HCC, pp.129-136, 2003. ,
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.
A Formal Framework for Analyzing Sequence Diagram, 2013. ,
Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and System Modeling, vol.7, pp.237-252, 2008. ,
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams, 5th Int. Conf. on Application of Concurrency to System Design, p.614, 2005. ,
, Semantics of UML 2.0 Interactions with Variabilities, 2005.
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
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
A Causality-Based Semantics for UML Sequence Diagrams, 23rd IASTED International Conference on Software Engineering, pp.106-111, 2005. ,
Interpretation of UML Sequence Diagrams as Causality Flows, Advanced Distributed Systems, 5th Int. School and Symposium (ISSAD), number 3563, pp.126-140, 2005. ,
, , 1996.
Required Behavior of Sequence Diagrams: Semantics and Refinement, 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp.127-136, 2011. ,
A Fully General Operational Semantics for ,
, Sequence Diagrams with Potential and Mandatory Choice, Lecture Notes in Computer Science, issue.4085, p.380395, 2006.
UML 2.0 Interactions: Semantics and Refinement, pp.85-99, 2004. ,
A Framework for Semantics of UML Sequence Diagrams, PVS Journal of Universal Computer Science (JUCS), pp.674-697, 2002. ,
A semantics of sequence diagrams, Information Processing Letters, vol.84, issue.3, pp.125-130, 2002. ,
Formalizing Liveness-Enriched Sequence Diagrams Using ASMs, Advances in Theory and Practice, 11th International Workshop, pp.62-77, 2004. ,
A Compiler for Multimodal Scenarios: Transforming LSCs into, AspectJ. ACM Trans. Softw. Eng. Methodol, 2011. ,
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