{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:41:32Z","timestamp":1761648092193},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T00:00:00Z","timestamp":1374624000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2014,2]]},"DOI":"10.1007\/s10703-013-0191-7","type":"journal-article","created":{"date-parts":[[2013,7,23]],"date-time":"2013-07-23T06:04:11Z","timestamp":1374559451000},"page":"1-43","source":"Crossref","is-referenced-by-count":6,"title":["QoS-aware management of monotonic service orchestrations"],"prefix":"10.1007","volume":"44","author":[{"given":"Albert","family":"Benveniste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Jard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ajay","family":"Kattepur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sidney","family":"Rosario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John A.","family":"Thywissen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,24]]},"reference":[{"key":"191_CR1","first-page":"407","volume-title":"ICATPN","author":"WMP Aalst van der","year":"1997","unstructured":"van der Aalst WMP (1997) Verification of workflow nets. In: ICATPN, pp\u00a0407\u2013426"},{"issue":"1","key":"191_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circuits Syst Comput 8(1):21\u201366. citeseer.ist.psu.edu\/vanderaalst98application.html","journal-title":"J Circuits Syst Comput"},{"key":"191_CR3","volume-title":"Workflow management: models, methods, and systems","author":"WMP Aalst van der","year":"2002","unstructured":"van der Aalst WMP, van Hee KM (2002) Workflow management: models, methods, and systems. MIT Press, Cambridge"},{"issue":"1","key":"191_CR4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"WMP Aalst van der","year":"2003","unstructured":"van der Aalst WMP, ter Hofstede AHM, Kiepuszewski B, Barros AP (2003) Workflow patterns. Distrib Parallel Databases 14(1):5\u201351. doi: 10.1023\/A:1022883727209","journal-title":"Distrib Parallel Databases"},{"key":"191_CR5","first-page":"179","volume-title":"ServiceWave","author":"M Abundo","year":"2011","unstructured":"Abundo M, Cardellini V, Presti FL (2011) Optimal admission control for a QoS-aware service-oriented system. In: ServiceWave, pp\u00a0179\u2013190"},{"key":"191_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526503","volume-title":"Stochastic control of partially observable systems","author":"A Bensoussan","year":"1992","unstructured":"Bensoussan A (1992) Stochastic control of partially observable systems. Cambridge University Press, Cambridge"},{"key":"191_CR7","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1145\/1526709.1526828","volume-title":"WWW","author":"M Alrifai","year":"2009","unstructured":"Alrifai M, Risse T (2009) Combining global optimization with local selection for efficient QoS-aware service composition. In: WWW, pp\u00a0881\u2013890"},{"key":"191_CR8","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1007\/978-3-540-89897-9_26","volume-title":"ServiceWave","author":"D Ardagna","year":"2008","unstructured":"Ardagna D, Ghezzi C, Mirandola R (2008) Model driven QoS analyses of composed web services. In: M\u00e4h\u00f6nen P, Pohl K, Priol T (eds) ServiceWave. Lecture notes in computer science, vol\u00a05377. Springer, Berlin, pp\u00a0299\u2013311"},{"key":"191_CR9","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"1273","DOI":"10.1007\/11914952_16","volume-title":"OTM conferences","author":"D Ardagna","year":"2006","unstructured":"Ardagna D, Giunta G, Ingraffia N, Mirandola R, Pernici B (2006) QoS-driven web services selection in autonomic grid environments. In: Meersman R, Tari Z (eds) OTM conferences. Lecture notes in computer science, vol\u00a04276. Springer, Berlin, pp\u00a01273\u20131289"},{"key":"191_CR10","first-page":"32","volume-title":"Business process management workshops","author":"D Ardagna","year":"2005","unstructured":"Ardagna D, Pernici B (2005) Global and local QoS guarantee in web service selection. In: Bussler C, Haller A (eds) Business process management workshops, vol\u00a03812, pp\u00a032\u201346"},{"issue":"1","key":"191_CR11","doi-asserted-by":"crossref","first-page":"5:1","DOI":"10.1145\/1838552.1838557","volume":"12","author":"S Bistarelli","year":"2010","unstructured":"Bistarelli S, Montanari U, Rossi F, Santini F (2010) Unicast and multicast QoS routing with soft-constraint logic programming. ACM Trans Comput Log 12(1):5:1\u20135:48","journal-title":"ACM Trans Comput Log"},{"key":"191_CR12","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.entcs.2009.03.020","volume":"236","author":"S Bistarelli","year":"2009","unstructured":"Bistarelli S, Santini F (2009) A\u00a0nonmonotonic soft concurrent constraint language for SLA negotiation. Electron Notes Theor Comput Sci 236:147\u2013162","journal-title":"Electron Notes Theor Comput Sci"},{"key":"191_CR13","first-page":"51","volume-title":"Young researchers workshop on service-oriented computing","author":"S Bistarelli","year":"2009","unstructured":"Bistarelli S, Santini F (2009) Soft constraints for quality aspects in service oriented architectures. In: Young researchers workshop on service-oriented computing, pp\u00a051\u201365"},{"key":"191_CR14","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/978-3-642-02424-5_16","volume-title":"Petri nets","author":"A Bouillard","year":"2009","unstructured":"Bouillard A, Rosario S, Benveniste A, Haar S (2009) Monotonicity in service orchestrations. In: Franceschinis G, Wolf K (eds) Petri nets. Lecture notes in computer science, vol\u00a05606. Springer, Berlin, pp\u00a0263\u2013282"},{"key":"191_CR15","first-page":"18","volume-title":"Proceedings of the 16th European conference on programming, ESOP\u201907","author":"MG Buscemi","year":"2007","unstructured":"Buscemi MG, Montanari U (2007) CC-Pi: a constraint-based language for specifying service level agreements. In: Proceedings of the 16th European conference on programming, ESOP\u201907. Springer, Berlin, pp\u00a018\u201332. http:\/\/dl.acm.org\/citation.cfm?id=1762174.1762179"},{"issue":"1","key":"191_CR16","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1016\/j.jlap.2010.04.001","volume":"80","author":"MG Buscemi","year":"2011","unstructured":"Buscemi MG, Montanari U (2011) QoS negotiation in service composition. J\u00a0Log Algebr Program 80(1):13\u201324","journal-title":"J\u00a0Log Algebr Program"},{"issue":"3","key":"191_CR17","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1109\/TSE.2010.92","volume":"37","author":"R Calinescu","year":"2011","unstructured":"Calinescu R, Grunske L, Kwiatkowska M, Mirandola R, Tamburrelli G (2011) Dynamic QoS management and optimization in service-based systems. IEEE Trans Softw Eng 37(3):387\u2013409","journal-title":"IEEE Trans Softw Eng"},{"key":"191_CR18","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/978-3-642-17358-5_26","volume-title":"ICSOC 2010","author":"V Cardellini","year":"2010","unstructured":"Cardellini V, Casalicchio E, Grassi V, Presti FL (2010) Adaptive management of composite services under percentile-based service level agreements. In: ICSOC 2010. Lecture notes in computer science, vol\u00a06470, pp\u00a0381\u2013395"},{"key":"191_CR19","first-page":"303","volume-title":"ICEIMT, IFIP conference proceedings","author":"J Cardoso","year":"2002","unstructured":"Cardoso J, Sheth AP, Miller JA (2002) Workflow quality of service. In: Kosanke K, Jochem R, Nell JG, Bas AO (eds) ICEIMT, IFIP conference proceedings, vol\u00a0236. Kluwer, Dordrecht, pp\u00a0303\u2013311"},{"issue":"3","key":"191_CR20","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/j.websem.2004.03.001","volume":"1","author":"J Cardoso","year":"2004","unstructured":"Cardoso J, Sheth AP, Miller JA, Arnold J, Kochut K (2004) Quality of service for workflows and web service processes. J Web Semant 1(3):281\u2013308","journal-title":"J Web Semant"},{"key":"191_CR21","first-page":"82","volume-title":"Coordination","author":"WR Cook","year":"2006","unstructured":"Cook WR, Patwardhan S, Misra J (2006) Workflow patterns in Orc. In: Coordination, pp\u00a082\u201396"},{"issue":"3","key":"191_CR22","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza J, R\u00f6mer S, Vogler W (2002) An improvement of McMillan\u2019s unfolding algorithm. Form Methods Syst Des 20(3):285\u2013310","journal-title":"Form Methods Syst Des"},{"key":"191_CR23","series-title":"Wiley series in probability and mathematical statistics","volume-title":"Synchronization and linearity","author":"F Baccelli","year":"1992","unstructured":"Baccelli F, Cohen G, Olsder GJ, Quadrat J-P (1992) Synchronization and linearity. Wiley series in probability and mathematical statistics. Wiley, New York"},{"key":"191_CR24","first-page":"596","volume-title":"ER","author":"SY Hwang","year":"2004","unstructured":"Hwang SY, Wang H, Srivastava J, Paul RA (2004) A\u00a0probabilistic QoS model and computation framework for web services-based workflows. In: ER, pp\u00a0596\u2013609"},{"issue":"23","key":"191_CR25","doi-asserted-by":"crossref","first-page":"5484","DOI":"10.1016\/j.ins.2007.07.011","volume":"177","author":"SY Hwang","year":"2007","unstructured":"Hwang SY, Wang H, Tang J, Srivastava J (2007) A\u00a0probabilistic approach to modeling and estimating the QoS of web-services-based workflows. Inf Sci 177(23):5484\u20135503","journal-title":"Inf Sci"},{"key":"191_CR26","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1007\/978-3-642-25535-9_41","volume-title":"ICSOC","author":"A Kattepur","year":"2011","unstructured":"Kattepur A (2011) Importance sampling of probabilistic contracts in web services. In: Kappel G, Maamar Z, Motahari-Nezhad HR (eds) ICSOC. Lecture notes in computer science, vol\u00a07084. Springer, Berlin, pp\u00a0557\u2013565"},{"key":"191_CR27","doi-asserted-by":"crossref","unstructured":"Keller A, Ludwig H (2003) The WSLA framework: specifying and monitoring service level agreements for web services. J Netw Syst Manag 11(1)","DOI":"10.1023\/A:1022445108617"},{"key":"191_CR28","volume-title":"ECOOP","author":"G Kiczales","year":"1997","unstructured":"Kiczales G, Lamping J, Mendhekar A, Maeda C, Lopes C, Loingtier MJ, Irwin J (1997) Aspect-oriented programming. In: ECOOP. Springer, Berlin"},{"key":"191_CR29","volume-title":"Aspect-oriented programming with AspectJ","author":"I Kiselev","year":"2002","unstructured":"Kiselev I (2002) Aspect-oriented programming with AspectJ. Sams, Indianapolis"},{"key":"191_CR30","volume-title":"Proceedings of the international conference on concurrency theory (CONCUR)","author":"D Kitchin","year":"2006","unstructured":"Kitchin D, Cook WR, Misra J (2006) A language for task orchestration and its semantic properties. In: Proceedings of the international conference on concurrency theory (CONCUR)"},{"issue":"7","key":"191_CR31","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1109\/32.29483","volume":"15","author":"MA Marsan","year":"1989","unstructured":"Marsan MA, Balbo G, Bobbio A, Chiola G, Conte G, Cumani A (1989) The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Trans Softw Eng 15(7):832\u2013846","journal-title":"IEEE Trans Softw Eng"},{"key":"191_CR32","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1383559.1383562","volume-title":"WOSP","author":"DA Menasc\u00e9","year":"2008","unstructured":"Menasc\u00e9 DA, Casalicchio E, Dubey VK (2008) A\u00a0heuristic approach to optimal service selection in service oriented architectures. In: Avritzer A, Weyuker EJ, Woodside CM (eds) WOSP. ACM, New York, pp\u00a013\u201324"},{"key":"191_CR33","author":"J Misra","year":"2006","unstructured":"Misra J, Cook WR (2006) Computation orchestration: a basis for wide-area computing. Softw Syst Model. doi: 10.1007\/s10270-006-0012-1","journal-title":"Softw Syst Model"},{"key":"191_CR34","volume-title":"Stochastic orders and their applications","author":"M Shaked","year":"1994","unstructured":"Shaked M, Shanthikumar JG (1994) Stochastic orders and their applications. Academic Press, New York"},{"key":"191_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-34675-5","volume-title":"Stochastic orders","author":"M Shaked","year":"2007","unstructured":"Shaked M, Shanthikumar JG (2007) Stochastic orders. Springer, Berlin"},{"key":"191_CR36","first-page":"541","volume-title":"Proceedings of the IEEE","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. In: Proceedings of the IEEE, vol\u00a077, pp\u00a0541\u2013580"},{"key":"191_CR37","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/11417019_3","volume-title":"Coordination models and languages","author":"R Nicola","year":"2005","unstructured":"Nicola R, Ferrari G, Montanari U, Pugliese R, Tuosto E (2005) A\u00a0process calculus for QoS-aware applications. In: Jacquet JM, Picco GP (eds) Coordination models and languages. Lecture notes in computer science, vol 3454. Springer, Berlin, pp\u00a033\u201348. doi: 10.1007\/11417019_3"},{"key":"191_CR38","unstructured":"OASIS (2007) Web services business process execution language version 2.0. http:\/\/docs.oasisopen.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"191_CR39","first-page":"126","volume-title":"ICWS","author":"S Rosario","year":"2007","unstructured":"Rosario S, Benveniste A, Haar S, Jard C (2007) Probabilistic QoS and soft contracts for transaction based web services. In: ICWS. IEEE Computer Society, Los Alamitos, pp\u00a0126\u2013133"},{"key":"191_CR40","doi-asserted-by":"crossref","unstructured":"Rosario S, Benveniste A, Haar S, Jard C (2008) Probabilistic QoS and soft contracts for transaction based web services orchestrations. IEEE Trans Service Comput 1(4)","DOI":"10.1109\/TSC.2008.17"},{"key":"191_CR41","unstructured":"Rosario S, Benveniste, A, Jard, C (2009) A theory of QoS for web service orchestrations. Research report RR-6951, INRIA. Available from http:\/\/hal.inria.fr\/inria-00391592\/PDF\/RR-6951.pdf"},{"key":"191_CR42","first-page":"107","volume-title":"ICWS","author":"S Rosario","year":"2009","unstructured":"Rosario S, Benveniste A, Jard C (2009) Flexible probabilistic QoS management of transaction based web services orchestrations. In: ICWS. IEEE, New York, pp\u00a0107\u2013114"},{"key":"191_CR43","series-title":"Lecture notes in computer science","first-page":"154","volume-title":"WS-FM","author":"S Rosario","year":"2007","unstructured":"Rosario S, Kitchin D, Benveniste A, Cook WR, Haar S, Jard C (2007) Event structure semantics of orc. In: Dumas M, Heckel R (eds) WS-FM. Lecture notes in computer science, vol.\u00a04937. Springer, Berlin, pp\u00a0154\u2013168"},{"key":"191_CR44","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-540-74974-5_9","volume-title":"ICSOC","author":"N Sato","year":"2007","unstructured":"Sato N, Trivedi KS (2007) Stochastic modeling of composite web services for closed-form analysis of their performance and reliability bottlenecks. In: Kr\u00e4mer BJ, Lin KJ, Narasimhan P (eds) ICSOC. Lecture notes in computer science, vol\u00a04749. Springer, Berlin, pp\u00a0107\u2013118"},{"key":"191_CR45","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1007\/BFb0015027","volume-title":"CONCUR","author":"R Segala","year":"1994","unstructured":"Segala R, Lynch NA (1994) Probabilistic simulations for probabilistic processes. In: Jonsson B, Parrow\u00a0J (eds) CONCUR. Lecture notes in computer science, vol\u00a0836. Springer, Berlin, pp\u00a0481\u2013496"},{"issue":"6","key":"191_CR46","doi-asserted-by":"crossref","first-page":"899","DOI":"10.1214\/aop\/1176995659","volume":"5","author":"T Kamae","year":"1977","unstructured":"Kamae T, Krengel U, O\u2019Brien GL (1977) Stochastic inequalities on partially ordered spaces. Ann Probab 5(6):899\u2013912","journal-title":"Ann Probab"},{"issue":"2","key":"191_CR47","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0377-2217(90)90057-I","volume":"48","author":"TL Saaty","year":"1990","unstructured":"Saaty TL (1990) How to make a decision: the analytic hierarchy process. Eur J Oper Res 48(2):9\u201326","journal-title":"Eur J Oper Res"},{"key":"191_CR48","doi-asserted-by":"crossref","unstructured":"Yu Q, Bouguettaya A (2008) Framework for web service query algebra and optimization. ACM Trans Web 2(1)","DOI":"10.1145\/1326561.1326567"},{"key":"191_CR49","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/11596141_11","volume-title":"ICSOC","author":"T Yu","year":"2005","unstructured":"Yu T, Lin KJ (2005) Service selection algorithms for composing complex services with multiple QoS constraints. In: Benatallah B, Casati F, Traverso P (eds) ICSOC. Lecture notes in computer science, vol\u00a03826. Springer, Berlin, pp\u00a0130\u2013143"},{"key":"191_CR50","first-page":"411","volume-title":"WWW","author":"L Zeng","year":"2003","unstructured":"Zeng L, Benatallah B, Dumas M, Kalagnanam J, Sheng QZ (2003) Quality driven web services composition. In: WWW, pp\u00a0411\u2013421"},{"issue":"5","key":"191_CR51","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1109\/TSE.2004.11","volume":"30","author":"L Zeng","year":"2004","unstructured":"Zeng L, Benatallah B, Ngu AHH, Dumas M, Kalagnanam J, Chang H (2004) QoS-aware middleware for web services composition. IEEE Trans Softw Eng 30(5):311\u2013327","journal-title":"IEEE Trans Softw Eng"},{"issue":"1\u20133","key":"191_CR52","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/s10619-008-7030-7","volume":"24","author":"L Zeng","year":"2008","unstructured":"Zeng L, Ngu AHH, Benatallah B, Podorozhny RM, Lei H (2008) Dynamic composition and optimization of web services. Distrib Parallel Databases 24(1\u20133):45\u201372","journal-title":"Distrib Parallel Databases"},{"key":"191_CR53","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-642-25535-9_4","volume-title":"Service-oriented computing, Lecture notes in computer science","author":"H Zheng","year":"2011","unstructured":"Zheng H, Yang J, Zhao W, Bouguettaya A (2011) QoS analysis for web service compositions based on probabilistic QoS. In: Kappel G, Maamar Z, Motahari-Nezhad H (eds) Service-oriented computing, Lecture notes in computer science, vol\u00a07084. Springer, Berlin, pp\u00a047\u201361"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0191-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-013-0191-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-013-0191-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,19]],"date-time":"2019-07-19T04:04:15Z","timestamp":1563509055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-013-0191-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,24]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["191"],"URL":"https:\/\/doi.org\/10.1007\/s10703-013-0191-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,24]]}}}