{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T06:40:18Z","timestamp":1713336018682},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,1,7]],"date-time":"2012-01-07T00:00:00Z","timestamp":1325894400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s11761-011-0098-3","type":"journal-article","created":{"date-parts":[[2012,1,6]],"date-time":"2012-01-06T11:07:01Z","timestamp":1325848021000},"page":"33-49","source":"Crossref","is-referenced-by-count":10,"title":["WSCMon: runtime monitoring of web service orchestration based on refinement checking"],"prefix":"10.1007","volume":"6","author":[{"given":"Mohsen","family":"Khaxar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saeed","family":"Jalili","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,1,7]]},"reference":[{"key":"98_CR1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1109\/MITP.2006.51","volume":"8","author":"G Canfora","year":"2006","unstructured":"Canfora G, Penta MD (2006) Testing services and service-centric systems: challenges and opportunities. IT Prof 8: 10\u201317","journal-title":"IT Prof"},{"key":"98_CR2","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/MC.2008.304","volume":"41","author":"W-T Tsai","year":"2008","unstructured":"Tsai W-T, Zhou X, Chen Y, Bai X (2008) On testing and evaluating service-oriented software. Computer 41: 40\u201346","journal-title":"Computer"},{"issue":"3","key":"98_CR3","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/s00778-007-0044-3","volume":"16","author":"M Papazoglou","year":"2007","unstructured":"Papazoglou M, van den euvel W (2007) Service oriented architectures: approaches, technologies and research issues. VLDB J 16(3): 389\u2013415","journal-title":"VLDB J"},{"key":"98_CR4","doi-asserted-by":"crossref","unstructured":"Rao J, Su X (2005) A survey of automated web service composition methods, pp 43\u201354","DOI":"10.1007\/978-3-540-30581-1_5"},{"key":"98_CR5","doi-asserted-by":"crossref","unstructured":"Barbon F, Traverso P, Pistore M, Trainotti M (2006) Run-time monitoring of instances and classes of web service compositions. In: Proceedings of IEEE international conference on web services, vol 0, pp 63\u201371","DOI":"10.1109\/ICWS.2006.113"},{"key":"98_CR6","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/s00799-006-0002-5","volume":"6","author":"A Lazovik","year":"2006","unstructured":"Lazovik A, Papazoglou M, Aiello M (2006) Planning and monitoring the execution of web service requests. Int J Digit Libr 6: 235\u2013246","journal-title":"Int J Digit Libr"},{"key":"98_CR7","doi-asserted-by":"crossref","unstructured":"Lazovik A, Aiello M, Papazoglou M (2004) Associating assertions with business processes and monitoring their execution. In: ICSOC \u201904: proceedings of the 2nd international conference on service oriented computing, New York, NY, USA, pp 94\u2013104, ACM","DOI":"10.1145\/1035167.1035182"},{"key":"98_CR8","doi-asserted-by":"crossref","unstructured":"Baresi L, Ghezzi C, Guinea S (2004) \u201cSmart monitors for composed services. In: ICSOC \u201904: proceedings of the 2nd international conference on service oriented computing. ACM, New York, NY, USA, pp 193\u2013202","DOI":"10.1145\/1035167.1035195"},{"key":"98_CR9","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S (2005) Towards dynamic monitoring of ws-bpel processes. In: Service-oriented computing\u2014ICSOC 2005, vol 3826, pp 269\u2013282, Nov 2005","DOI":"10.1007\/11596141_21"},{"key":"98_CR10","doi-asserted-by":"crossref","unstructured":"Raimondi F, Skene J, Emmerich W (2008) Efficient online monitoring of web-service slas. In: SIGSOFT \u201908\/FSE-16: proceedings of the 16th ACM SIGSOFT international symposium on foundations of software engineering. ACM, New York, NY, USA, pp 170\u2013180","DOI":"10.1145\/1453101.1453125"},{"key":"98_CR11","doi-asserted-by":"crossref","unstructured":"Mahbub K, Spanoudakis G (2005) Run-time monitoring of requirements for systems composed of web-services: initial implementation and evaluation experience. In: Proceedings of IEEE international conference on web services, vol 0, pp 257\u2013 265","DOI":"10.1109\/ICWS.2005.100"},{"key":"98_CR12","doi-asserted-by":"crossref","unstructured":"Li Z, Jin Y, Han J (2006) A runtime monitoring and validation framework for web service interactions. In: Proceedings of Australian software engineering conference, vol 0, pp 70\u201379","DOI":"10.1109\/ASWEC.2006.6"},{"key":"98_CR13","doi-asserted-by":"crossref","unstructured":"Robinson WN (2003) Monitoring web service requirements. In: Proceedings of IEEE international conference on requirements engineering, vol 0, p 65","DOI":"10.1109\/ICRE.2003.1232738"},{"key":"98_CR14","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSC.2009.16","volume":"2","author":"J Simmonds","year":"2009","unstructured":"Simmonds J, Yuan G, Chechik M, Nejati S, O\u2019Farrell B, Litani E, Waterhouse J (2009) Runtime monitoring of web service conversations. IEEE Trans Services Comput 2: 223\u2013244","journal-title":"IEEE Trans Services Comput"},{"key":"98_CR15","doi-asserted-by":"crossref","unstructured":"Simmonds J, Chechik M, Nejati S, Litani E, O\u2019Farrell B (2008) Property patterns for runtime monitoring of web service conversations. In: Runtime verification: 8th international workshop, RV 2008, Budapest, Hungary. Selected papers. Springer, Berlin, Heidelberg, pp 137\u2013157, 30 March 2008","DOI":"10.1007\/978-3-540-89247-2_9"},{"key":"98_CR16","unstructured":"Alves A, Arkin A, Askary S, Barreto C, Bloch B, Curbera F, Ford M, Goland Y, Gu\u0131zar A, Kartha N, et\u00a0al (2007) Web services business process execution language version 2.0. OASIS Standard, vol 11"},{"key":"98_CR17","volume-title":"The theory and practice of concurrency","author":"A Roscoe","year":"1998","unstructured":"Roscoe A (1998) The theory and practice of concurrency. Prentice Hall PTR, Upper Saddle River"},{"issue":"2","key":"98_CR18","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/s00165-005-0065-x","volume":"17","author":"A Roscoe","year":"2005","unstructured":"Roscoe A (2005) On the expressive power of CSP refinement. Formal Aspects Comput 17(2): 93\u2013112","journal-title":"Formal Aspects Comput"},{"key":"98_CR19","volume-title":"The modelling and analysis of security protocols: the csp approach","author":"P Ryan","year":"2000","unstructured":"Ryan P, Schneider S (2000) The modelling and analysis of security protocols: the csp approach. Addison-Wesley Professional, Reading"},{"key":"98_CR20","doi-asserted-by":"crossref","unstructured":"Emerson EA (1990) Temporal and modal logic, pp 995\u20131072","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"98_CR21","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/TSE.1977.229904","volume":"3","author":"L Lamport","year":"1977","unstructured":"Lamport L (1977) Proving the correctness of multiprocess programs. IEEE Trans Softw Eng 3: 125\u2013143","journal-title":"IEEE Trans Softw Eng"},{"key":"98_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli A (1992) System specification and refinement in temporal logic. In: Proceedings of foundations of software technology and theoretical computer science: 12th conference. Springer, New Delhi, India, pp 1\u201338, 18\u201320 Dec 1992","DOI":"10.1007\/3-540-56287-7_92"},{"key":"98_CR23","volume-title":"Petri net theory and the modeling of systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice Hall PTR, Upper Saddle River"},{"key":"98_CR24","volume-title":"Model checking","author":"E Clarke","year":"2000","unstructured":"Clarke E, Grumberg O, Peled D (2000) Model checking. MIT Press, USA"},{"key":"98_CR25","unstructured":"Rajamani S (1999) New directions in refinement checking. Ph.D. thesis"},{"issue":"1","key":"98_CR26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(92)90276-L","volume":"106","author":"G Boudol","year":"1992","unstructured":"Boudol G, Larsen KG (1992) Graphical versus logical specifications. Theor Comput Sci 106(1): 3\u201320","journal-title":"Theor Comput Sci"},{"key":"98_CR27","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado N, Gates AQ, Roach S (2004) A taxonomy and catalog of runtime software-fault monitoring tools. IEEE Trans Softw Eng 30: 859\u2013872","journal-title":"IEEE Trans Softw Eng"},{"key":"98_CR28","doi-asserted-by":"crossref","unstructured":"Elmas T, Tasiran S, Qadeer S (2005) Vyrd: verifying concurrent programs by runtime refinement-violation detection. In: PLDI \u201905: proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation. ACM, New York, NY, USA, pp 27\u201337","DOI":"10.1145\/1065010.1065015"},{"key":"98_CR29","doi-asserted-by":"crossref","unstructured":"Elmas T, Tasiran S (2006) Vyrdmc: driving runtime refinement checking with model checkers. In: Electronic notes in theoretical computer science, vol 144, no 4, pp 41\u201356, 2006. Proceedings of the fifth workshop on runtime verification (RV 2005)","DOI":"10.1016\/j.entcs.2006.02.003"},{"key":"98_CR30","doi-asserted-by":"crossref","unstructured":"Tasiran S, Qadeer S (2005) Runtime refinement checking of concurrent data structures. In: Electronic notes in theoretical computer science, vol 113, pp 163\u2013179, 2005. Proceedings of the fourth workshop on runtime verification (RV 2004)","DOI":"10.1016\/j.entcs.2004.01.028"},{"key":"98_CR31","doi-asserted-by":"crossref","unstructured":"Stolz V, Bodden E (2006) Temporal assertions using AspectJ. In: Electronic notes in theoretical computer science, vol 144, no 4, pp 109\u2013124, 2006. Proceedings of the fifth workshop on runtime verification (RV 2005)","DOI":"10.1016\/j.entcs.2006.02.007"},{"key":"98_CR32","doi-asserted-by":"crossref","unstructured":"Wolper P (1981) Temporal logic can be more expressive. In: Proceedings of annual IEEE symposium on foundations of computer science, vol 0, pp 340\u2013348","DOI":"10.1109\/SFCS.1981.44"},{"key":"98_CR33","doi-asserted-by":"crossref","unstructured":"Ferrara A (2004) Web services: a process algebra approach. In: ICSOC \u201904: proceedings of the 2nd international conference on service oriented computing. ACM, New York, NY, USA, pp 242\u2013251","DOI":"10.1145\/1035167.1035202"},{"key":"98_CR34","doi-asserted-by":"crossref","unstructured":"Khaxar M, Jalili S, Khakpour N, Jokhio MS (2009) Monitoring safety properties of composite web services at runtime using csp, pp 107\u2013113, Sept 2009","DOI":"10.1109\/EDOCW.2009.5332007"},{"key":"98_CR35","doi-asserted-by":"crossref","unstructured":"Baader F, Siekmann JH (1994) Unification theory, pp 41\u2013125","DOI":"10.1093\/oso\/9780198537465.003.0002"},{"key":"98_CR36","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specifications for finite-state verification. In: Proceedings of international conference on software engineering, vol 0, p 411","DOI":"10.1145\/302405.302672"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-011-0098-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-011-0098-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-011-0098-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T06:07:50Z","timestamp":1713334070000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-011-0098-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,7]]},"references-count":36,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["98"],"URL":"https:\/\/doi.org\/10.1007\/s11761-011-0098-3","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"value":"1863-2386","type":"print"},{"value":"1863-2394","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,7]]}}}