{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:03:19Z","timestamp":1786978999486,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319699035","type":"print"},{"value":"9783319699042","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-69904-2_29","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T05:18:33Z","timestamp":1508476713000},"page":"373-387","source":"Crossref","is-referenced-by-count":3,"title":["Goal Orchestrations: Modelling and Mining Flexible Business Processes"],"prefix":"10.1007","author":[{"given":"Metta","family":"Santipuri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hoa Khanh","family":"Dam","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Suman","family":"Roy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"key":"29_CR1","unstructured":"Allehyani, B., Reiff-Marganiec, S.: Maintaining goals of business processes during runtime reconfigurations. In: Proceedings of the 8th ZEUS Workshop, pp. 21\u201328 (2016)"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Arkley, P., Riddle, S.: Tailoring traceability information to business needs. In: Proceedings of the 14th IEEE International Conference Requirements Engineering, pp. 239\u2013244. IEEE (2006)","DOI":"10.1109\/RE.2006.63"},{"issue":"4","key":"29_CR3","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1023\/A:1024888511283","volume":"32","author":"S Chopra","year":"2003","unstructured":"Chopra, S., Ghose, A., Meyer, T.: Non-prioritized ranked belief change. J. Philos. Log. 32(4), 417\u2013443 (2003)","journal-title":"J. Philos. Log."},{"key":"29_CR4","doi-asserted-by":"crossref","unstructured":"Cleland-Huang, J., Settimi, R., Duan, C., Zou, X.: Utilizing supporting evidence to improve dynamic requirements traceability. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 135\u2013144. IEEE (2005)","DOI":"10.1109\/RE.2005.78"},{"key":"29_CR5","doi-asserted-by":"crossref","unstructured":"Dalpiaz, F., Cardoso, E., Canobbio, G., Giorgini, P., Mylopoulos, J.: Social specifications of business processes with azzurra. In: 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS), pp. 7\u201318, May 2015","DOI":"10.1109\/RCIS.2015.7128859"},{"issue":"2","key":"29_CR6","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1504\/IJAOSE.2010.032799","volume":"4","author":"A Dasgupta","year":"2010","unstructured":"Dasgupta, A., Ghose, A.K.: Implementing reactive BDI agents with user-given constraints and objectives. Int. J. Agent-Oriented Softw. Eng. 4(2), 141\u2013154 (2010)","journal-title":"Int. J. Agent-Oriented Softw. Eng."},{"key":"29_CR7","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.: Semantically-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. 5823, pp. 114\u2013129. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04930-9_8"},{"key":"29_CR8","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 Trans. Softw. Eng. 38, 592\u2013608 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Ernst, N.A., Mylopoulos, J., Yu, Y., Nguyen, T.: Supporting requirements model evolution throughout the system life-cycle. In: Proceedings of the 16th IEEE International Requirements Engineering, RE 2008, pp. 321\u2013322. IEEE (2008)","DOI":"10.1109\/RE.2008.11"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-19193-0","volume-title":"Semantic Web Services","author":"D Fensel","year":"2011","unstructured":"Fensel, D., Facca, F.M., Simperl, E., Toma, I.: Web service modeling ontology. Semantic Web Services, pp. 107\u2013129. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-19193-0"},{"key":"29_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-34520-6","volume-title":"Enabling Semantic Web Services: The Web Service Modeling Ontology","author":"D Fensel","year":"2006","unstructured":"Fensel, D., Lausen, H., Polleres, A., de Bruijn, J., Stollberg, M., Roman, D., Domingue, J.: Enabling Semantic Web Services: The Web Service Modeling Ontology. Springer, Heidelberg (2006). doi: 10.1007\/978-3-540-34520-6"},{"key":"29_CR12","unstructured":"Ghose, A., Goebel, R.: Belief states as default theories: studies in non-prioritized belief change. In: ECAI, vol. 98, pp. 8\u201312 (1998)"},{"key":"29_CR13","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. 4749, pp. 169\u2013180. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-74974-5_14"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/978-3-540-75563-0_27","volume-title":"Conceptual Modeling - ER 2007","author":"A Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G., Chueng, A.: Rapid business process discovery (R-BPD). In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 391\u2013406. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-75563-0_27"},{"issue":"2","key":"29_CR15","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0004-3702(88)90011-2","volume":"35","author":"ML Ginsberg","year":"1988","unstructured":"Ginsberg, M.L., Smith, D.E.: Reasoning about action I: a possible world approach. Artif. Intell. 35(2), 165\u2013195 (1988)","journal-title":"Artif. Intell."},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Glorio, O., Pardillo, J., Mazon, J.N., Trujillo, J.: Dawara: an eclipse plugin for using i* on data warehouse requirement analysis. In: Proceedings of the 16th IEEE International Requirements Engineering, RE 2008, pp. 317\u2013318. IEEE (2008)","DOI":"10.1109\/RE.2008.40"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-319-12256-4_12","volume-title":"Advances in Conceptual Modeling","author":"Y Gou","year":"2014","unstructured":"Gou, Y., Ghose, A., Chang, C.-F., Dam, H.K., Miller, A.: Semantic monitoring and compensation in socio-technical processes. In: Indulska, M., Purao, S. (eds.) ER 2014. LNCS, vol. 8823, pp. 117\u2013126. Springer, Cham (2014). doi: 10.1007\/978-3-319-12256-4_12"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Hayes, J.H., Dekhtyar, A., Sundaram, S.K., Howard, S.: Helping analysts trace requirements: an objective look. In: Proceedings of the 12th IEEE International Requirements Engineering Conference, pp. 249\u2013259. IEEE (2004)","DOI":"10.1109\/ICRE.2004.1335682"},{"key":"29_CR19","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 (ICEBE 2005), pp. 535\u2013540. IEEE (2005)","DOI":"10.1109\/ICEBE.2005.110"},{"key":"29_CR20","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 (EDOC-2009). IEEE Computer Society Process (2009)","DOI":"10.1109\/EDOC.2009.24"},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/11961239_3","volume-title":"Advances in Knowledge Acquisition and Management","author":"G Koliadis","year":"2006","unstructured":"Koliadis, G., Ghose, A.: Relating business process models to goal-oriented requirements models in KAOS. In: Hoffmann, A., Kang, B., Richards, D., Tsumoto, S. (eds.) PKAW 2006. LNCS, vol. 4303, pp. 25\u201339. Springer, Heidelberg (2006). doi: 10.1007\/11961239_3"},{"key":"29_CR22","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-319-29510-7_12","volume-title":"Formal Techniques for Safety-Critical Systems","author":"T Aoki","year":"2016","unstructured":"Aoki, T., Traichaiyaporn, K., Chiba, Y., Matsubara, M., Nishi, M., Narisawa, F.: Modeling safety requirements of ISO26262 using goal trees and patterns. In: Artho, C., \u00d6lveczky, P.C. (eds.) FTSCS 2015. CCIS, vol. 596, pp. 206\u2013221. Springer, Cham (2016). doi: 10.1007\/978-3-319-29510-7_12"},{"key":"29_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/3-540-44652-4_41","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"T Meyer","year":"2001","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Social choice, merging, and elections. In: Benferhat, S., Besnard, P. (eds.) ECSQARU 2001. LNCS, vol. 2143, pp. 466\u2013477. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44652-4_41"},{"key":"29_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/3-540-45683-X_88","volume-title":"PRICAI 2002: Trends in Artificial Intelligence","author":"T Meyer","year":"2002","unstructured":"Meyer, T., Ghose, A., Chopra, S.: Syntactic representations of semantic merging operations. In: Ishizuka, M., Sattar, A. (eds.) PRICAI 2002. LNCS, vol. 2417, pp. 620\u2013620. Springer, Heidelberg (2002). doi: 10.1007\/3-540-45683-X_88"},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"Mirakhorli, M., Fakhry, A., Grechko, A., Wieloch, M., Cleland-Huang, J.: Archie: a tool for detecting, monitoring, and preserving architecturally significant code. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, New York, NY, USA, pp. 739\u2013742. ACM (2014)","DOI":"10.1145\/2635868.2661671"},{"key":"29_CR26","doi-asserted-by":"crossref","unstructured":"Panis, M.C.: Successful deployment of requirements traceability in a commercial engineering organization... really. In: Proceedings of the 18th IEEE International Requirements Engineering Conference (RE), pp. 303\u2013307. IEEE (2010)","DOI":"10.1109\/RE.2010.43"},{"key":"29_CR27","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.datak.2017.03.007","volume":"109","author":"M Santiputri","year":"2017","unstructured":"Santiputri, M., Ghose, A.K., Dam, H.K.: Mining task post-conditions: automating the acquisition of process semantics. Data Knowl. Eng. 109, 112\u2013125 (2017)","journal-title":"Data Knowl. Eng."},{"key":"29_CR28","doi-asserted-by":"crossref","unstructured":"Siegl, S., Hielscher, K.S., German, R.: Model based requirements analysis and testing of automotive systems with timed usage models. In: Proceedings of the 18th IEEE International Requirements Engineering Conference (RE), pp. 345\u2013350. IEEE (2010)","DOI":"10.1109\/RE.2010.49"},{"key":"29_CR29","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: ICAART, SciTePress, pp. 130\u2013143 (2013)","DOI":"10.5220\/0004255001300143"},{"key":"29_CR30","doi-asserted-by":"crossref","unstructured":"Valderas, P., Pelecha, V., Pastor, O., et al.: Requirements engineering for pervasive systems. A transformational approach. In: Null, pp. 351\u2013352. IEEE (2006)","DOI":"10.1109\/RE.2006.54"},{"issue":"9","key":"29_CR31","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"W Aalst Van der","year":"2004","unstructured":"Van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"29_CR32","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. Distrib. Parallel Databases 27, 271\u2013343 (2010)","journal-title":"Distrib. Parallel Databases"},{"key":"29_CR33","first-page":"61801","volume":"51","author":"M Winslett","year":"1988","unstructured":"Winslett, M.: Reasoning about action using a possible models approach. Urbana 51, 61801 (1988)","journal-title":"Urbana"},{"key":"29_CR34","doi-asserted-by":"crossref","unstructured":"Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: Proceedings of the 13th IEEE International Conference on Requirements Engineering, pp. 363\u2013372. IEEE (2005)","DOI":"10.1109\/RE.2005.61"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69904-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T12:05:27Z","timestamp":1750939527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69904-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699035","9783319699042"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69904-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}