dc.date.accessioned | 2013-03-12T08:00:17Z | |
dc.date.available | 2013-03-12T08:00:17Z | |
dc.date.issued | 2006 | en_US |
dc.date.submitted | 2008-03-04 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9837 | |
dc.description.abstract | STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necessary distinction between black-box and glass-box refinement, an extension of the semantic framework with three event messages is introduced. A concrete syntax is also proposed. The proposed extension is especially useful when describing time constraints. The resulting approach, referred to as Timed STAIRS, is formally underpinned by denotational trace semantics. A trace is a sequence built from three kinds of events: events for transmission, reception and consumption. We argue that such traces give the necessary expressiveness to capture the standard UML interpretation of sequence diagrams as well as the black-box interpretation found in classical formal methods. | nor |
dc.language.iso | eng | en_US |
dc.relation.ispartof | Research report http://urn.nb.no/URN:NBN:no-35645 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-35645 | |
dc.title | Why timed sequence diagrams require three-event semantics | en_US |
dc.type | Research report | en_US |
dc.date.updated | 2008-03-05 | en_US |
dc.creator.author | Haugen, Øystein | en_US |
dc.creator.author | Husa, Knut Eilif | en_US |
dc.creator.author | Runde, Ragnhild Kobro | en_US |
dc.creator.author | Stølen, Ketil | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.urn | URN:NBN:no-18704 | en_US |
dc.type.document | Forskningsrapport | en_US |
dc.identifier.duo | 70777 | en_US |
dc.identifier.bibsys | 08036425x | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9837/1/Report309.pdf | |