A Formal Model of Peer-to-Peer Digital Product Marketplace
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 method...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Springer
2018-07-01
|
| Series: | International Journal of Networked and Distributed Computing (IJNDC) |
| Subjects: | |
| Online Access: | https://www.atlantis-press.com/article/25905546/view |
| _version_ | 1828047054909210624 |
|---|---|
| author | Sylvanus A. Ehikioya |
| author_facet | Sylvanus A. Ehikioya |
| author_sort | Sylvanus A. Ehikioya |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T18:35:45Z |
| format | Article |
| id | doaj.art-bc795948dabc46d7954738d535e51fd1 |
| institution | Directory Open Access Journal |
| issn | 2211-7946 |
| language | English |
| last_indexed | 2024-04-10T18:35:45Z |
| publishDate | 2018-07-01 |
| publisher | Springer |
| record_format | Article |
| series | International Journal of Networked and Distributed Computing (IJNDC) |
| spelling | doaj.art-bc795948dabc46d7954738d535e51fd12023-02-02T01:41:45ZengSpringerInternational Journal of Networked and Distributed Computing (IJNDC)2211-79462018-07-016310.2991/ijndc.2018.6.3.3A Formal Model of Peer-to-Peer Digital Product MarketplaceSylvanus A. EhikioyaPeer-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.https://www.atlantis-press.com/article/25905546/viewElectronic commerceDigital productFormal modelObject-ZTransactionsUML |
| spellingShingle | Sylvanus A. Ehikioya A Formal Model of Peer-to-Peer Digital Product Marketplace International Journal of Networked and Distributed Computing (IJNDC) Electronic commerce Digital product Formal model Object-Z Transactions UML |
| title | A Formal Model of Peer-to-Peer Digital Product Marketplace |
| title_full | A Formal Model of Peer-to-Peer Digital Product Marketplace |
| title_fullStr | A Formal Model of Peer-to-Peer Digital Product Marketplace |
| title_full_unstemmed | A Formal Model of Peer-to-Peer Digital Product Marketplace |
| title_short | A Formal Model of Peer-to-Peer Digital Product Marketplace |
| title_sort | formal model of peer to peer digital product marketplace |
| topic | Electronic commerce Digital product Formal model Object-Z Transactions UML |
| url | https://www.atlantis-press.com/article/25905546/view |
| work_keys_str_mv | AT sylvanusaehikioya aformalmodelofpeertopeerdigitalproductmarketplace AT sylvanusaehikioya formalmodelofpeertopeerdigitalproductmarketplace |