Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led i...Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.展开更多
This paper, combined with the main feature, function, market effect, development and current situation of ME-commerce in china. analyses the problems of ME-commerce and presents the feasible countermeasure as well as ...This paper, combined with the main feature, function, market effect, development and current situation of ME-commerce in china. analyses the problems of ME-commerce and presents the feasible countermeasure as well as the development plan.展开更多
Mobile Network technology has been being the research focus during the 1990’s. The middleware technology is imported for the sake of running distributed transaction smoothly. In this paper, a mobile agent based middl...Mobile Network technology has been being the research focus during the 1990’s. The middleware technology is imported for the sake of running distributed transaction smoothly. In this paper, a mobile agent based middleware high efficiency mobile electronic business oriented middleware (HEMEBOM) is designed and implemented based on the requirement and background of collaborative electronic business. Its architecture, elements and excellent properties are mainly focused. Then high efficiency mobile electronic business system μMcommerce is built using HEMEBOM.展开更多
Despite its name, e-commerce is not fully automated. Typically, online transactions require a significant level of human intervention. Customers undertake the search for products, services, potential vendors and busin...Despite its name, e-commerce is not fully automated. Typically, online transactions require a significant level of human intervention. Customers undertake the search for products, services, potential vendors and business partners. They evaluate alternatives, decide what goods to buy and when, from which vendor, and how much they are willing to pay for. They engage in potential negotiations, carry out the transactions and so on. As those markets become mature, new products and services, as well as new practices, are beginning to appear. There is already ample evidence that agent-based technology will be crucial for these developments, reflecting that both buyers and sellers being vigorously seek techniques to improve their performance. This work surveys several of these agents that help electronic commerce systems by describing their roles in the context of a Consumer Buying Behavior (CBB) model. The CBB model presented augments traditional marketing models with concepts from Software Agents research to accommodate electronic markets.展开更多
安全性在电子交易系统中是一个至关重要的问题，该文对传统的电子商务和基于 Mobile Agent的电子交易的安全问题进行了比较，提出了在Grasshopper平台下采用时间限 制的黑箱安全机制和加密跟踪的方法扩展平台本身的安全性，确保了Grassh...安全性在电子交易系统中是一个至关重要的问题，该文对传统的电子商务和基于 Mobile Agent的电子交易的安全问题进行了比较，提出了在Grasshopper平台下采用时间限 制的黑箱安全机制和加密跟踪的方法扩展平台本身的安全性，确保了Grasshopper平台在实 现电子交易过程中整个系统的安全性。展开更多
基金Supported by the Research Grants Council of Hong Kong(DAG99/0 0 .EG0 5 ) the Sino-French Advanced ResearchProgram 2 0 0 0 (PR
文摘Various extensions of UML have been developed to meet the challenges of designing modern software systems, such as agent based electronic commerce applications. Recent advances in model checking technology have led it to be introduced into the development of approaches and tools to check the correctness of electronic commerce protocols. This paper focuses on the research of a method that connects an extension of AUML to model checker SPIN/Promela for the specification and verification of agent interaction protocols (AIP) in electronic commerce. The method presented here allows us to combine the benefits of visual specification with the power of some static analysis and model checking. Some algorithms and rules are developed to permit all visual modeling constructs translated mechanically into some Promela models of AIP, as supported by the model checker SPIN. Moreover, a process is illustrated to guide the specification and verification of AIP. The method is demonstrated thoroughly using the e commerce protocol NetBill as an example.
文摘This paper, combined with the main feature, function, market effect, development and current situation of ME-commerce in china. analyses the problems of ME-commerce and presents the feasible countermeasure as well as the development plan.
文摘Mobile Network technology has been being the research focus during the 1990’s. The middleware technology is imported for the sake of running distributed transaction smoothly. In this paper, a mobile agent based middleware high efficiency mobile electronic business oriented middleware (HEMEBOM) is designed and implemented based on the requirement and background of collaborative electronic business. Its architecture, elements and excellent properties are mainly focused. Then high efficiency mobile electronic business system μMcommerce is built using HEMEBOM.
文摘Despite its name, e-commerce is not fully automated. Typically, online transactions require a significant level of human intervention. Customers undertake the search for products, services, potential vendors and business partners. They evaluate alternatives, decide what goods to buy and when, from which vendor, and how much they are willing to pay for. They engage in potential negotiations, carry out the transactions and so on. As those markets become mature, new products and services, as well as new practices, are beginning to appear. There is already ample evidence that agent-based technology will be crucial for these developments, reflecting that both buyers and sellers being vigorously seek techniques to improve their performance. This work surveys several of these agents that help electronic commerce systems by describing their roles in the context of a Consumer Buying Behavior (CBB) model. The CBB model presented augments traditional marketing models with concepts from Software Agents research to accommodate electronic markets.
文摘安全性在电子交易系统中是一个至关重要的问题，该文对传统的电子商务和基于 Mobile Agent的电子交易的安全问题进行了比较，提出了在Grasshopper平台下采用时间限 制的黑箱安全机制和加密跟踪的方法扩展平台本身的安全性，确保了Grasshopper平台在实 现电子交易过程中整个系统的安全性。
