Stepwise Development of Formal Models for Web Services Compositions: Modelling and Property Verification.
Idir Aït-SadouneYamine Aït AmeurPublished in: Trans. Large Scale Data Knowl. Centered Syst. (2013)
Keyphrases
- formal models
- web services
- formal model
- rule based systems
- web technologies
- software engineering
- business process
- development process
- rapid development
- service providers
- data mining
- process model
- quality of service
- knowledge based systems
- model checking
- service oriented
- knowledge management
- artificial intelligence
- genetic algorithm
- loosely coupled
- signature verification
- formal verification
- automatic discovery
- neural network