Formal Approaches for Synthesis of Web Service Business Protocols.

Lhouari Nourine Farouk Toumani

Published in: WS-FM (2012)

Keyphrases

web services
real world
business processes
database
website
electronic commerce
formal model
business applications
business rules
return on investment
program synthesis