International Journal of Networked and Distributed Computing

Volume 6, Issue 3, July 2018, Pages 143 - 154

A Formal Model of Peer-to-Peer Digital Product Marketplace

Authors
Sylvanus A. Ehikioya1, ehikioya@gmail.com
1Department of Computer Science, Baze University, Abuja, NIGERIA
Available Online 31 July 2018.
DOI
10.2991/ijndc.2018.6.3.3How to use a DOI?
Keywords
Electronic commerce; Digital product; Formal model; Object-Z; Transactions; UML
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 e-commerce. 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.

Copyright
© 2018, the Authors. Published by Atlantis Press.
Open Access
This is an open access article under the CC BY-NC license (http://creativecommons.org/licences/by-nc/4.0/).

Download article (PDF)
View full text (HTML)

Journal
International Journal of Networked and Distributed Computing
Volume-Issue
6 - 3
Pages
143 - 154
Publication Date
2018/07/31
ISSN (Online)
2211-7946
ISSN (Print)
2211-7938
DOI
10.2991/ijndc.2018.6.3.3How to use a DOI?
Copyright
© 2018, the Authors. Published by Atlantis Press.
Open Access
This is an open access article under the CC BY-NC license (http://creativecommons.org/licences/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Sylvanus A. Ehikioya
PY  - 2018
DA  - 2018/07/31
TI  - A Formal Model of Peer-to-Peer Digital Product Marketplace
JO  - International Journal of Networked and Distributed Computing
SP  - 143
EP  - 154
VL  - 6
IS  - 3
SN  - 2211-7946
UR  - https://doi.org/10.2991/ijndc.2018.6.3.3
DO  - 10.2991/ijndc.2018.6.3.3
ID  - Ehikioya2018
ER  -