Web Services Feature Interaction Detection Based on Situation Calculus.
Jiuyun XuWengong YuKun ChenStephan Reiff-MarganiecPublished in: SERVICES (2010)
Keyphrases
- situation calculus
- web services
- event calculus
- action theories
- reasoning about actions
- fluent calculus
- initial state
- sensing actions
- provably correct
- logical language
- concurrent actions
- web service composition
- modal logic
- blocks world
- reasoning tasks
- agent programming
- service composition
- service oriented
- domain specific