{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:40:09Z","timestamp":1746416409774,"version":"3.40.4"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319122557"},{"type":"electronic","value":"9783319122564"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-12256-4_12","type":"book-chapter","created":{"date-parts":[[2014,10,10]],"date-time":"2014-10-10T14:23:53Z","timestamp":1412951033000},"page":"117-126","source":"Crossref","is-referenced-by-count":6,"title":["Semantic Monitoring and Compensation in Socio-technical Processes"],"prefix":"10.1007","author":[{"given":"Yingzhi","family":"Gou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chee-Fon","family":"Chang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoa Khanh","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Miller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A. Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Information Systems\u00a033(1), 64\u201395 (2008)","journal-title":"Information Systems"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Fensel, D., Facca, F., Simperl, E.: Web Service Modeling Ontology. In: Semantic Web Services, pp. 107\u2013129. Springer (2011)","DOI":"10.1007\/978-3-642-19193-0_7"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Fensel, D., Lausen, H., Polleres, A., Bruijn, J., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer (2006)","DOI":"10.1007\/978-3-540-34520-6"},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Hepp, M., Leymann, F., Domingue, J., Wahler, A., Fensel, D.: Semantic business process management: A vision towards using semantic Web services for business process management. In: IEEE International Conference on e-Business Engineering, pp. 535\u2013540. IEEE (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"Hinge, K., Ghose, A., Koliadis, G.: Process SEER: A tool for semantic effect annotation of business process models. In: Proceedings of the 13th IEEE International EDOC Conference. IEEE Computer Society Process (2009)","DOI":"10.1109\/EDOC.2009.24"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TSE.2011.10","volume":"38","author":"I. Pietro Di","year":"2012","unstructured":"Di Pietro, I., Pagliarecci, F., Spalazzi, L.: Model checking semantically annotated services. IEEE Transactions on Software Engineering\u00a038, 592\u2013608 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-Based Behavioral Reasoning on Semantic Business Processes. In: Proceedings of the 5th International Conference on Agents and Artificial Intelligence, pp. 130\u2013143. SciTePress (2013)","DOI":"10.5220\/0004255001300143"},{"key":"12_CR8","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/s10619-010-7060-9","volume":"27","author":"I. Weber","year":"2010","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: On the verification of semantic business process models. Distributed and Parallel Databases\u00a027, 271\u2013343 (2010)","journal-title":"Distributed and Parallel Databases"},{"key":"12_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-04930-9_8","volume-title":"The Semantic Web - ISWC 2009","author":"C. Francescomarino Di","year":"2009","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Semantcally-aided business process modeling. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 114\u2013129. Springer, Heidelberg (2009)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing Business Process Compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-30581-1_4","volume-title":"Semantic Web Services and Web Process Composition","author":"D. Martin","year":"2005","unstructured":"Martin, D., et al.: Bringing semantics to web services: The OWL-S approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 26\u201342. Springer, Heidelberg (2005)"},{"key":"12_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-540-72982-2_3","volume-title":"Web Reasoning and Rule Systems","author":"H. Meyer","year":"2007","unstructured":"Meyer, H.: On the Semantics of Service Compositions. In: Marchiori, M., Pan, J.Z., de Sainte Marie, C. (eds.) RR 2007. LNCS, vol.\u00a04524, pp. 31\u201342. Springer, Heidelberg (2007)"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Transactions on the Web\u00a04, 3:1\u20133:62 (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-642-32439-0_10","volume-title":"Business System Management and Engineering","author":"F. Smith","year":"2012","unstructured":"Smith, F., Missikoff, M., Proietti, M.: Ontology-Based Querying of Composite Services. In: Ardagna, C.A., Damiani, E., Maciaszek, L.A., Missikoff, M., Parkin, M. (eds.) BSME 2010. LNCS, vol.\u00a07350, pp. 159\u2013180. Springer, Heidelberg (2012)"},{"issue":"2","key":"12_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"M.L. Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: A Possible World Approach. Artificial Intelligence\u00a035(2), 165\u2013195 (1988)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"12_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/304399.304401","volume":"8","author":"J.E. Cook","year":"1999","unstructured":"Cook, J.E., Wolf, A.L.: Software process validation: quantitatively measuring the correspondence of a process to a model. ACM Transactions on Software Engineering and Methodology\u00a08(2), 147\u2013176 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"12_CR17","first-page":"177","volume-title":"Proceedings of the 31st Annual International Computer Software and Applications Conference","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Actor eco-systems: From high-level agent models to executable processes via semantic annotations. In: Proceedings of the 31st Annual International Computer Software and Applications Conference, vol.\u00a002, pp. 177\u2013184. IEEE Computer Society, Washington, DC (2007)"},{"key":"12_CR18","unstructured":"Koliadis, G., Vranesevic, A., Bhuiyan, M., Krishna, A., Ghose, A.K.: A combined approach for supporting the business process model lifecycle. In: Proceedings of the, Pacific Asia Conference on Information Systems, pp. 1305\u20131319 (2006)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1023\/A:1008759413689","volume":"9","author":"M. Klein","year":"2000","unstructured":"Klein, M., Dellarocas, C.: A knowledge-based approach to handling exceptions in workflow systems. Computer Supported Cooperative Work\u00a09, 399\u2013412 (2000)","journal-title":"Computer Supported Cooperative Work"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-12256-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T03:11:34Z","timestamp":1746414694000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-12256-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319122557","9783319122564"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-12256-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}