Author of the publication

Verifying Composite Service Transactional Behavior Using Event Calculus.

, , , and . OTM Conferences (1), volume 4803 of Lecture Notes in Computer Science, page 353-370. Springer, (2007)

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

About Some Relationships Between Configuration Management, Software Process and Cooperative Work: The COO Environment., , , and . SCM, volume 1005 of Lecture Notes in Computer Science, page 173-178. Springer, (1995)A Design-Time Semi-Automatic Approach for Obfuscating a Business Process Model in a Trusted Multi-Cloud Deployment: A Design-Time Approach for BP Obfuscation., , , , and . Int. J. Web Serv. Res., 15 (4): 61-81 (2018)Dynamic Decentralized Service Orchestrations., and . WEBIST (1), page 36-45. INSTICC Press, (2007)Supporting Complex Collaborative Learning Activities - The Libresource Approach., , , , and . ICEIS (4), page 59-65. (2006)Securing Web Service Compositions: Formalizing Authorization Policies Using Event Calculus., and . ICSOC, volume 4294 of Lecture Notes in Computer Science, page 440-446. Springer, (2006)Stepwise Specification of Interactive Processes in COO., and . EWSPT, volume 913 of Lecture Notes in Computer Science, page 220-239. Springer, (1995)An Event-Based Model for Web Services Coordination., and . WEBIST (1), page 81-88. INSTICC Press, (2006)Tuamotu: Une infrastructure distribuée pour le support des entreprise-projets, , , and . NOTERE'98, Montréal, Canada, page 103-118. Montréal, CRIM, (1998)An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities, , and . SEKE97 The Ninth International Conference on Software Engineering and Knowledge Engineering, Madrid, (June 1997)Les services procédés, une solution pour l'interconnexion des procédés d'entreprises., , and . Ingénierie des Systèmes d Inf., 6 (3): 145-181 (2001)