Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/3405

Title: A thread-tag based semantics for sequence diagrams
Authors: Dan, H
Hierons, RM
Counsell, S
Keywords: Sequence Diagram
Semantics
Partially ordered multiset
Concurrency
Object-oriented
Thread tag
Publication Date: 2007
Publisher: IEEE
Citation: 5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London: 173-182, Sep 2007
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.
URI: http://bura.brunel.ac.uk/handle/2438/3405
DOI: http://dx.doi.org/10.1109/SEFM.2007.3
Appears in Collections:B-SERC Research Papers
School of Information Systems, Computing and Mathematics Research Papers
Computer Science

Files in This Item:

File Description SizeFormat
A Thread-tag Based Semantics for Sequence Diagrams.pdf394.83 kBAdobe PDFView/Open

Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan