Composition of Nondeterministic and Stochastic Services for LTLf Task Specifications.
Giuseppe De GiacomoMarco FavoritoLuciana SiloPublished in: CoRR (2023)
Keyphrases
- composite services
- web service composition
- web services
- service composition
- composition of web services
- web services composition
- context aware
- service providers
- service oriented
- information services
- high level
- service discovery
- monte carlo
- service oriented architecture
- finite state
- ubiquitous computing
- service quality
- description language
- functional requirements
- service description
- finite automata
- communication protocols
- petri net
- fully observable
- end users
- web service compositions