A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services.
Raoudha MaraouiEric CariouBechir AyebPublished in: WETICE (2013)
Keyphrases
- formal verification
- model driven engineering
- composite web services
- service composition
- web services composition
- service selection
- model driven
- model checking
- web services
- service oriented
- automated verification
- web service composition
- model checker
- quality of service
- model driven architecture
- service discovery
- software engineering
- metamodel
- data driven
- database systems
- database
- response time
- multi agent systems
- data mining