Monotonicity in service orchestrations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5606 LNCS, Issue , 2009, Pages 263-282

  Bouillard, Anne ^a   Rosario, Sidney ^a   Benveniste, Albert ^a   Haar, Stefan ^b  

^a CAMPUS DE BEAULIEU   (France)

^b INRIA SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLEX INTERACTION; MONOTONICITY; NEW SERVICES; NON-MONOTONICITY; OCCURRENCE NET; PROBABILISTIC GUARANTEES; QOS MANAGEMENT; SERVICE ORCHESTRATION; WEB SERVICE ORCHESTRATION;

CHEMICAL ANALYSIS; GRAPH THEORY; QUALITY OF SERVICE; WEB SERVICES;

PETRI NETS;

EID: 70350306738     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02424-5_16     Document Type: Conference Paper

References (14)

1. Anderson, G.: Nonparametric tests of stochastic dominance in income distributions. Econometrica 64(5), 1183-1193 (1996)
2. Arias-Fisteus, J., Fernández, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: SAC., pp. 826-830 (2005)
3. OASIS WSBPEL Technical Committee. Web Services Business Process Execution Language Version 2.0. OASIS Standard (April 2007)
4. Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Inc., NY (1994)
5. Keller, A., Ludwig, H.: The wsla framework: Specifying and monitoring service level agreements for web services. J. Network Syst. Manage. 11(1) (2003)
6. Kitchin, D., Cook, W.R., Misra, J.: A language for task orchestration and its semantic properties. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 477-491. Springer, Heidelberg (2006)
7. Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006), http://dx.doi.org/10.1007/sl0270-006-0012-l
8. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4), 541-580 (1989)
9. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in ws-bpel. Sci. Comput. Program. 67(2-3), 162-198 (2007)
10. Rosario, S., Benveniste, A., Haar, S., Jard, C: Probabilistic QoS and soft contracts for transaction based web services. In: ICWS, pp. 126-133 (2007)
11. Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and Soft Contracts for Transaction based Web Services. IEEE Transactions on Services Computing 1(4), 187-200 (2008)
12. Rosario, S., Kitchin, D., Benveniste, A., Cook, W.R., Haar, S., Jard, C.: Event structure semantics of orc. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 154-168. Springer, Heidelberg (2008)
13. van der Aalst, W.M.P.: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
14. Zeng, L., Benatallah, B., Ngu, A.H.H., Dumas, M., Kalagnanam, J., Chang, H.: QoS-Aware Middleware for Web Services Composition. IEEE Trans. Software Eng. 30(5), 311-327 (2004)