Stepwise refinement of sequence diagrams with soft real-time requirements

GSTDTAP > 气候变化

	Stepwise refinement of sequence diagrams with soft real-time requirements
	Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil
	2011
出版年	2011
语种	英语
国家	挪威
领域	气候变化
英文摘要	UML sequence diagrams and similar notations are much used to specify computer systems, serving for example as specifications for programmers, or as a means for validating requirements. When specifying and analyzing computer systems, probabilities are often essential, in particular for capturing soft real-time requirements. It is also important to be able to specify systems at different levels of abstraction, depending on how far the development has progressed and the purpose of the specification. Refinement is a means to relate abstract specifications to more concrete specifications in such a way that requirements and analysis results are preserved through the transition from the abstract to the more concrete level. This paper presents an approach to extend UML 2.x sequence diagrams to capture probabilistic choice in general and soft real-time requirements in particular. The approach is supported by formal semantics and pragmatic refinement relations. The refinement relations have mathematical properties that allow specifications to be developed in a stepwise and modular manner. An example focusing on communication is provided to demonstrate the use and usefulness of the language and the refinement relations
URL	查看原文
来源平台	Center for International Climate and Environmental Research-Oslo (CICERO)
文献类型	科技报告
条目标识符	http://119.78.100.173/C666/handle/2XK7JSWQ/1676
专题	气候变化
推荐引用方式 GB/T 7714	Refsdal, Atle,Runde, Ragnhild Kobro,Stølen, Ketil. Stepwise refinement of sequence diagrams with soft real-time requirements,2011.