Applying Formal Methods to SOA and SaaS Service Compositions for ERP Systems.
Maya Souilah BenabdelhafidMahmoud BoufaïdaPublished in: Int. J. Web Serv. Res. (2020)
Keyphrases
- formal methods
- service compositions
- erp systems
- web services
- enterprise resource planning
- maturity model
- artificial intelligence
- business processes
- model checking
- formal specification
- knowledge based systems
- information systems
- service oriented architecture
- service oriented
- business process
- service providers
- software engineering
- modeling language
- reference architecture
- cloud computing
- service composition
- end users
- data management
- object oriented
- development lifecycle
- machine learning