The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2007)
London, England
Sept. 10, 2007 to Sept. 14, 2007
ISBN: 0-7695-2884-8
pp: 173-182
Haitao Dan , Brunel University
Robert M. Hierons , Brunel University
Steve Counsell , Brunel University
ABSTRACT
The sequence diagram is one of the most popular behaviour modelling languages which offers an intuitive and visual way of describing expected behaviour of Object-Oriented software. Much research work has investigated ways of providing a formal semantics for sequence diagrams. However, these proposed semantics may not properly interpret sequence diagrams when lifelines do not correspond to threads of controls. In this paper, we address this problem and propose a thread-tag based sequence diagram as a solution. A formal, partially ordered multiset based semantics for the thread-tag based sequence diagrams is proposed.
INDEX TERMS
Sequence Diagram, Semantics, Partially ordered multiset, Concurrency, Object-Oriented, Thread tag.
CITATION

S. Counsell, R. M. Hierons and H. Dan, "A Thread-tag Based Semantics for Sequence Diagrams," 2007 IEEE International Conference on Software Engineering and Formal Methods(SEFM), London, 2007, pp. 173-182.
doi:10.1109/SEFM.2007.3
272 ms
(Ver 3.3 (11022016))