The B Book, 1996. ,
DOI : 10.1017/CBO9780511624162
An analyzer for message sequence charts, In SOFTWARE CONCEPTS AND TOOLS, pp.304-313, 1996. ,
DOI : 10.1007/3-540-61042-1_37
URL : http://homepages.inf.ed.ac.uk/kousha/msc_inference_j_v.ps
Ordering actions in sequence diagrams of UML, Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001., pp.3-14, 2001. ,
DOI : 10.1109/ITI.2001.937990
An Operational Semantics for UML Interaction: Sequencing of Actions and Local Control, European Journal of Automatised Systems, APII-JESA, vol.36, issue.7, pp.1015-1028, 2002. ,
Extending Causal Semantics of UML2.0 Sequence Diagram for Distributed Systems, Proceedings of the 10th International Conference on Software Engineering and Applications, pp.339-347, 2015. ,
DOI : 10.5220/0005517703390347
Refinement of UML2.0 Sequence Diagrams for Distributed Systems, Proceedings of the 11th International Joint Conference on Software Technologies, pp.310-318, 2016. ,
DOI : 10.5220/0006005403100318
URL : https://hal.archives-ouvertes.fr/hal-01686331
Refined design and testing framework, methodology and application results, Z. E. A. K. Z. M, 2008. ,
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams, Fifth International Conference on Application of Concurrency to System Design (ACSD'05), p.614, 2005. ,
DOI : 10.1109/ACSD.2005.31
URL : http://www.cs.sunysb.edu/~grosu/acsd05.pdf
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. ,
DOI : 10.1007/11888116_20
Assert and negate revisited, Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools , SCESM '06, pp.237-252, 2008. ,
DOI : 10.1145/1138953.1138958
Model Checking of UML 2.0 Interactions, Models in Software Engineering OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2, pp.42-51, 2006. ,
DOI : 10.1007/978-3-540-69489-2_6
A Causality-Based Semantics for UML Sequence Diagrams Towards Formal Design with Sequence Diagrams, 23rd IASTED International Conference on Software Engineering Software and System Modeling, pp.106-111, 2005. ,
A Formal Framework for Analyzing Sequence Diagram, 2013. ,
From UML1.x to UML 2.0 Semantics for Sequence Diagrams, IEEE International Symposium and School on Advance Distributed Systems (ISSADS), 2006. ,
Interpretation of UML Sequence Diagrams as Causality Flows, Advanced Distributed Systems, 5th Int. School and Symposium (ISSAD), number 3563, pp.126-140, 2005. ,
DOI : 10.1007/11533962_12