Abstract
Peer-to-peer (P2P) electronic commerce has become increasingly popular over the last few years. This popularity of P2P is due mainly to the many advantages it offers, such as the ease of sharing of computer resources and reducing cost. This paper uses both semi-formal and formal specification methods to model a P2P digital product marketplace. First, models are written in UML, as this is expected to be relatively easy to understand and economic. Then, the models are transformed into a formal notation, object-Z notation. A formally specified and verified model of e-commerce transactions will provide a correct, fail-safe, and robust transaction processing environment for ecommerce. By using both semi-formal and formal methods in the design of the P2P system, we can reason about and create a correct and reliable system quickly and efficiently.
Article PDF
Avoid common mistakes on your manuscript.
References
M. Norris, S. West, and K. Gaughan, eBusiness Essentials, John Wiley and Sons Ltd., 2000.
S. A. Ehikioya and K. Hiebert, “A Formal Model of Electronic Commerce”, First International Conference on Software Engineering, Networking, and Parallel and Distributed Computing, May 19–21 2000, Champagne-Ardenne, France, 2000.
R. Rajkumar, N. Ch. S. N. Iyengar, and D. Saikrishna, “Architecture for Mobile P2P Auction using JXTA / JXME in M-Commerce”, International Journal of Advanced Engineering Sciences and Technologies (IJAEST), Vol. 4, Issue #2, 2011, pp. 004–009.
S. M. Liu, K. R. Lang, and S. H Kwok, “Participation Incentive Mechanisms in Peer-to-Peer Subscription Systems”, In Proceedings of the 35th Annual Hawaii International Conference, Volume 9, January 2002. , page 302b.
C. Wang, A. Carzaniga, D. Evans, and A. L. Wolf, “Security Issues and Requirements for Internet-scale Publish-Subscribe Systems”, In Proceedings of the 35th Annual Hawaii International Conference, Volume 9, January 2002. page 303
S. Y. Choi, D. O. Stahl, and A. B. Whinston, “Chapter 2: Characteristics of Digital Products” in The Economics of Electronic Commerce, Macmillan Computer Publishing, 2003.
Unified Modeling Language (UML) Specification, Version 1.3a, Object Management Group, March 1999. (Available at http://www.rational.com/uml/)
G. Smith, The Object-Z Specification Language, Kluwer Academic Publishers, 2000.
S. A. Ehikioya, “A Formal Perspective to Modelling Electronic Commerce Transactions”, Colombian Journal of Computation, Volume 2, Number 2, 2001.
R. T. Marshak, “Peer-to-Peer Business Models: Facilitating “Matchmaking” between Individuals for Fun and Profit”, Patricia Seybold Group, USA, July 12, 2013. (Available at: Direct link: https://doi.org/10.1571/bs07-12-13cc). Accessed on April 6, 2018.
I. Sommerville, Software Engineering, 10th Edition, Addison-Wesley, 2015.
D. Georgakopoulos and M. P. Papazoglou, “Overview of Service-Oriented Computing”, Chapter 1 in Service-Oriented Computing, edited by Dimitrios Georgakopoulos and Michael P. Papazoglou, The MIT Press Cambridge, Massachusetts, USA, 2009.
S. A. Ehikioya and C. Zhang, “A Real-Time Multi-Agents Architecture for E-Commerce Servers”, International Journal of Networked and Distributed Computing (IJNDC), Vol. 6, #2, April 2018, pp: 88–98.
S. A. Ehikioya and K. Hiebert., “Agents Negotiation in Electronic Commerce Transactions”, 1st Annual International Conference on Computers and Information Science (ICIS’01), The Grosvenor Resort, Orlando, Florida, U.S.A., October 3–5, 2001
S. A. Ehikioya, “An Agent-based System for Distributed Transactions: A Model for Internet-based Transactions”. IEEE Canadian Conference on Electrical and Computer Engineering, Edmonton, Alberta, Canada, May 9–12, 1999.
S. A. Ehikioya and T. Walowetz, “A Formal Specification of Transaction Systems in Distributed Multi-Agents Systems”. ISCA 14th International Conference on Computers and Their Applications, Cancun, Mexico, April 7–9, 1999. pages 378–383.
J. Walkerdine, L. Melville, and I. Sommerville, “Dependability Properties of P2P Architectures”, In Proceedings of the Second International Conference on Peer-to-Peer Computing, Linkoping, Sweden, September 5–7, 2002. page 173.
L. Melville, J. Walkerdine, and I. Sommerville, “Ensuring Dependability of P2P Applications at Architectural Level”, D5 - Report on the Dependability Properties of P2P Architectures, 0305F01_DependabilityReport No. IST-2001-32708, Information Societies Technology (IST) Programme, P2P ARCHITECT, July 31, 2002.
O. Jogunola, A. Ikpehai, K. Anoh, B. Adebisi, M. Hammoudeh, H. Gacanin and G. Harris, “Comparative Analysis of P2P Architectures for Energy Trading and Sharing”, Energies, Vol. 11 Issue #1, 62, 2018; doi:https://doi.org/10.3390/en11010062
“The Peer-to-Peer (P2P) Marketplace”, White Paper, Happiest Minds Technologies Pvt Ltd, 2014.
N. C. Barwar and B. Rajesh, “Network performance analysis of startup buffering for live streaming in p2p vod systems for mesh-based topology”, In Proceedings of the International Congress on Information and Communication Technology, Springer: Singapore, 2016; pp. 271–279.
F. Chowdhury and M. Kolberg, “Performance evaluation of structured peer-to-peer overlays for use on mobile networks”, In Proceedings of the Sixth International Conference on Developments in eSystems Engineering (DeSE), Abu Dhabi, UAE, 16–18 December 2013; pp. 57–62.
K. Tutschku and A. Nakao, “Towards the Engineering of Dependable P2P-Based Network Control: The Case of Timely Routing Control Messages”, IEICE Trans. Commun., Vol. E92-B, No.1, January 2009.
M. H. Tran and S. V. U. Ha, “Decentralized Online Social Network Using Peer-to-Peer Technology”, REV J. Electron. Commun., 2016, 5, 1–2.
B. Yuan, L. Liu, and N. Antonopoulos, “A Self-organized Architecture for Efficient Service Discovery in Future Peer-to-Peer Online Social Networks”, In Proceedings of the IEEE Symposium on Service-Oriented System Engineering (SOSE), Oxford, UK, 29 March – 2 April 2016; pp. 415–422.
C. Adiele and S. A. Ehikioya, “Evolving a “Wise” Integration System for E-Commerce Transactions”, Journal of Electronic Commerce Research and Applications, Volume 6, No. 2, 2007, pp: 219–232.
C. Adiele and S. A. Ehikioya, “Algebraic Signatures for Scalable Web Data Integration for Electronic Commerce Transactions”, Journal of Electronic Commerce Research, Vol. 6, #1, 2005, pp.56–74.
J. M. Spivey, The Z Notation: A Reference Manual, 2nd Edition, Prentice Hall International Series in Computer Science, 1992.
J. M. Spivey., Introducing Z: A Specification Language and Semantics, Cambridge University Press, 1988.
S. A. Ehikioya, “A Formal Characterization of Electronic Commerce Transactions”, International Journal of Computer and Information Science, Volume 2, Number 3, 2001.
S. A. Ehikioya, “Modelling Electronic Commerce Transactions in Z”, First International Conference on Internet Computing, Monte Carlo Resort, Las Vegas, Nevada, USA, 2000, pp. 245–252.
B. Ola, “A Comparative Evaluation of Specification Techniques for Electronic Commerce Systems”, Master’s Thesis, University of Manitoba, Department of Computer Science, Winnipeg, Manitoba, Canada, September 2002.
S. A. Ehikioya, and B. Ola, “A Comparative Study of Specification Methods for Electronic Commerce Systems”, The 3rd ACS/IEEE International Conference on Computer Systems and Applications, 2005, Page(s):108
S. A. Ehikioya and B. Ola, “A Comparison of Formalisms for Electronic Commerce Systems”, Alternative Approaches in Software Engineering; A special session at IEEE International Conference on Computational Cybernetics, Vienna, Austria, 2004, pp.253–258.
S. A. Ehikioya, B. Ola, and J. Akinyemi, “A Taxonomy of Specification Techniques for E-commerce Systems”, 3rd International Conference on Computer Science and its Applications (ICCSA-2005), San Diego, California, USA, 2005.
J. He, “A Formal Specification and Design of an Online Bazaar System”, Master’s Thesis, University of Manitoba, Department of Computer Science, Winnipeg, Manitoba, Canada, September 2002.
K. C. Laudon and C. G.. Traver. E-commerce. Addison Wesley, 2002.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
This is an open access article under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
About this article
Cite this article
Ehikioya, S.A. A Formal Model of Peer-to-Peer Digital Product Marketplace. Int J Netw Distrib Comput 6, 143–154 (2018). https://doi.org/10.2991/ijndc.2018.6.3.3
Published:
Issue Date:
DOI: https://doi.org/10.2991/ijndc.2018.6.3.3