Scenario-driven modeling and validation of requirements models

Christian Seybold, S. Meier, M. Glinz
{"title":"Scenario-driven modeling and validation of requirements models","authors":"Christian Seybold, S. Meier, M. Glinz","doi":"10.1145/1138953.1138969","DOIUrl":null,"url":null,"abstract":"Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process which is based on the interactive simulation of yet incomplete and semi-formal models. Missing parts are completed interactively by the user simulating the model. We start by modeling type scenarios (i.e. use cases) and simulate these interactively before having specified any system behavior. Such simulation runs yield exemplary system behavior in form of message sequence charts (MSCs). The modeler can then generalize this recorded partial behavior into statecharts. The resulting model is simulated again, (i) for validating that the modeled behavior matches the previously recorded behavior, and (ii) for recording new yet unspecified behavior in a next iteration step. Thus, recording MSCs by playing-through the scenarios and transforming MSCs to statecharts stimulate and drive each other.In this paper we focus on two elements of our approach: firstly, we describe the syntax and semantics of our scenario language. Secondly, we give an example how our modeling process works.","PeriodicalId":151927,"journal":{"name":"International Workshop on Scenarios and state machines: models, algorithms, and tools","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"23","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Workshop on Scenarios and state machines: models, algorithms, and tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/1138953.1138969","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 23

Abstract

Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process which is based on the interactive simulation of yet incomplete and semi-formal models. Missing parts are completed interactively by the user simulating the model. We start by modeling type scenarios (i.e. use cases) and simulate these interactively before having specified any system behavior. Such simulation runs yield exemplary system behavior in form of message sequence charts (MSCs). The modeler can then generalize this recorded partial behavior into statecharts. The resulting model is simulated again, (i) for validating that the modeled behavior matches the previously recorded behavior, and (ii) for recording new yet unspecified behavior in a next iteration step. Thus, recording MSCs by playing-through the scenarios and transforming MSCs to statecharts stimulate and drive each other.In this paper we focus on two elements of our approach: firstly, we describe the syntax and semantics of our scenario language. Secondly, we give an example how our modeling process works.
场景驱动的建模和需求模型的验证
大型系统的需求模型通常不能在单个步骤中开发,而是在一系列迭代中发展。我们已经开发了这样一个迭代建模过程,它是基于尚未完全和半正式模型的交互模拟。缺失的部分由模拟模型的用户交互式地完成。我们从建模类型场景(即用例)开始,并在指定任何系统行为之前交互式地模拟这些场景。这样的模拟运行产生消息序列图(MSCs)形式的示例系统行为。然后,建模者可以将这些记录的部分行为推广到状态图中。再次模拟生成的模型,(i)验证建模的行为与先前记录的行为相匹配,(ii)在下一个迭代步骤中记录新的但未指定的行为。因此,通过播放场景来记录MSCs和将MSCs转换为状态图相互刺激和驱动。在本文中,我们关注我们方法的两个元素:首先,我们描述了我们的场景语言的语法和语义。其次,我们给出了一个建模过程如何工作的例子。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信