{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:12:08Z","timestamp":1748664728027,"version":"3.41.0"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319252636"},{"type":"electronic","value":"9783319252643"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25264-3_38","type":"book-chapter","created":{"date-parts":[[2015,10,9]],"date-time":"2015-10-09T03:50:16Z","timestamp":1444362616000},"page":"514-527","source":"Crossref","is-referenced-by-count":3,"title":["Mining Process Task Post-Conditions"],"prefix":"10.1007","author":[{"given":"Metta","family":"Santiputri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya K.","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoa Khanh","family":"Dam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiong","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,8]]},"reference":[{"key":"38_CR1","doi-asserted-by":"crossref","unstructured":"Bacchelli, A., Lanza, M., Humpa, V.: RTFM (Read The Factual Mails)\u2013augmenting program comprehension with REmail. In: Proceedings of 15th IEEE European Conference on Software Maintenance and Reengineering (CSMR), pp. 15\u201324. IEEE (2011)","DOI":"10.1109\/CSMR.2011.6"},{"key":"38_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-77010-7_25","volume-title":"Web Information Systems Engineering \u2013 WISE 2007 Workshops","author":"M Born","year":"2007","unstructured":"Born, M., D\u00f6rr, F., Weber, I.: User-friendly semantic annotation in business process modeling. In: Weske, M., Hacid, M.-S., Godart, C. (eds.) WISE Workshops 2007. LNCS, vol. 4832, pp. 260\u2013271. Springer, Heidelberg (2007)"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Chan, K.C., Au, W.H.: An effective algorithm for mining interesting quantitative association rules. In: Proceedings of the 1997 ACM Symposium on Applied Computing, pp. 88\u201390. ACM (1997)","DOI":"10.1145\/331697.331714"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-89652-4_13","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"C Francescomarino Di","year":"2008","unstructured":"Di Francescomarino, C., Ghidini, C., Rospocher, M., Serafini, L., Tonella, P.: Reasoning on semantically annotated processes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol. 5364, pp. 132\u2013146. Springer, Heidelberg (2008)"},{"key":"38_CR5","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-642-19193-0_7","volume-title":"Semantic Web Services","author":"D Fensel","year":"2011","unstructured":"Fensel, D., Facca, F., Simperl, E., Toma, I.: Web service modeling ontology. Semantic Web Services, pp. 107\u2013129. Springer, Heidelberg (2011)"},{"issue":"1","key":"38_CR6","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/j.knosys.2011.07.005","volume":"25","author":"P Fournier-Viger","year":"2012","unstructured":"Fournier-Viger, P., Faghihi, U., Nkambou, R., Nguifo, E.M.: CMRules: mining sequential rules common to several sequences. Knowl. Based Syst. 25(1), 63\u201376 (2012)","journal-title":"Knowl. Based Syst."},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Fournier-Viger, P., Nkambou, R., Tseng, V.S.M.: RuleGrowth: mining sequential rules common to several sequences by pattern-growth. In: Proceedings of the 2011 ACM Symposium on Applied Computing, pp. 956\u2013961. ACM (2011)","DOI":"10.1145\/1982185.1982394"},{"key":"38_CR8","first-page":"7","volume":"99","author":"MN Garofalakis","year":"1999","unstructured":"Garofalakis, M.N., Rastogi, R., Shim, K.: SPIRIT: sequential pattern mining with regular expression constraints. Proc. VLDB 99, 7\u201310 (1999)","journal-title":"Proc. VLDB"},{"key":"38_CR9","unstructured":"Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. FBK-irst, Technical Report TR, 06\u2013004 (2008)"},{"key":"38_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":"Aditya K Ghose","year":"2007","unstructured":"Ghose, Aditya K., Koliadis, George: Auditing business process compliance. In: Kr\u00e4mer, Bernd J., Lin, Kwei-Jay, Narasimhan, Priya (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"issue":"2","key":"38_CR11","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":"38_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1007\/978-3-540-75183-0_24","volume-title":"Business Process Management","author":"CW G\u00fcnther","year":"2007","unstructured":"G\u00fcnther, C.W., van der Aalst, W.M.P.: Fuzzy mining \u2013 adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328\u2013343. Springer, Heidelberg (2007)"},{"key":"38_CR13","unstructured":"Hall, C., Harmon, P.: The 2005 Enterprise Architecture. Process Modeling and Simulation Tools Report, Technical report (2005)"},{"key":"38_CR14","unstructured":"Happel, H.J., Stojanovic, L.: Ontoprocess\u2013a prototype for semantic business process verification using SWRL rules. In: Proceedings of the 3rd European Semantic Web Conference (ESWC), June 2006"},{"issue":"1","key":"38_CR15","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1025824629047","volume":"22","author":"SK Harms","year":"2004","unstructured":"Harms, S.K., Deogun, J.S.: Sequential association rule mining with time lags. J. Intell. Inf. Syst. 22(1), 7\u201322 (2004)","journal-title":"J. Intell. Inf. Syst."},{"key":"38_CR16","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 IEEE International Enterprise Distributed Object Computing Conference (EDOC 2009), pp. 54\u201363, September 2009","DOI":"10.1109\/EDOC.2009.24"},{"issue":"2","key":"38_CR17","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1007\/s10796-009-9179-7","volume":"14","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. Inf. Syst. Front. 14(2), 155\u2013177 (2012)","journal-title":"Inf. Syst. Front."},{"key":"38_CR18","unstructured":"Hornung, T., Koschmider, A., Oberweis, A.: A recommender system for business process models. In: 17th Annual Workshop on Information Technologies and Systems (WITS) (2009)"},{"key":"38_CR19","doi-asserted-by":"crossref","unstructured":"Kim, M., Notkin, D.: Discovering and representing systematic code changes. In: Proceedings of the 31st International Conference on Software Engineering, pp. 309\u2013319. IEEE Computer Society (2009)","DOI":"10.1109\/ICSE.2009.5070531"},{"key":"38_CR20","unstructured":"Koliadis, G., Ghose, A.: Correlating business process and organizational models to manage change. In: Proceedings of the Australasian Conference on Information Systems, December 2006"},{"key":"38_CR21","unstructured":"Koliadis, G., Vranesevic, A., Bhuiyan, M., Krishna, A., Ghose, A.: A combined approach for supporting the business process model lifecycle. In: Proceedings of the 10th Pacific Asia Conference on Information Systems (PACIS 2006) (2006)"},{"key":"38_CR22","unstructured":"Koliadis, G., Ghose, A., Bhuiyan, M.: Correlating business process and organizational models to manage change. In: Proceedings of the Australasian Conference on Information Systems, pp. 1\u201310 (2006)"},{"issue":"3","key":"38_CR23","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1109\/TSE.2014.2362138","volume":"41","author":"S Lee","year":"2015","unstructured":"Lee, S., Kang, S., Kim, S., Staats, M.: The impact of view histories on edit recommendations. IEEE Trans. Softw. Eng. 41(3), 314\u2013330 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"38_CR24","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., Paolucci, M., McIlraith, S.A., Burstein, M., McDermott, D., McGuinness, D.L., Parsia, B., Payne, T.R., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing semantics to web services: the OWL-S approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26\u201342. Springer, Heidelberg (2005)"},{"key":"38_CR25","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., Marie, C.S. (eds.) RR 2007. LNCS, vol. 4524, pp. 31\u201342. Springer, Heidelberg (2007)"},{"key":"38_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","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 Trans. Web 4, 1\u201362 (2010)","journal-title":"ACM Trans. Web"},{"key":"38_CR27","doi-asserted-by":"crossref","unstructured":"Sawadsky, N., Murphy, G.C., Jiresal, R.: Reverb: recommending code-related web pages. In: Proceedings of the 2013 International Conference on Software Engineering, pp. 812\u2013821. IEEE Press (2013)","DOI":"10.1109\/ICSE.2013.6606627"},{"key":"38_CR28","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. 7350, pp. 159\u2013180. Springer, Heidelberg (2012)"},{"key":"38_CR29","doi-asserted-by":"crossref","unstructured":"Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: ICAART, pp. 130\u2013143. SciTePress (2013)","DOI":"10.5220\/0004255001300143"},{"key":"38_CR30","unstructured":"Thomas, O., Fellmann, M.: Semantic EPC: enhancing process modeling using ontology languages. In: SBPM, vol. 251 (2007)"},{"issue":"9","key":"38_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":"38_CR32","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the 3rd International Workshop on Semantic Business Process Management (SBPM08), CEUR-WS Proceedings, vol. 472 (2008)"},{"key":"38_CR33","unstructured":"Weijters, A., van Der Aalst, W.M., De Medeiros, A.A.: Process mining with the heuristics miner-algorithm. Technische Universiteit Eindhoven, Technical Report WP, vol. 166, pp. 1\u201334 (2006)"},{"key":"38_CR34","doi-asserted-by":"crossref","unstructured":"Wong, P.Y., Gibbons, J.: A relative timed semantics for BPMN. In: Proceedings of 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, vol. 229 of ENTCS, July 2008","DOI":"10.1016\/j.entcs.2009.06.029"},{"issue":"9","key":"38_CR35","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1109\/TSE.2004.52","volume":"30","author":"AT Ying","year":"2004","unstructured":"Ying, A.T., Murphy, G.C., Ng, R., Chu-Carroll, M.C.: Predicting source code changes by mining change history. IEEE Trans. Softw. Eng. 30(9), 574\u2013586 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"38_CR36","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TSE.2005.72","volume":"31","author":"T Zimmermann","year":"2005","unstructured":"Zimmermann, T., Zeller, A., Weissgerber, P., Diehl, S.: Mining version histories to guide software changes. IEEE Trans. Softw. Eng. 31(6), 429\u2013445 (2005)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25264-3_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T23:57:16Z","timestamp":1748649436000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25264-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319252636","9783319252643"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25264-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}