Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
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 |
| Issue 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: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A Thread-tag Based Semantics for Sequence Diagrams.pdf | 394.83 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.