The unified software development process
The unified software development process
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
MSC-2000 interaction diagrams for the new millennium
Computer Networks: The International Journal of Computer and Telecommunications Networking - special issue on MSC and SDL in project life cycles
A Hierarchy of Communication Models for Message Sequence Charts
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
LSCs: Breathing Life into Message Sequence Charts
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Refining UML interactions with underspecification and nondeterminism
Nordic Journal of Computing
Deriving tests from UML 2.0 sequence diagrams with neg and assert
Proceedings of the 2006 international workshop on Automation of software test
Time exceptions in sequence diagrams
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Semantics of UML models for dynamic behavior: a survey of different approaches
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Specifying legal risk scenarios using the CORAS threat modelling language
iTrust'05 Proceedings of the Third international conference on Trust Management
FM'06 Proceedings of the 14th international conference on Formal Methods
Hi-index | 0.00 |
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 of 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.