{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:05:11Z","timestamp":1725563111038},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642155840"},{"type":"electronic","value":"9783642155857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15585-7_22","type":"book-chapter","created":{"date-parts":[[2010,8,25]],"date-time":"2010-08-25T01:58:59Z","timestamp":1282701539000},"page":"203-206","source":"Crossref","is-referenced-by-count":5,"title":["Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements"],"prefix":"10.1007","author":[{"given":"Konstantinos","family":"Bratanis","sequence":"first","affiliation":[]},{"given":"Dimitris","family":"Dranidis","sequence":"additional","affiliation":[]},{"given":"Anthony J. H.","family":"Simons","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1145\/1035167.1035195","volume-title":"Proceedings of the 2nd international conference on Service oriented computing","author":"L. Baresi","year":"2004","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 193\u2013202. ACM, New York (2004)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/1035167.1035182","volume-title":"Proceedings of the 2nd international conference on Service oriented computing","author":"A. Lazovik","year":"2004","unstructured":"Lazovik, A., Aiello, M., Papazoglou, M.: Associating assertions with business processes and monitoring their execution. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 94\u2013104. ACM, New York (2004)"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/1035167.1035181","volume-title":"Proceedings of the 2nd international conference on Service oriented computing","author":"K. Mahbub","year":"2004","unstructured":"Mahbub, K., Spanoudakis, G.: A framework for requirents monitoring of service based systems. In: Proceedings of the 2nd international conference on Service oriented computing, pp. 84\u201393. ACM, New York (2004)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kallel, S., Charfi, A., Dinkelaker, T., Mezini, M., Jmaiel, M.: Specifying and Monitoring Temporal Properties in Web services Compositions. In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS) (2009)","DOI":"10.1109\/ECOWS.2009.15"},{"key":"22_CR5","first-page":"70","volume-title":"Proceedings of the Australian Software Engineering Conference","author":"Z. Li","year":"2006","unstructured":"Li, Z., Jin, Y., Han, J.: A Runtime Monitoring and Validation Framework for Web Service Interactions. In: Proceedings of the Australian Software Engineering Conference, pp. 70\u201379. IEEE Computer Society, Los Alamitos (2006)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/1321211.1321217","volume-title":"Proceedings of the 2007 conference of the center for advanced studies on Collaborative research","author":"Y. Gan","year":"2007","unstructured":"Gan, Y., Chechik, M., Nejati, S., Bennett, J., O\u2019Farrell, B., Waterhouse, J.: Runtime monitoring of web service conversations. In: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research, pp. 42\u201357. ACM, Richmond Hill (2007)"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"YuYu Yin, Y.L.: Verifying Consistency of Web Services Behavior. Presented at the 2008 IEEE Asia-Pacific Services Computing Conference, December 9 (2008)","DOI":"10.1109\/APSCC.2008.149"},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1109\/TSC.2009.16","volume":"99","author":"J. Simmonds","year":"2009","unstructured":"Simmonds, J., Gan, Y., Chechik, M., Nejati, S., O\u2019Farrell, B., Litani, E., Waterhouse, J.: Runtime Monitoring of Web Service Conversations. IEEE Transactions on Services Computing\u00a099, 223\u2013244 (2009)","journal-title":"IEEE Transactions on Services Computing"},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/ICCBSS.2008.13","volume-title":"Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008)","author":"D. Ameller","year":"2008","unstructured":"Ameller, D., Franch, X.: Service Level Agreement Monitor (SALMon). In: Proceedings of the Seventh International Conference on Composition-Based Software Systems (ICCBSS 2008), pp. 224\u2013227. IEEE Computer Society, Los Alamitos (2008)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Kotsokalis, C., Yahyapour, R., Rojas Gonzalez, M.: Modeling Service Level Agreements with Binary Decision Diagrams. Service-Oriented Computing, 190\u2013204 (2009)","DOI":"10.1007\/978-3-642-10383-4_13"},{"key":"22_CR11","first-page":"63","volume-title":"Proceedings of the IEEE International Conference on Web Services","author":"F. Barbon","year":"2006","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-Time Monitoring of Instances and Classes of Web Service Compositions. In: Proceedings of the IEEE International Conference on Web Services, pp. 63\u201371. IEEE Computer Society, Los Alamitos (2006)"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Xiao, H., Chan, B., Zou, Y., Benayon, J.W., O\u2019Farrell, B., Litani, E., Hawkins, J.: A Framework for Verifying SLA Compliance in Composed Services. In: 2008 IEEE International Conference on Web Services, Beijing, China, pp. 457\u2013464 (2008)","DOI":"10.1109\/ICWS.2008.26"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/ICWS.2009.67","volume-title":"IEEE International Conference on Web Services","author":"L. Baresi","year":"2009","unstructured":"Baresi, L., Guinea, S., Pistore, M., Trainotti, M.: Dynamo + Astro: An Integrated Approach for BPEL Monitoring. In: IEEE International Conference on Web Services, pp. 230\u2013237. IEEE Computer Society, Los Alamitos (2009)"},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/777313.777334","volume":"46","author":"H. Kreger","year":"2003","unstructured":"Kreger, H.: Fulfilling the Web services promise. Communications of the ACM\u00a046, 29 (2003)","journal-title":"Communications of the ACM"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Dranidis, D., Ramollari, E., Kourtesis, D.: Run-time Verification of Behavioural Conformance for Conversational Web Services. In: Proceedings of the 7th IEEE European Conference on Web Services (ECOWS) (2009)","DOI":"10.1109\/ECOWS.2009.19"},{"volume-title":"Automata, Languages, and Machines","year":"1974","author":"S. Eilenberg","key":"22_CR16","unstructured":"Eilenberg, S.: Automata, Languages, and Machines. Academic Press, Inc., London (1974)"},{"key":"22_CR17","unstructured":"Dranidis, D.: JSXM: A Suite of Tools for Model-Based Automated Test Generation: User Manual. Technical Report WP-CS01-09, CITY College (2009)"},{"key":"22_CR18","unstructured":"JSR 224: JavaTM API for XML-Based Web Services (JAX-WS) 2.0. Java Community Process (2009), http:\/\/jcp.org\/en\/jsr\/detail?id=224"}],"container-title":["Lecture Notes in Computer Science","Testing \u2013 Practice and Research Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15585-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:27Z","timestamp":1606187427000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15585-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642155840","9783642155857"],"references-count":18,"URL":"http:\/\/dx.doi.org\/10.1007\/978-3-642-15585-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}
