Modelling Electronic Commerce transactions in Z

被引：0
|
作者：
Ehikioya, SA [1 ]
机构：
[1] Univ Manitoba, Dept Comp Sci, Winnipeg, MB R3T 2N2, Canada
来源：
IC'2000: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING | 2000年
关键词：
electronic commerce; formal specification;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a Z specification of the requirements of Electronic Commerce transactions. The Z specification is checked with the Z-EVES tool [2] for correctness (syntax and semantic) and consistency. The formal design and operations introduced can facilitate actions to realize a correct reliable, and fail-safe framework for electronic commerce transactions.
引用
收藏
页码：245 / 251
页数：7
相关论文
共 50 条
  • [21] A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
    Sylvanus A. Ehikioya
    Adepele A. Olukunle
    International Journal of Networked and Distributed Computing, 2019, 7 : 68 - 84
  • [22] Electronic commerce for agricultural transactions: Role of intermediaries and accurate pricing
    Matsuda, T
    Clark, TH
    Lee, HG
    THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 4: INFORMATION SYSTEMS - INTERNET AND THE DIGITAL ECONOMY, 1997, : 13 - 20
  • [23] A Formal Model of Distributed Security for Electronic Commerce Transactions Systems
    Ehikioya, Sylvanus A.
    Olukunle, Adepele A.
    INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING, 2019, 7 (02) : 68 - 84
  • [24] Business models and transactions in mobile electronic commerce: requirements and properties
    Tsalgatidou, A
    Pitoura, E
    COMPUTER NETWORKS-THE INTERNATIONAL JOURNAL OF COMPUTER AND TELECOMMUNICATIONS NETWORKING, 2001, 37 (02): : 221 - 236
  • [25] Electronic commerce in Denmark: The spread of EDI in business-to-business transactions
    Juul, NC
    Andersen, KV
    Bjorn-Andersen, N
    PROCEEDINGS OF THE 3RD USENIX WORKSHOP ON ELECTRONIC COMMERCE, 1998, : 209 - 224
  • [26] SOLVING CONFLICTS OF INTEREST IN ELECTRONIC CONTRACTS IN E-COMMERCE TRANSACTIONS
    Diep, Nguyen Trong
    INTERNATIONAL JOURNAL OF ECOSYSTEMS AND ECOLOGY SCIENCE-IJEES, 2022, 12 (04): : 161 - 166
  • [27] Mobile agents for secure electronic commerce transactions with privacy protection of the customers
    Wang, CJ
    Leung, HF
    2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 530 - 535
  • [28] Security modelling for electronic commerce:: The Common Electronic Purse Specifications
    Jürjens, J
    Wimmel, G
    TOWARDS THE E-SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, 2001, 74 : 489 - 505
  • [29] Model of multi-agent based on personalized transactions in electronic commerce
    Chen Xiao-fang
    Wang Ying
    PROCEEDINGS OF THE 2006 INTERNATIONAL CONFERENCE ON MANAGEMENT SCIENCE & ENGINEERING (13TH), VOLS 1-3, 2006, : 208 - 212
  • [30] An agent-based negotiation model supporting transactions in electronic commerce
    Limthanmaphon, B
    Zhang, YC
    Zhang, ZW
    11TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATION, PROCEEDINGS, 2000, : 440 - 444
12345