Specification and refinement of soft real-time requirements using sequence diagrams

Authors:
Atle Refsdal;Knut Eilif Husa;Ketil Stølen
Affiliations:
Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway;Department of Informatics, University of Oslo, Norway
Venue:
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Year:
2005

Citing 5
Cited 5

Modeling and verification of randomized distributed real-time systems

Modeling and verification of randomized distributed real-time systems
Specification and development of interactive systems: focus on streams, interfaces, and refinement

Specification and development of interactive systems: focus on streams, interfaces, and refinement
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
CSP and determinism in security modelling

SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy

Using model-based security analysis in component-oriented system development

Proceedings of the 2nd ACM workshop on Quality of protection
Extending UML Sequence Diagrams to Model Trust-dependent Behavior With the Aim to Support Risk Analysis

Electronic Notes in Theoretical Computer Science (ENTCS)
Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis

Science of Computer Programming
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
Underspecification, inherent nondeterminism and probability in sequence diagrams

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of integrating soft real-time requirements in sequence diagram specifications by adding probabilities to timed sequence diagrams. Our approach builds on timed STAIRS, which is an approach to the compositional and incremental development of sequence diagrams supporting specification of mandatory as well as potential behavior.