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.展开更多
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.展开更多
The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over m...The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over multiple enterprises. The inherent characteristics of workflow system make it suitable to implement the cross organization management. This paper, firstly, proposes an inter enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce. This model has extended the standard workflow model. After that, an architecture which supports the model has been introduced, especially it details the structure and implementation of interfaces between enterprises.展开更多
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.展开更多
In recent years, rapid development of rural e-commerce has promoted the development and prosperity of rural economy to a great extent, and made more local governments encourage and support the development of local e-c...In recent years, rapid development of rural e-commerce has promoted the development and prosperity of rural economy to a great extent, and made more local governments encourage and support the development of local e-commerce, and actively explore e-commerce development model suitable for regional characteristics. In this paper, 9 kinds of regional development models of rural e-commerce are introduced simply. Moreover, it points out that regional development of rural e-commerce focuses on market innovation, and the development model is only a reference, not a direct application, in which the key of solving the problem is to do a good job in agricultural products up-going.展开更多
Electronic commerce is quickly increasing in several countries, most notably in developing countries. A new electronic-commerce segment known as social commerce has evolved due to the popularity of social media. Consu...Electronic commerce is quickly increasing in several countries, most notably in developing countries. A new electronic-commerce segment known as social commerce has evolved due to the popularity of social media. Consumer trust is important to social commerce success and impacts purchase choices. In modern times, majority of businesses have changed how from the traditional businesses and migrated to social commerce. Electronic commerce was the first of its sort, followed by social commerce, which conducted business via social networking platforms. Identifying the factors that influence social commerce use enables businesses to enhance those features and boost revenue. Thus, the purpose of this study was to examine how increased technology usage influences the social commerce activities of Ghanaian businessmen and women. A review of the literature resulted in the development of a conceptual model. Six hundred and twenty-five responses from Ghanaian enterprises and women who use e-commerce platforms were used to assess the conceptual approach. Partial Least Square Structural Equation Modeling (PLS SEM) was used to validate the model. The reliability and validity of the measuring apparatus were determined using measurement model analysis. To examine the model’s fit and assumptions, we used structural model analysis. Five hypotheses were supported by the structural model data. Effort Expectancy, Perceived Ease of Use, Performance Expectancy, Perceived Utility, and Trust were shown to be the most influential criteria affecting behavioral intention to use s-commerce in Ghana. The findings of this research have major significance for academics and practitioners of social trade.展开更多
Electronic commerce is becoming increasingly important in business, but lack of intention to purchase has become a main barrier in the development of electronic commerce. Thus, effective measures are needed to promote...Electronic commerce is becoming increasingly important in business, but lack of intention to purchase has become a main barrier in the development of electronic commerce. Thus, effective measures are needed to promote consumers’ intentions to purchase in online consumer to consumer （C2C） stores. This paper postulates that five factors, the perceived ease of use of the website, perceived usefulness of the website, vendor competence, introduction and recommendations of third parties, and vendors’ attitude toward customers, influence consumers’ intentions to purchase in online C2C stores and this intention directly leads to their action to purchase from online C2C stores. The structural equation modeling （SEM） method was used to analyze empirical data, supporting these hypotheses except for the effect of vendor competence.展开更多
Researchers have proposed several security protocols to protect the electronic commerce security in these years;however,not all of them are secure enough.This article extends model checking method with Casper/FDR2 to ...Researchers have proposed several security protocols to protect the electronic commerce security in these years;however,not all of them are secure enough.This article extends model checking method with Casper/FDR2 to model and analyze a new electronic protocol.Attacks are found in the protocol and their mechanisms are discussed.A variety of solutions are given to different security flaws.The improved protocol is proven to be robust and secure.展开更多
Electronic commerce is impacting almost all commercial activities. The resulting emerging commercial activities bring with them many new modeling and optimization problems. This survey reviews pioneering works in this...Electronic commerce is impacting almost all commercial activities. The resulting emerging commercial activities bring with them many new modeling and optimization problems. This survey reviews pioneering works in this new area, covering topics in advertising strategy, web page design, automatic pricing, auction methods, brokerage strategy, and customer behavior analysis. Mathematical models for problems in these areas and their solution algorithms are discussed. In addition to presenting and commenting on these works, we also discuss possible extensions and related problems. The objective of this survey is to encourage more researchers to pay attention to this emerging area.展开更多
As one of the most widely accepted adoption models in information systems research, the technology acceptance model （TAM） focuses exclusively on cognition-oriented constructs such as perceived usefulness and perceiv...As one of the most widely accepted adoption models in information systems research, the technology acceptance model （TAM） focuses exclusively on cognition-oriented constructs such as perceived usefulness and perceived ease of use. This perspective may have limited the explanatory power of TAM when it is utilized in studying consumers’ adoption intentions of online shopping. Based on the contrasts between e-commerce systems and traditional workplace information systems as well as empirical findings from a variety of recent e-commerce research works, this paper analyzes an extended model which integrates three additional constructs： trust, social presence, and perceived enjoyment. The interrelationship between these constructs is also explained. Empirical validations of this extended model are expected in future research.展开更多
基金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.
文摘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.
文摘The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over multiple enterprises. The inherent characteristics of workflow system make it suitable to implement the cross organization management. This paper, firstly, proposes an inter enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce. This model has extended the standard workflow model. After that, an architecture which supports the model has been introduced, especially it details the structure and implementation of interfaces between enterprises.
文摘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.
基金Supported by 312 Talent Training Project of Zhejiang Radio&Television UniversityResearch Projects of Professional Teaching Team of Zhejiang Radio&Television University in 2018:Teaching Team of Business Management MajorResearch Projects of Scientific Research Innovation Team of Zhejiang Radio&Television University in 2016:E-commerce Research Team
文摘In recent years, rapid development of rural e-commerce has promoted the development and prosperity of rural economy to a great extent, and made more local governments encourage and support the development of local e-commerce, and actively explore e-commerce development model suitable for regional characteristics. In this paper, 9 kinds of regional development models of rural e-commerce are introduced simply. Moreover, it points out that regional development of rural e-commerce focuses on market innovation, and the development model is only a reference, not a direct application, in which the key of solving the problem is to do a good job in agricultural products up-going.
文摘Electronic commerce is quickly increasing in several countries, most notably in developing countries. A new electronic-commerce segment known as social commerce has evolved due to the popularity of social media. Consumer trust is important to social commerce success and impacts purchase choices. In modern times, majority of businesses have changed how from the traditional businesses and migrated to social commerce. Electronic commerce was the first of its sort, followed by social commerce, which conducted business via social networking platforms. Identifying the factors that influence social commerce use enables businesses to enhance those features and boost revenue. Thus, the purpose of this study was to examine how increased technology usage influences the social commerce activities of Ghanaian businessmen and women. A review of the literature resulted in the development of a conceptual model. Six hundred and twenty-five responses from Ghanaian enterprises and women who use e-commerce platforms were used to assess the conceptual approach. Partial Least Square Structural Equation Modeling (PLS SEM) was used to validate the model. The reliability and validity of the measuring apparatus were determined using measurement model analysis. To examine the model’s fit and assumptions, we used structural model analysis. Five hypotheses were supported by the structural model data. Effort Expectancy, Perceived Ease of Use, Performance Expectancy, Perceived Utility, and Trust were shown to be the most influential criteria affecting behavioral intention to use s-commerce in Ghana. The findings of this research have major significance for academics and practitioners of social trade.
基金Supported partially by the National Natural Science Foundation of China (No. 70731001)the National Social Science Founda-tion of China (No. 06BJY101)
文摘Electronic commerce is becoming increasingly important in business, but lack of intention to purchase has become a main barrier in the development of electronic commerce. Thus, effective measures are needed to promote consumers’ intentions to purchase in online consumer to consumer （C2C） stores. This paper postulates that five factors, the perceived ease of use of the website, perceived usefulness of the website, vendor competence, introduction and recommendations of third parties, and vendors’ attitude toward customers, influence consumers’ intentions to purchase in online C2C stores and this intention directly leads to their action to purchase from online C2C stores. The structural equation modeling （SEM） method was used to analyze empirical data, supporting these hypotheses except for the effect of vendor competence.
文摘Researchers have proposed several security protocols to protect the electronic commerce security in these years;however,not all of them are secure enough.This article extends model checking method with Casper/FDR2 to model and analyze a new electronic protocol.Attacks are found in the protocol and their mechanisms are discussed.A variety of solutions are given to different security flaws.The improved protocol is proven to be robust and secure.
基金Support by the National Natural Science Foundation of China (No. 70431003) and the National Textile Center of the United States of America ( No. I01-s01 )
文摘Electronic commerce is impacting almost all commercial activities. The resulting emerging commercial activities bring with them many new modeling and optimization problems. This survey reviews pioneering works in this new area, covering topics in advertising strategy, web page design, automatic pricing, auction methods, brokerage strategy, and customer behavior analysis. Mathematical models for problems in these areas and their solution algorithms are discussed. In addition to presenting and commenting on these works, we also discuss possible extensions and related problems. The objective of this survey is to encourage more researchers to pay attention to this emerging area.
文摘As one of the most widely accepted adoption models in information systems research, the technology acceptance model （TAM） focuses exclusively on cognition-oriented constructs such as perceived usefulness and perceived ease of use. This perspective may have limited the explanatory power of TAM when it is utilized in studying consumers’ adoption intentions of online shopping. Based on the contrasts between e-commerce systems and traditional workplace information systems as well as empirical findings from a variety of recent e-commerce research works, this paper analyzes an extended model which integrates three additional constructs： trust, social presence, and perceived enjoyment. The interrelationship between these constructs is also explained. Empirical validations of this extended model are expected in future research.
