{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:17:18Z","timestamp":1725520638967},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540893752"},{"type":"electronic","value":"9783540893769"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89376-9_14","type":"book-chapter","created":{"date-parts":[[2008,11,4]],"date-time":"2008-11-04T05:31:40Z","timestamp":1225776700000},"page":"144-154","source":"Crossref","is-referenced-by-count":9,"title":["An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions"],"prefix":"10.1007","author":[{"given":"Pengcheng","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Bixin","family":"Li","sequence":"additional","affiliation":[]},{"given":"Henry","family":"Muccini","sequence":"additional","affiliation":[]},{"given":"Mingjie","family":"Sun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F., KrAamer, B.J.: Service-oriented computing: A research roadmap. In: Service Oriented Computing (SOC) (2006)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Run-time monitoring of instances and classes of Web service Compositions. In: IEEE International Conference on Web Services (ICWS 2006). pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"14_CR3","unstructured":"OASIS. Web Services Business Process Execution Language Version 2.0. Committee Specification (January 2007)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"14_CR5","unstructured":"ActiveBPEL. The Open source BPEL engine, http:\/\/www.activebpel.org"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: A scenario based notation for specifying temporal properties. In: SCESM 2006, pp. 21\u201328 (2006)","DOI":"10.1145\/1138953.1138959"},{"issue":"3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/s10515-007-0012-6","volume":"14","author":"M. Autili","year":"2007","unstructured":"Autili, M., Inverardi, P., Pelliccione, P.: Graphical scenarios for specifying temporal properties: an automated approach. Automated Software Engineering\u00a014(3), 293\u2013340 (2007)","journal-title":"Automated Software Engineering"},{"key":"14_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Li, Z., Jin, Y., Han, J.: A runtime monitoring and validation framework for web service interactions. In: ASWEC 2006: Proceedings of the 17th Australian Software Engineering Conference, pp. 70\u201379 (2006)","DOI":"10.1109\/ASWEC.2006.6"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Baresi, L., Ghezzi, C., Guinea, S.: Smart monitors for composed services. In: ICSOC 2004, pp. 193\u2013202 (2004)","DOI":"10.1145\/1035167.1035195"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/11596141_21","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"L. Baresi","year":"2005","unstructured":"Baresi, L., Guinea, S.: Towards dynamic monitoring of WS-BPEL processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 269\u2013282. Springer, Heidelberg (2005)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: ICSOC 2004, pp. 84\u201393 (2004)","DOI":"10.1145\/1035167.1035181"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C.: Monitoring conversational web services. In: 2nd international workshop on Service oriented software engineering, pp. 15\u201321 (2007)","DOI":"10.1145\/1294928.1294933"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-73551-9_9","volume-title":"Component-Based Software Engineering","author":"H. Muccini","year":"2007","unstructured":"Muccini, H., Polini, A., Ricci, F., Bertolino, A.: Monitoring architectural properties in dynamic component-based systems. In: Schmidt, H.W., Crnkovi\u0107, I., Heineman, G.T., Stafford, J.A. (eds.) CBSE 2007. LNCS, vol.\u00a04608, pp. 124\u2013139. Springer, Heidelberg (2007)"},{"key":"14_CR15","volume-title":"32nd Annual IEEE International Computer Software and Applications Conference","author":"P.C. Zhang","year":"2008","unstructured":"Zhang, P.C., Li, B.X., Sun, M.J., Gong, X.F.: A psc based approach to monitor the timed properties in web service composition. In: 32nd Annual IEEE International Computer Software and Applications Conference, Turku, Finland, IEEE Computer Society, Los Alamitos (2008)"}],"container-title":["Lecture Notes in Computer Science","Advanced Web and Network Technologies, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89376-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T22:27:38Z","timestamp":1557872858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89376-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540893752","9783540893769"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89376-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}