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

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)

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  -