Login / Signup

Using Linear Logic to Verify Requirement Scenarios in SOA Models based on Interorganizational WorkFlow Nets Relaxed Sound.

Kênia Santos de OliveiraVinícius Ferreira de OliveiraStéphane Julia
Published in: ICEIS (2) (2017)
Keyphrases
  • linear logic
  • business process
  • business processes
  • web services
  • process model
  • fixed point
  • dynamic programming
  • general purpose
  • machine learning
  • data model
  • service oriented architecture
  • proof theoretic