{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:56:00Z","timestamp":1725569760991},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_39","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"485-489","source":"Crossref","is-referenced-by-count":6,"title":["WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart"],"prefix":"10.1007","author":[{"given":"Pengcheng","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuelong","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenrui","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bixin","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"39_CR1","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"},{"issue":"12","key":"39_CR2","doi-asserted-by":"publisher","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N. Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans. Software Eng.\u00a030(12), 859\u2013872 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"39_CR3","doi-asserted-by":"crossref","unstructured":"Grunske, L., Zhang, P.: Monitoring probabilistic properties. In: ESEC\/FSE, pp. 183\u2013192 (2009)","DOI":"10.1145\/1595696.1595724"},{"key":"39_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., Maeda, C., Lopes, C.V., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"issue":"5","key":"39_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M. Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program.\u00a078(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"39_CR6","unstructured":"WS-BPEL. Web services business process execution language version 2.0, committee specification. OASIS (2007)"},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"Zhang, P., Grunske, L., Tang, A., Li, B.: A formal syntax for probabilistic timed property sequence charts. In: Proc. of ASE, 500\u2013504 (2009)","DOI":"10.1109\/ASE.2009.56"},{"issue":"3","key":"39_CR8","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/j.jss.2009.09.013","volume":"83","author":"P. Zhang","year":"2010","unstructured":"Zhang, P., Li, B., Grunske, L.: Timed property sequence chart. Journal of System and Software\u00a083(3), 371\u2013390 (2010)","journal-title":"Journal of System and Software"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-540-89376-9_14","volume-title":"Advanced Web and Network Technologies, and Applications","author":"P. Zhang","year":"2008","unstructured":"Zhang, P., Li, B., Muccini, H., Sun, M.: An approach to monitor scenario-based temporal properties in web service compositions. In: Ishikawa, Y., He, J., Xu, G., Shi, Y., Huang, G., Pang, C., Zhang, Q., Wang, G. (eds.) APWeb 2008 Workshops. LNCS, vol.\u00a04977, pp. 144\u2013154. Springer, Heidelberg (2008)"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"Zhang, P., Li, B., Sun, M.: Extending PSC for monitoring the timed properties in composite services. In: Proc. of APSEC, pp. 335\u2013342 (2008)","DOI":"10.1109\/APSEC.2008.10"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_39","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T03:10:56Z","timestamp":1553224256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}