Using Linear Logic to Verify Requirement Scenarios in Composite Web Service.
Kênia Santos de OliveiraStéphane JuliaPublished in: SBMF (2017)
Keyphrases
- linear logic
- fixed point
- composite web services
- proof theoretic
- logic programming
- cut elimination
- sequent calculus
- intuitionistic logic
- desirable properties
- web service composition
- service selection
- logical framework
- web services composition
- service composition
- web services
- inference rules
- knowledge representation
- service oriented
- logic programs
- software engineering