• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Innovate integrate amp; invigorate >Towards Modelling and Analysis of Internet Open Trading Protocol Transactions using Coloured Petri Nets
【24h】

Towards Modelling and Analysis of Internet Open Trading Protocol Transactions using Coloured Petri Nets

机译：使用彩色Petri网进行Internet开放交易协议交易的建模和分析

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

摘要

Electronic Commerce (E-Commerce) is a rapidly growing area with new companies entering the market place and existing companies moving their commercial operations onto the Internet. The Internet Open Trading Protocol (IOTP) is a standard being developed by the Internet Engineering Task Force aiming at providing an interoperable framework for E-Commerce over the Internet. In this paper we use Coloured Petri Nets (CP-nets or CPNs) to construct an executable model of the IOTP Deposit Transaction. Due to the formal semantics of CP-nets, this CPN model constitutes an unambiguous specification of the Deposit Transaction and allows us to conduct a formal analysis of the Deposit Transaction. This initial analysis has already revealed minor deficiencies in the Deposit Transaction procedures demonstrating the benefit of applying formal methods for the specification and development of complex communication protocols.
机译：电子商务（E-Commerce）是一个快速发展的领域，新公司进入市场，现有公司将其商业运营转移到Internet上。 Internet开放交易协议（IOTP）是Internet工程任务组开发的标准，旨在为Internet上的电子商务提供可互操作的框架。在本文中，我们使用有色Petri网（CP-net或CPN）构建IOTP存款交易的可执行模型。由于CP-net的形式语义，该CPN模型构成了存款交易的明确规范，并允许我们对存款交易进行形式化分析。最初的分析已经显示出存款交易程序中存在一些小缺陷，这表明使用正式方法规范和开发复杂通信协议的好处。

著录项

  • 来源
  • 会议地点 Melbourne(AU)
  • 作者

    Chun Ouyang; rnLars Michael Kristensen; rnJonathan Billington;

  • 作者单位

    Computer Systems Engineering Centre School of Electrical and Information Engineering, University of South Australia Mawson Lakes Boulevard, Mawson Lakes, SA 5082, Australia Email: chuoy001@students.unisa.edu.au;

    rnComputer Systems Engineering Centre School of Electrical and Information Engineering, University of South Australia Mawson Lakes Boulevard, Mawson Lakes, SA 5082, Australia Email: Lars.Kristensen@unisa.edu.au;

    rnComputer Systems Engineering Centre School of Electrical and Information Engineering, University of South Australia Mawson Lakes Boulevard, Mawson Lakes, SA 5082, Australia Email: Jonathan.Billington@unisa.edu.au;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 系统工程;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号