Towards formal verification of Web service composition
Year of publication: |
2006
|
---|---|
Authors: | Rouached, Mohsen ; Perrin, Olivier ; Godart, Claude |
Published in: |
Business process management : 4th international conference, BPM 2006, Vienna, Austria, September 5 - 7, 2006 ; proceedings. - Berlin : Springer, ISBN 3-540-38901-6. - 2006, p. 257-273
|
Subject: | Digitale Dienste | Web-based service | Informationsmanagement | Information management |
-
Management technologies for E-Commerce and E-Business applications : proceedings
Feridun, Metin, (2002)
-
ASP-basiertes IT-Outsourcing in KMU unter besonderer Berücksichtigung von Finanzsoftware
Nolting, Roger, (2003)
-
Software-as-a-Service : Anbieterstrategien, Kundenbedürfnisse und Wertschöpfungsstrukturen
Benlian, Alexander, (2010)
- More ...
-
A contract layered architecture for regulating cross-organisational business processes
Rouached, Mohsen, (2005)
-
A semantical framework to engineering WSBPEL processes
Rouached, Mohsen, (2009)
-
A semantical framework to engineering WSBPEL processes
Rouached, Mohsen, (2009)
- More ...