Author of the publication

A Formal Approach for the Validation of Web Service Orchestrations.

, , and . Int. J. Web Portals, 5 (1): 41-54 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Controlling Elasticity Dependencies for Multi-tenant Business Process., , and . ICEBE, page 251-256. IEEE Computer Society, (2015)Towards a Multi-tenancy Aware Cloud Service Composition., , and . AINA Workshops, page 404-409. IEEE Computer Society, (2014)Elastic Multi-Tenant Business Process Based on Temporal Constraints., , and . WETICE, page 42-47. IEEE Computer Society, (2018)Position Paper: Multi-tenants Context-aware Service Composition in Cloud Computing., , and . CLOSER, page 386-389. SciTePress, (2013)A Formal Approach for the Validation of Web Service Orchestrations., , and . Int. J. Web Portals, 5 (1): 41-54 (2013)MW4BPM: A middleware for blockchain-based business process monitoring., , and . TACC, volume 3642 of CEUR Workshop Proceedings, page 170-181. CEUR-WS.org, (2023)A Formal Approach for the Validation of Web Service Orchestrations., , and . WETICE, page 42-47. IEEE Computer Society, (2012)Dynamic Provisioning of Service Composition in a Multi-Tenant SaaS Environment., , and . J. Netw. Syst. Manag., 28 (2): 367-397 (2020)BpelVT: A Tool for Formal Validation of Web Service Orchestrations., , and . WETICE, page 426-428. IEEE Computer Society, (2012)Elastic Multi-tenant Business Process Based Service Pattern in Cloud Computing., , and . CloudCom, page 154-161. IEEE Computer Society, (2014)