Modeling and Verification of Temporal Constraints for Web Service Composition.
Maya Souilah BenabdelhafidHouda BoubakerMahmoud BoufaïdaPublished in: SEFM (2020)
Keyphrases
- temporal constraints
- web service composition
- temporal reasoning
- temporal aspects
- service composition
- web services
- temporal information
- temporal constraint networks
- simple temporal
- description language
- ai planning
- automated web service composition
- petri net
- web services composition
- discrete particle swarm optimization
- workflow systems
- service selection
- search algorithm
- model checking
- orders of magnitude
- constraint programming
- constraint satisfaction problems
- special case
- search space