{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T03:33:39Z","timestamp":1725680019808},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298592"},{"type":"electronic","value":"9783642298608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29860-8_24","type":"book-chapter","created":{"date-parts":[[2012,5,11]],"date-time":"2012-05-11T13:38:03Z","timestamp":1336743483000},"page":"325-341","source":"Crossref","is-referenced-by-count":0,"title":["Runtime Verification of Data-Centric Properties in Service Based Systems"],"prefix":"10.1007","author":[{"given":"Guoquan","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunyang","family":"Ye","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaozhe","family":"Shao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","unstructured":"OASIS. Web services business process execution language (ws-bpel) v2.0, \n                      \n                        http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"24_CR2","unstructured":"Beeri, C., Eyal, A., Milo, T., Pilberg, A.: Monitoring business processes with queries. In: VLDB, pp. 603\u2013614 (2007)"},{"key":"24_CR3","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":"24_CR4","doi-asserted-by":"crossref","unstructured":"Barbon, F., Traverso, P., Pistore, M., Trainotti, M.: Runtime monitoring of instances and classes of web service compositions. In: ICWS, pp. 63\u201371 (2006)","DOI":"10.1109\/ICWS.2006.113"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Mahbub, K., Spanoudakis, G.: A framework for requirements monitoring of service based systems. In: ICSOC, pp. 84\u201393 (2004)","DOI":"10.1145\/1035167.1035181"},{"issue":"3","key":"24_CR6","first-page":"223","volume":"2","author":"J. Simmonds","year":"2009","unstructured":"Simmonds, J., Gan, Y., Chechik, M., et al.: Runtime Monitoring of Web Service Conversation. TSC\u00a02(3), 223\u2013244 (2009)","journal-title":"TSC"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Wu, G.Q., Wei, J., Huang, T.: Flexible pattern monitoring for WS-BPEL through stateful aspect extension. In: ICWS, pp. 577\u2013584 (2008)","DOI":"10.1109\/ICWS.2008.27"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"24_CR9","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Transaction on Service Computing (preprint)"},{"issue":"5","key":"24_CR10","first-page":"669","volume":"35","author":"S. Hall\u00e9","year":"2009","unstructured":"Hall\u00e9, S., Villemaire, R., Cherkaoui, O.: Specifying and validating data-aware temporal web service properties. TSE\u00a035(5), 669\u2013683 (2009)","journal-title":"TSE"},{"key":"24_CR11","unstructured":"Greenfield, P., Kuo, D., Nepal, S., Fekete, A.: Consistency of web services applications. In: VLDB, pp. 1199\u20131203 (2005)"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"Ye, C.Y., Cheung, S.C., Chan, W.K., Xu, C.: Detection and resolution of atomicity violation in service composition. In: FSE, pp. 235\u2013244 (2007)","DOI":"10.1145\/1287624.1287658"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/11596141_7","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"Z. Li","year":"2005","unstructured":"Li, Z., Han, J., Jin, Y.: Pattern-Based Specification and Validation of Web Services Interaction Properties. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 73\u201386. Springer, Heidelberg (2005)"},{"key":"24_CR14","first-page":"338","volume":"2","author":"Q.X. Wang","year":"2009","unstructured":"Wang, Q.X., Shao, J., Deng, F., et al.: An online monitoring approach for web services requirements. TSC\u00a02, 338\u2013351 (2009)","journal-title":"TSC"},{"issue":"4","key":"24_CR15","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1145\/958942.958947","volume":"28","author":"Y.L. Diao","year":"2003","unstructured":"Diao, Y.L., Altinel, M., et al.: Path Sharing and Predicate Evaluation for High-Performance XML Filtering. TODS\u00a028(4), 467\u2013516 (2003)","journal-title":"TODS"},{"key":"24_CR16","unstructured":"Charfi, A.: Aspect-oriented Workflow Languages: AO4BPEL and Applications (thesis)"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: MOP: An efficient and generic runtime verification framework. In: OOPSLA, pp. 569\u2013588 (2007)","DOI":"10.1145\/1297105.1297069"},{"key":"24_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-00768-2_23","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"F. Chen","year":"2009","unstructured":"Chen, F., Rosu, G.: Parametric Trace Slicing and Monitoring. In: Kowalewski, S., Philippou, A. (eds.) TACAS 2009. LNCS, vol.\u00a05505, pp. 246\u2013261. Springer, Heidelberg (2009)"},{"key":"24_CR19","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D.Y., Rosu, G.: Efficient Formalism-Independent monitoring of Parametric Properties. In: ASE, pp. 383\u2013394 (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making Trace Monitors Feasible. In: OOPSLA, pp. 589\u2013608 (2007)","DOI":"10.1145\/1297105.1297070"},{"key":"24_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-540-88871-0_47","volume-title":"On the Move to Internet Systems: OTM 2008","author":"W. Chen","year":"2008","unstructured":"Chen, W., Wei, J., Wu, G., Qiao, X.: Developing a Concurrent Service Orchestration Engine Based on Event-Driven Architecture. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 675\u2013690. Springer, Heidelberg (2008)"},{"key":"24_CR22","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of message based workflows with data. In: EDOC, pp. 63\u201372 (2008)","DOI":"10.1109\/EDOC.2008.32"},{"key":"24_CR23","unstructured":"Wu, G.Q., Wei, J., Ye, C.Y., et al.: Runtime monitoring of data-centric temporal properties for web services. In: ICWS (to appear, 2011)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29860-8_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:19:04Z","timestamp":1620127144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29860-8_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298592","9783642298608"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29860-8_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}