| 报告题名: | 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: | https://brage.bibsys.no/xmlui/bitstream/handle/11250/2380645/SINTEF%2bA19749.pdf?sequence=3&isAllowed=y
|
| 资源类型: | 研究报告
|
| 标识符: | http://119.78.100.158/handle/2HF3EXSE/28644
|
| Appears in Collections: | 过去全球变化的重建
影响、适应和脆弱性
科学计划与规划
气候变化与战略
全球变化的国际研究计划
气候减缓与适应
气候变化事实与影响
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| SINTEF+A19749.pdf（949KB） | 研究报告 | -- | 开放获取 | | View
Download
|
|
| Recommended Citation: | |
Refsdal, Atle,Runde, Ragnhild Kobro,Stølen, Ketil. Stepwise refinement of sequence diagrams with soft real-time requirements. 2011-01-01.
|
|
|