期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

电子商务系统形式化分析与验证技术综述(Ⅰ) 被引量：2

Review of the Formal Analyzing and Verifying Technologies in Electronic Commerce Systems (Ⅰ)
下载PDF
导出
摘要 电子商务系统的设计与分析是一项相当繁重而复杂的任务,应用形式化分析技术对电子商务系统模拟与验证,可以查找系统设计中的错误和不足,确保系统的正确性和健壮性。将目前用于电子商务系统的形式化方法划分为四大类,分析了其中三类方法的应用特点。 Electronic commerce (E-commerce) is an important application over Internet. it is very much difficult for designing and analyzing E-commerce systems. In order to provide an explicit and understandable system structure for designers, and to check some flaws, E-commerce systems are generally modeled and verified formally. The existing formal approaches in E-commerce systems may be divided into four categories, and the advantages and disadvantages of three categories are analyzed respectively in this paper.
作者 杜玉越
机构地区 聊城大学计算机学院
出处 《聊城大学学报（自然科学版）》 2004年第2期15-20,27,共7页 Journal of Liaocheng University:Natural Science Edition
关键词 电子商务系统 形式化分析 验证 逻辑 PETRI网 工作流网 electronic commerce system, formal technology, category, property
分类号 F713.36 [经济管理—产业经济] TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献53

  • 1[1]R. Grimm, P. Ochsenschlager. Binding telecooperation-a formal model for electronic commerce[J]. Computer Networks, 2001, 37(2): 171～193.
  • 2[2]U. Nitsche. Verification of Co-Operating Systems and behaviour abstraction[J]. GMD Research Series, 1998, No. 7, Department of Electronics and Computer Science, University of Southampton, Darmstadt, 1998.
  • 3[3]P Ochsenschlager, J. Repp, R. Rieke, U. Nitsche. The SH-verification tool-abstraction-based verification of co-operating systems [J]. Formal Aspects of Computing, 1998, 10 (4): 381～404.
  • 4[4]P. Ochsenschlager, J. Repp, R. Rieke. Abstraction and composition-a verification method for cooperating systems [J]. J. Exp.Theoret. Artificial Intelligence, 2000, 12 (4): 447～459.
  • 5钟鸣,杨义先.基于零知识证明的电子现金[J].通信学报,2001,22(6):34-38. 被引量：5
  • 6[7]H. Weigand, W. J. van den Heuvel, F. Dignum. Modeling electronic commerce transactions: a layered approach [EB/OL]. In Workshop on Communication Modeling-The Language/Action Perspective, Computer Science Reports, Eindhoven University of Technology, http://www. win. tue. nl/win/cs, 1998.
  • 7[8]K. Aberer. A language for information commerce processes [A]. Third International Workshop on Advanced Inssues of E-Commerce and Web-Based Information Systems (WECWIS'01) [C]. IEEE Press, p. 0178, San Juan, California, 2001, pp. 56～ 62.
  • 8[9]M. Koubarakis, D. Plexousakis. A formal model for business process modeling and design [A]. In Proceedings of CAiSE'00[C].Stockholm, Sweden, 2000, pp. 1～15.
  • 9[10]B. Barclay, J. Boyer. XFDL: creating electronic commerce transaction records using XML [J]. Computer Networks, 1999, 31 (11～16): 1 611～1 622.
  • 10[11]A. W. Rohm, G. Pernul, G. Herrmann. Modelling Secure and Fair Electronic Commerce [A]. In: Proceedings of the 14th Annual Computer Security Applications Conference[C]. Phoenix, Arizona, IEEE Computer Society Press, 1998, pp. 155 ～ 166.

二级参考文献11

共引文献25

同被引文献52

  • 1张汉江,赖明勇,罗端红.基于中间件技术的国际贸易电子商务系统的设计与实现[J].系统工程,2004,22(5):81-84. 被引量：6
  • 2[30]M.W.A. Caminada,A. A. G. Steuten,R. P. van de Riet. An evalution of linguistically based modeling approaches on the basis of the EANCOM EDI standard[A]. The Fourth International Workshop on the Language Action Perspective on Communication (LAP'99)[C],Sweden,Sept. 1999,pp. 29～42.
  • 3[31]Y.H. Tan,W. Thoen. Formalizing trade procedures to analyze trust in electronic commerce [EB/OL]. Fifth International Workshop on Deontic Logic in Computer Science (DEON'00),Toulouse,France,Jan. 2000. (http:∥citeseer.nj.nec.com/34759.html).
  • 4[32]M. Fisher,M. Wooldvidge. On the formal specification and verification of multi-agent systems[J]. International Journal of Cooperative Information Systems,1997,6(1) :67～94.
  • 5[33]S.J.H. Yang ,W. Chu,S. Lin,J. Lee. Specifying and verifying temporal behavior of high assurance systems using reachability tree logic[A]. Third IEEE Int. High-Assurance Systems Engineering Symposium[C], Washington, DC, Nov. 1998, pp. 150～157.
  • 6[34]E. Vicario. Static analysis and dynamic steering of time-dependent systems[J]. IEEE Transactions on Software Engineering,2001,27(8): 728～748.
  • 7[35]I. Kang ,I. Lee, Y. S. Kim. An efficient state space generation for the analysis of real-time systems[J]. IEEE Transactions on Software Engineering,2000,26 (5) :453～477.
  • 8[36]J. Wang,Y. Deng,G. Xu. Reachability analysis of real-time systems using time Petri nets[J]. IEEE Transactions on Systems,Man,and Cybernetics-Part B:Cybernetics,2000,30(5):725～736.
  • 9[37]D. XU, X. He, Y. Deng. Compositional schedulability analysis of real-time systems using time Petri nets [J]. IEEE Transaction on Software Engineering, 2002,28 (10) : 984～996.
  • 10[38]I. Suzuki. Fundemental properties and application of temporal Petri nets [A]. In Proceedings of the 9th Annual Conference on Information Science and Systems[C],Johns Hopkins University,Baltimore,MD,Mar. 1985,pp. 641～646.

引证文献2

聊城大学学报（自然科学版）
2004年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部