• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Electronic Commerce Research >The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems
【24h】

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

机译：电子商务系统规范中的正式CAFE方法和模型检查模式

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

摘要

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker.
机译：电子商务是一个重要的应用程序，最近已经有了很大的发展。但是，电子商务系统很复杂，很难正确设计。由于发生错误的场景很多，其中许多非常微妙，因此要保证电子商务系统的正确性并不是一件容易的事。在这项工作中，我们提出了一种使用形式方法技术（特别是符号模型检查）的方法，以设计电子商务应用程序并自动对其进行验证。此外，还开发了模型检查模式层次结构-它指定了用于构建和验证电子商务系统正式模型的模式。我们认为这项研究是框架开发的第一步，该框架将集成该方法论，基于业务规则的电子商务规范语言以及模型检查器。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号