Formal semantics and expressiveness of a web service composition language.
Marcelo Guerra HahnRegina MotzAlberto PardoMartin A. MusicantePublished in: SAC (2013)
Keyphrases
- formal semantics
- web service composition
- logical language
- formal language
- operational semantics
- service composition
- modeling language
- modelling language
- web services
- petri net
- speech acts
- ai planning
- first order logic
- discrete particle swarm optimization
- expressive power
- automated web service composition
- web services composition
- description languages
- description language
- service selection
- service oriented
- web service selection
- logical reasoning
- web service compositions
- model theoretic
- database
- open source