• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer Simulation Conference >Validating interaction-based systems behavior via simulation and detecting implied scenarios
【24h】

Validating interaction-based systems behavior via simulation and detecting implied scenarios

机译：通过仿真和检测隐含方案验证基于交互的系统行为

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The scenarios and the state-based models are two successful tools to describe the behavior of an interaction-based system. Scenarios are powerful to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths, they are usually integrated with state-based models. Working in parallel with the requirements of a system expressed in the form of scenarios, and its specification provided by the state-based models improves the level and quality of specification. Several works have been done to explain how to automatically generate state machines from scenarios requirement models. These works lead automatically to maintain consistency between scenarios and state machines. In this paper we propose an approach for detecting implied scenarios based on synthesized Discrete EVent System DEVS models from scenarios. This approach identifies unexpected state transition paths from atomic and coupled DEVS models generated. By detecting implied scenarios, analysts or users can further refine their requirements before implementation. The specification and the behavior of the final system are validated through simulation.
机译：该方案和国家的模型是两个成功的工具来描述基于交互的系统的行为。场景是模拟和分析软件系统的功能。但是，由于它们不提供系统的完整描述，而是只有一些可能的执行路径，它们通常与基于状态的模型集成。与以方案形式表达的系统的要求并行工作，并由国家模型提供的规范提高了规范的水平和质量。已经完成了几种作品来解释如何从场景要求自动生成状态机。这些作品自动导致在场景和状态机之间保持一致性。在本文中，我们提出了一种基于综合离散事件系统DEVS模型来检测隐含方案的方法。该方法识别生成的原子和耦合DEVS模型的意外状态转换路径。通过检测隐含的方案，分析师或用户可以在实施之前进一步完善他们的要求。通过仿真验证了最终系统的规范和行为。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号