{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T18:49:51Z","timestamp":1743101391265,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642024238"},{"type":"electronic","value":"9783642024245"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02424-5_16","type":"book-chapter","created":{"date-parts":[[2009,6,17]],"date-time":"2009-06-17T10:40:41Z","timestamp":1245235241000},"page":"263-282","source":"Crossref","is-referenced-by-count":4,"title":["Monotonicity in Service Orchestrations"],"prefix":"10.1007","author":[{"given":"Anne","family":"Bouillard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney","family":"Rosario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Albert","family":"Benveniste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Haar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"publisher","first-page":"1183","DOI":"10.2307\/2171961","volume":"64","author":"G. Anderson","year":"1996","unstructured":"Anderson, G.: Nonparametric tests of stochastic dominance in income distributions. Econometrica\u00a064(5), 1183\u20131193 (1996)","journal-title":"Econometrica"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Arias-Fisteus, J., Fern\u00e1ndez, L.S., Kloos, C.D.: Applying model checking to BPEL4WS business collaborations. In: SAC, pp. 826\u2013830 (2005)","DOI":"10.1145\/1066677.1066866"},{"key":"16_CR3","unstructured":"OASIS WSBPEL\u00a0Technical Committee. Web Services Business Process Execution Language Version 2.0. OASIS Standard (April 2007)"},{"key":"16_CR4","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"D. Kartson","year":"1994","unstructured":"Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, Inc., NY (1994)"},{"key":"16_CR5","unstructured":"Keller, A., Ludwig, H.: The wsla framework: Specifying and monitoring service level agreements for web services. J. Network Syst. Manage.\u00a011(1) (2003)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"477","DOI":"10.1007\/11817949_32","volume-title":"CONCUR 2006 \u2013 Concurrency Theory","author":"D. Kitchin","year":"2006","unstructured":"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.\u00a04137, pp. 477\u2013491. Springer, Heidelberg (2006)"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Misra, J., Cook, W.R.: Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling (May 2006), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/s10270-006-0012-1","DOI":"10.1007\/s10270-006-0012-1"},{"issue":"4","key":"16_CR8","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"issue":"2-3","key":"16_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"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.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and soft contracts for transaction based web services. In: ICWS, pp. 126\u2013133 (2007)","DOI":"10.1109\/ICWS.2007.144"},{"issue":"4","key":"16_CR11","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1109\/TSC.2008.17","volume":"1","author":"S. Rosario","year":"2008","unstructured":"Rosario, S., Benveniste, A., Haar, S., Jard, C.: Probabilistic QoS and Soft Contracts for Transaction based Web Services. IEEE Transactions on Services Computing\u00a01(4), 187\u2013200 (2008)","journal-title":"IEEE Transactions on Services Computing"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-540-79230-7_11","volume-title":"Web Services and Formal Methods","author":"S. Rosario","year":"2008","unstructured":"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.\u00a04937, pp. 154\u2013168. Springer, Heidelberg (2008)"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"5","key":"16_CR14","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L. Zeng","year":"2004","unstructured":"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.\u00a030(5), 311\u2013327 (2004)","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02424-5_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:00:17Z","timestamp":1558267217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02424-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642024238","9783642024245"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02424-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}