Abstract
To support automated service composition, adaptation and verification, there should be a formal model for web service behavior description. For the sake of accurately representing web service behavior, inspired by workflow nets and consume-produce-read nets, we propose a novel formal model for web service behavior description, which can not only describe the control flow, but also the data flow as well as the communication flow of the web service accurately. The model regards tokens, data and messages as control resources, data resources and communication resources and adopts completely different store-and-fetch strategies for each kind of resources respectively.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
