• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the IASTED international conferences on informatics 2010 >FORMAL VERIFICATION OF LACK OF EXISTENCE OF ILLEGAL SCENARIOS IN THE REQUIREMENTS OF DISTRIBUTED SYSTEMS
【24h】

FORMAL VERIFICATION OF LACK OF EXISTENCE OF ILLEGAL SCENARIOS IN THE REQUIREMENTS OF DISTRIBUTED SYSTEMS

机译：分布式系统需求中非法场景存在的形式验证

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The lack of central control in distributed systems makesrnthe analysis and design of such systems a challengingrntask. In fact many faults are introduced into the system atrnthis stage of the software development life cycle.rnTherefore design validation of distributed softwarernsystems prior to the implementation phase is greatlyrndesirable as it results in huge savings in time and cost. Anrneffective and efficient approach to describing thernrequirements of distributed systems is using scenarios.rnScenarios are commonly represented using messagernsequence charts or sequence diagrams. Althoughrnscenario-based specifications provide a powerful mediumrnto present information, they are also prone to subtlerndeficiencies such as incompleteness and potentialrncontradictions among scenarios. Moreover for therndevelopment of larger distributed systems, it is oftenrndesirable to ensure certain scenarios do not emerge in thernsystem's behaviour. This research proposes systematicrnand automated methodologies to ensure the lack ofrnemergent behaviour in distributed systems using scenariobasedrnspecifications. These methodologies arerndemonstrated using a case study of a common onlinerncommerce system.
机译：分布式系统中缺乏中央控制，使得这种系统的分析和设计成为一项艰巨的任务。实际上，在软件开发生命周期的这个阶段，许多错误都被引入到系统中。因此，在实现阶段之前对分布式软件系统的设计验证是非常合乎需要的，因为它可以节省大量的时间和成本。描述场景需求的一种有效而有效的方法是使用场景。场景通常使用消息序列图或序列图来表示。尽管基于场景的规范为呈现信息提供了有力的手段，但它们也容易出现一些细微的缺陷，例如场景之间的不完整和潜在矛盾。此外，对于大型分布式系统的开发，通常希望确保某些情况不会出现在系统行为中。这项研究提出了系统的和自动化的方法，以确保使用基于场景的规范在分布式系统中没有紧急行为。这些方法是通过对常见在线电子商务系统的案例研究来演示的。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号