Paper Info
Title
Stepwise refinement of sequence diagrams with soft real-time constraints
Abstract
UML sequence diagrams and similar notations are much used to specify and analyze computer systems and their requirements. Probabilities are often essential, in particular for capturing soft real-time constraints. It is also important to be able to specify systems at different levels of abstraction. Refinement is a means to relate abstract specifications to more concrete specifications in such a way that constraints and analysis results are preserved through the transition. In order to allow soft real-time constraints to be included as an integral part of sequence diagram specifications, this paper presents an approach to extend UML 2.x sequence diagrams to capture probabilistic choice in general and soft real-time constraints in particular. The approach is supported by formal semantics and pragmatic refinement relations with mathematical properties that allow stepwise and modular development of specifications. An example focusing on communication is provided to demonstrate the language and refinement relations.
Year
DOI
Venue
2015
10.1016/j.jcss.2015.03.003
Journal of Computer and System Sciences
Keywords
Field
DocType
Soft real-time specification,Sequence diagram,Refinement,Probabilistic choice
Discrete mathematics,Sequence diagram,Notation,Abstraction,Programming language,Unified Modeling Language,Computer science,Top-down and bottom-up design,Algorithm,Probabilistic logic,Modular design,Mathematical properties
Journal
Volume
Issue
ISSN
81
7
0022-0000
Citations 
PageRank 
References 
0
0.34
21
Authors
3
Name
Order
Citations
PageRank
Atle Refsdal1599.85
Ragnhild Kobro Runde214810.00
Ketil Stølen366973.05