{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T15:18:53Z","timestamp":1683818333912},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,11,18]],"date-time":"2010-11-18T00:00:00Z","timestamp":1290038400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1007\/s11227-010-0492-1","type":"journal-article","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T10:00:12Z","timestamp":1289988012000},"page":"24-45","source":"Crossref","is-referenced-by-count":3,"title":["Rule-based validation of SLA choreographies"],"prefix":"10.1007","volume":"63","author":[{"given":"Irfan","family":"Ul\u00a0Haq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Paschke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erich","family":"Schikuta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harold","family":"Boley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,11,18]]},"reference":[{"key":"492_CR1","volume-title":"Lecture notes in computer science","author":"A Ludwig","year":"2008","unstructured":"Ludwig A (2008) COSMA\u2014an approach for managing SLAs in composite services. In: Lecture notes in computer science. Springer, Berlin-Heidelberg"},{"key":"492_CR2","doi-asserted-by":"crossref","first-page":"599","DOI":"10.1016\/j.future.2008.12.001","volume":"25","author":"R Buyyaa","year":"2010","unstructured":"Buyyaa R, Yeo CS, Venugopal S, Broberg J, Brandic I (2010) Cloud computing and emerging IT platforms: vision, hype, and reality for delivering computing as the 5th utility. Future Gener Comput Syst 25:599\u2013616","journal-title":"Future Gener Comput Syst"},{"key":"492_CR3","doi-asserted-by":"crossref","unstructured":"Blake MB, Cunnings DJ (2007) Workflow composition of service level agreements. In: International conference on services computing (SCC2007)","DOI":"10.1109\/SCC.2007.136"},{"key":"492_CR4","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.datak.2004.03.008","volume":"51","author":"KA Schulz","year":"2004","unstructured":"Schulz KA, Orlowska ME (2004) Facilitating cross-organisational workflows with a workflow view approache. Data Knowl Eng 51:109\u2013147","journal-title":"Data Knowl Eng"},{"key":"492_CR5","unstructured":"SLA@SOI (2009) http:\/\/www.sla-at-soi.org\/index.html (12 March 2009)"},{"key":"492_CR6","unstructured":"NESSI-Grid (2009) http:\/\/www.soi-nwg.org\/doku.php?id=sra:description . Accessed: 12 March 2009"},{"key":"492_CR7","first-page":"176","volume-title":"Lecture notes in computer science","author":"IU Haq","year":"2009","unstructured":"Haq IU, Huqqani AA, Schikuta E (2009) Aggregating hierarchical service level agreements in business value networks. In: Lecture notes in computer science, vol\u00a05701\/2009. Springer, Berlin-Heidelberg, pp 176\u2013192"},{"key":"492_CR8","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/j.datak.2005.03.008","volume":"56","author":"I Chebbi","year":"2006","unstructured":"Chebbi I, Dustdar S, Tata S (2006) The view based approach to dynamic inter-organizational workflow cooperation. Data Knowl Eng 56:139\u2013173","journal-title":"Data Knowl Eng"},{"key":"492_CR9","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1016\/S0306-4379(02)00028-5","volume":"28","author":"DR Liu","year":"2002","unstructured":"Liu DR, Shen M (2002) Workflow modeling for virtual processes: an order-preserving process-view approach. Inf Syst 28:505\u2013532","journal-title":"Inf Syst"},{"key":"492_CR10","unstructured":"Haq IU, Huqqani AA, Schikuta E (2009) A conceptual model for aggregation and validation of SLAs in business value networks. In: The 3rd international conference on adaptive business information systems, Leipzig, Germany"},{"key":"492_CR11","doi-asserted-by":"crossref","unstructured":"Paschke A, Boley H, Kozlenkov A, Craig B (2007) Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web. In: Proceedings of the 2nd international conference on pragmatic web. Tilburg, The Netherlands","DOI":"10.1145\/1324237.1324240"},{"key":"492_CR12","unstructured":"Paschke A, Bichler M (2006) Knowledge representation concepts for automated SLA management. Int J Decis Support Syst (DSS) (March)"},{"key":"492_CR13","doi-asserted-by":"crossref","unstructured":"Paschke A, Harold B, Kozlenkov A, Craig B (2007) Rule responder: a RuleML-based pragmatic agent web for collaborative teams and virtual organizations. http:\/\/ibis.in.tum.de\/projects\/paw\/","DOI":"10.1145\/1324237.1324240"},{"key":"492_CR14","volume-title":"Rule-based service level agreements\u2014knowledge representation for automated e-contract, SLA and policy management","author":"A Paschke","year":"2007","unstructured":"Paschke A (2007) Rule-based service level agreements\u2014knowledge representation for automated e-contract, SLA and policy management. Idea Verlag GmbH, Munich"},{"key":"492_CR15","doi-asserted-by":"crossref","unstructured":"Boley H (2006) The Rule-ML family of web rule languages. In: 4th Int. workshop on principles and practice of semantic web reasoning, Budva, Montenegro","DOI":"10.1007\/11853107_1"},{"key":"492_CR16","unstructured":"Mule (2006) Mule Enterprise Service Bus http:\/\/mule.codehaus.org\/display\/MULE\/Home"},{"key":"492_CR17","doi-asserted-by":"crossref","unstructured":"Ball M, Boley H, Hirtle D, Mei J, Spencer B (2005) The OO jDrew reference implementation of RuleML. In: RuleML, Galway","DOI":"10.1007\/11580072_20"},{"key":"492_CR18","unstructured":"Roo JD (2010) Open Source Project: Euler Proof Mechanism. Available at http:\/\/www.agfa.com\/w3c\/euler\/ , last accessed: Nov 15, 2010"},{"key":"492_CR19","unstructured":"Paschke A, Bichler M (2005) SLA representation management and enforcement. In: The 2005 IEEE international conference on e-technology, e-commerce and e-service"},{"issue":"16","key":"492_CR20","doi-asserted-by":"crossref","first-page":"1982","DOI":"10.1002\/cpe.1456","volume":"21","author":"M Wang","year":"2009","unstructured":"Wang M, Kotagiri R, Chen J (2009) Trust-based robust scheduling and runtime adaptation of scientific workflow. Concurr Comput Pract Exp 21(16):1982\u20131998","journal-title":"Concurr Comput Pract Exp"},{"issue":"1","key":"492_CR21","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/s10207-005-0077-9","volume":"5","author":"A Lioy","year":"2006","unstructured":"Lioy A, Marian M, Moltchanova N, Pala M (2006) PKI past, present and future. Int J Inf Secur 5(1):18\u201329","journal-title":"Int J Inf Secur"},{"key":"492_CR22","doi-asserted-by":"crossref","unstructured":"Zhao S, Aggarwal A, Kent RD (2007) PKI-based authentication mechanisms in grid systems. International conference on networking, architecture, and storage","DOI":"10.1109\/NAS.2007.42"},{"key":"492_CR23","doi-asserted-by":"crossref","unstructured":"Haq IU, Alnemr R, Paschke A, Schikuta E, Boley H, Meinel C (2009) Distributed trust management for validating sla choreographies. In: SLAs in Grids workshop, CoreGRID","DOI":"10.1007\/978-1-4419-7320-7_5"},{"key":"492_CR24","unstructured":"Ludwig H, et\u00a0al (2007) Web Service Agreement (WS-Agreement). GFD.107 proposed recommendation. Accessed 12 July 2008"},{"key":"492_CR25","unstructured":"FIPA: (2000) FIPA agent communication language. http:\/\/www.fipa.org\/ . Accessed Dec 2001"},{"key":"492_CR26","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.eswa.2003.09.002","volume":"26","author":"M Shen","year":"2004","unstructured":"Shen M, Liu DR (2004) Discovering role-relevant process-views for disseminating process knowledge. Expert Syst Appl 26:301\u2013310","journal-title":"Expert Syst Appl"},{"key":"492_CR27","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1023\/B:ITEM.0000031580.57966.d4","volume":"5","author":"D Chiu","year":"2004","unstructured":"Chiu D, Cheung S, Till S, Karalapalem K, Li Q, Kafeza E (2004) Workflow view driven cross-organisational interoperability in a web service environment. Inf Technol Manag 5:221\u2013250","journal-title":"Inf Technol Manag"},{"key":"492_CR28","doi-asserted-by":"crossref","unstructured":"Li Q, Chiu D, Shan Z, Hung P, Cheung S (2006) Flows and views for scalable scientific process integration. In: First international conference on scalable information systems, Hong Kong","DOI":"10.1145\/1146847.1146877"},{"key":"492_CR29","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1023\/A:1016503218569","volume":"12","author":"D Chiu","year":"2002","unstructured":"Chiu D, Li KKQ, Kafeza E (2002) Workflow view based e-contracts in a cross-organisational e-services environment. Distrib Parallel Databases 12:193\u2013216","journal-title":"Distrib Parallel Databases"},{"key":"492_CR30","first-page":"22(3)","volume":"319\u2013329","author":"J Chen","year":"2008","unstructured":"Chen J, Yang Y (2008) Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow. Int J High Perform Comput Appl 319\u2013329:22(3)","journal-title":"Int J High Perform Comput Appl"},{"key":"492_CR31","first-page":"141","volume-title":"The proceedingsof 30th international conference on software engineering","author":"J Chen","year":"2008","unstructured":"Chen J, Yang Y (2008) Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems. In: The proceedingsof 30th international conference on software engineering, ICSE 08, 2008, pp\u00a0141\u2013150. doi: 10.1145\/1368088.1368108"},{"key":"492_CR32","doi-asserted-by":"crossref","unstructured":"Eder J, Tahamatan A (2008) Temporal consistency of view based interorganizational workflows. In: 2nd International united information systems conference, Austria","DOI":"10.1007\/978-3-540-78942-0_11"},{"key":"492_CR33","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-73597-7_54","volume-title":"Service level agreements: Web services and security","author":"G Frankova","year":"2007","unstructured":"Frankova G (2007) Service level agreements: Web services and security. Springer, Berlin-Heidelberg, pp\u00a0556\u2013562"},{"key":"492_CR34","doi-asserted-by":"crossref","unstructured":"Unger T, Leyman F, Mauchart S, Scheibler T (2008) Aggregation of service level agreement in the context of business processes. In: Enterprise distributed object computing conference (EDOC\u201908), Munich, Germany","DOI":"10.1109\/EDOC.2008.29"},{"key":"492_CR35","doi-asserted-by":"crossref","unstructured":"Oldham N, Verma K, Sheth A, Hakimpour F (2006) Semantic WS-Agreement partner selection. In: Proceedings of the 15th international conference on World Wide Web, Edinburgh, Scotland","DOI":"10.1145\/1135777.1135879"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-010-0492-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-010-0492-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-010-0492-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T06:01:05Z","timestamp":1559800865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-010-0492-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11,18]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,1]]}},"alternative-id":["492"],"URL":"https:\/\/doi.org\/10.1007\/s11227-010-0492-1","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,11,18]]}}}