Composition of Nondeterministic Services for LTLf Task Specification.
Giuseppe De GiacomoMarco FavoritoLuciana SiloPublished in: OVERLAY@AI*IA (2023)
Keyphrases
- web service composition
- service composition
- web services
- composite services
- service discovery
- bpel ws
- service providers
- web services composition
- high level
- composition of web services
- context aware
- service oriented
- ubiquitous computing
- finite state
- web service compositions
- transactional properties
- artificial intelligence
- information services
- formal specification
- agent technology
- composite web services
- communication protocols
- service description
- location aware
- mobile services
- semantic web services
- neural network
- finite automata
- service management
- web technologies
- service oriented architecture
- user centric
- information systems
- social networks