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 条
  • [1] Transactions and Electronic Commerce
    Schuldt, H
    Popovici, A
    TRANSACTIONS AND DATABASE DYNAMICS, 2000, 1773 : 225 - 230
  • [2] Transactions in mobile electronic commerce
    Veijalainen, J
    TRANSACTIONS AND DATABASE DYNAMICS, 2000, 1773 : 203 - 224
  • [3] Trust for electronic commerce transactions
    Pernul, G
    Röhm, AW
    Herrmann, G
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 1999, 1691 : 1 - 13
  • [4] Trust objects in electronic commerce transactions
    Calcanis, C
    Patel, D
    Patel, S
    OBJECT-ORIENTED INFORMATION SYSTEMS, PROCEEDINGS, 2002, 2425 : 31 - 39
  • [5] Electronic commerce transactions in a mobile computing environment
    Veijalainen, J
    Tsalgatidou, A
    ENABLING SOCIETY WITH INFORMATION TECHNOLOGY, 2002, : 131 - 140
  • [6] Parties’ legal capacity in electronic commerce transactions
    Parviz Bagheri
    Kamal Halili Hassan
    Mehdi Shabannia Mansour
    European Journal of Law and Economics, 2017, 44 : 503 - 515
  • [7] The research on properties of electronic commerce transactions protocol
    Wang, Qian
    Li, Chao-yang
    Yang, De-li
    WMSCI 2006: 10TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL VI, PROCEEDINGS, 2006, : 19 - +
  • [8] Parties' legal capacity in electronic commerce transactions
    Bagheri, Parviz
    Hassan, Kamal Halili
    Mansour, Mehdi Shabannia
    EUROPEAN JOURNAL OF LAW AND ECONOMICS, 2017, 44 (03) : 503 - 515
  • [9] The Solution of Credit Mechanism in Electronic Commerce Transactions
    Sun, Xiongying
    Yang, Lili
    PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT AND COMPUTING TECHNOLOGY, 2015, 30 : 273 - 276
  • [10] Electronic commerce5. Cash transactions
    V. Rajaraman
    Resonance, 2001, 6 (4) : 8 - 14
12345