Formal specification of flexible web service composition.
Yasser OussalahNadia ZeghibPublished in: Int. J. Crit. Comput. Based Syst. (2015)
Keyphrases
- formal specification
- web service composition
- service composition
- process algebra
- web services composition
- web services
- model checking
- object oriented design
- specification languages
- petri net
- specification language
- discrete particle swarm optimization
- service selection
- automated web service composition
- ai planning
- description language
- software components
- formal methods
- concurrent systems
- composition of web services
- reverse engineering
- web service selection
- artificial intelligence
- service oriented
- open source
- object oriented
- information systems