Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems

Maya Souilah Benabdelhafid and Mahmoud Boufaida
Additional contact information
Maya Souilah Benabdelhafid: LIRE Laboratory, Constantine 2 Abdelhamid Mehri University, School of Accounting and Finances, Algeria
Mahmoud Boufaida: LIRE Laboratory, Constantine 2 Abdelhamid Mehri University, Algeria

International Journal of Web Services Research (IJWSR), 2020, vol. 17, issue 2, 1-17

Abstract: Service oriented architectures (SOA) and software as a service (SaaS) models are accelerating the use of the service concept. They have been rapidly adopted by enterprise resource planning (ERP) providers and offers to organizations modern environments favorable for making strategic decisions. However, as the SaaS concept is often confused with the SOA one, a solution is needed to clarify this problem before moving to the introduction of a framework that aggregates several services. Moreover, most of the services-based solutions rely on a particular composition and only a few are equipped with appropriate formal tools for automating the service verification. They focus on specific formal models and are based on particular properties. This article proposes a formal framework that reveals a set of general steps starting from defining the service composition before shifting to the use of the chosen formal methods so as to verify the ERP system properties.

Date: 2020
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 018/IJWSR.2020040101 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jwsr00:v:17:y:2020:i:2:p:1-17

Access Statistics for this article

International Journal of Web Services Research (IJWSR) is currently edited by Liang-Jie Zhang

More articles in International Journal of Web Services Research (IJWSR) from IGI Global
Bibliographic data for series maintained by Journal Editor ().