Refinement-based requirements modeling using Triggered Message Sequence Charts

被引:0
作者
Sengupta, B [1 ]
Cleaveland, R [1 ]
机构
[1] SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11794 USA
来源
11TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS | 2003年
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Triggered Message Sequence Charts (TMSCs) are a visual, mathematically precise notation for capturing system requirements as conditional and partial scenarios. This paper shows how TMSCs may be used to formalize two different requirements modeling methodologies. The first approach combines prescriptive ("do this") and constraint based ("don't do that") requirements within a single specification; it is useful for composing localized subsystem requirements with global system ones. The second approach supports layered specifications in which partial descriptions of requirements may be elaborated on in a succession of steps; it is suitable for the incremental development of complex behavior in which "error" scenarios are "layered on top of" normative ones. Both methodologies derive their formal robustness from the notion of semantic refinement for TMSCs, which is based on DeNicola's and Hennessy's must preorder. Case studies are used to illustrate the utility of the work.
引用
收藏
页码:95 / 104
页数:10
相关论文
共 19 条
[1]  
ABRIAL JR, 1996, LNCS, V1164
[2]  
BHARADWAJ R, 2000, P 19 DIG AV SYST C
[3]   THE CONCURRENCY WORKBENCH - A SEMANTICS-BASED TOOL FOR THE VERIFICATION OF CONCURRENT SYSTEMS [J].
CLEAVELAND, R ;
PARROW, J ;
STEFFEN, B .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1993, 15 (01) :36-72
[4]  
Cleaveland R., 1995, LNCS, V1019, P153, DOI [10.1007/3-540-60630-08, DOI 10.1007/3-540-60630-08]
[5]  
CLEAVELAND R, 1996, LECT NOTES COMPUTER, V1102, P394
[6]  
DAMM W, 2001, FORMAL METHODS SYSTE, V19
[7]  
Heitmeyer C. L., 1996, ACM Transactions on Software Engineering and Methodology, V5, P231, DOI 10.1145/234426.234431
[8]  
Hennessy M., 1988, An algebraic theory of processes
[9]  
KICZALES G, 1997, P 11 EUR C OBJ OR PR
[10]  
Kruger I., 2000, THESIS TU MUNICH