Abstract
A large and growing body of work explores the use of semantic annotation of business process designs, but these annotations can be difficult and expensive to acquire. This paper presents a data-driven approach to mining these annotations (and specifically post-conditions) from event logs in process execution histories which describe both task execution events (typically contained in process logs) and state update events (which we record in effect logs). We present an empirical evaluation, which suggests that the approach provides generally reliable results.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bacchelli, A., Lanza, M., Humpa, V.: RTFM (Read The Factual Mails)–augmenting program comprehension with REmail. In: Proceedings of 15th IEEE European Conference on Software Maintenance and Reengineering (CSMR), pp. 15–24. IEEE (2011)
Born, M., Dörr, 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–271. Springer, Heidelberg (2007)
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–90. ACM (1997)
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–146. Springer, Heidelberg (2008)
Fensel, D., Facca, F., Simperl, E., Toma, I.: Web service modeling ontology. Semantic Web Services, pp. 107–129. Springer, Heidelberg (2011)
Fournier-Viger, P., Faghihi, U., Nkambou, R., Nguifo, E.M.: CMRules: mining sequential rules common to several sequences. Knowl. Based Syst. 25(1), 63–76 (2012)
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–961. ACM (2011)
Garofalakis, M.N., Rastogi, R., Shim, K.: SPIRIT: sequential pattern mining with regular expression constraints. Proc. VLDB 99, 7–10 (1999)
Ghidini, C., Rospocher, M., Serafini, L.: A formalisation of BPMN in description logics. FBK-irst, Technical Report TR, 06–004 (2008)
Ghose, Aditya K., Koliadis, George: Auditing business process compliance. In: Krämer, Bernd J., Lin, Kwei-Jay, Narasimhan, Priya (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 169–180. Springer, Heidelberg (2007)
Ginsberg, M.L., Smith, D.E.: Reasoning about action I: a possible world approach. Artif. Intell. 35(2), 165–195 (1988)
Günther, C.W., van der Aalst, W.M.P.: Fuzzy mining – adaptive process simplification based on multi-perspective metrics. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 328–343. Springer, Heidelberg (2007)
Hall, C., Harmon, P.: The 2005 Enterprise Architecture. Process Modeling and Simulation Tools Report, Technical report (2005)
Happel, H.J., Stojanovic, L.: Ontoprocess–a prototype for semantic business process verification using SWRL rules. In: Proceedings of the 3rd European Semantic Web Conference (ESWC), June 2006
Harms, S.K., Deogun, J.S.: Sequential association rule mining with time lags. J. Intell. Inf. Syst. 22(1), 7–22 (2004)
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–63, September 2009
Hoffmann, J., Weber, I., Governatori, G.: On compliance checking for clausal constraints in annotated process models. Inf. Syst. Front. 14(2), 155–177 (2012)
Hornung, T., Koschmider, A., Oberweis, A.: A recommender system for business process models. In: 17th Annual Workshop on Information Technologies and Systems (WITS) (2009)
Kim, M., Notkin, D.: Discovering and representing systematic code changes. In: Proceedings of the 31st International Conference on Software Engineering, pp. 309–319. IEEE Computer Society (2009)
Koliadis, G., Ghose, A.: Correlating business process and organizational models to manage change. In: Proceedings of the Australasian Conference on Information Systems, December 2006
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)
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–10 (2006)
Lee, S., Kang, S., Kim, S., Staats, M.: The impact of view histories on edit recommendations. IEEE Trans. Softw. Eng. 41(3), 314–330 (2015)
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–42. Springer, Heidelberg (2005)
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–42. Springer, Heidelberg (2007)
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–62 (2010)
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–821. IEEE Press (2013)
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–180. Springer, Heidelberg (2012)
Smith, F., Proietti, M.: Rule-based behavioral reasoning on semantic business processes. In: ICAART, pp. 130–143. SciTePress (2013)
Thomas, O., Fellmann, M.: Semantic EPC: enhancing process modeling using ontology languages. In: SBPM, vol. 251 (2007)
van der Aalst, W., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128–1142 (2004)
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)
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–34 (2006)
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
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–586 (2004)
Zimmermann, T., Zeller, A., Weissgerber, P., Diehl, S.: Mining version histories to guide software changes. IEEE Trans. Softw. Eng. 31(6), 429–445 (2005)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Santiputri, M., Ghose, A.K., Dam, H.K., Wen, X. (2015). Mining Process Task Post-Conditions. In: Johannesson, P., Lee, M., Liddle, S., Opdahl, A., Pastor López, Ó. (eds) Conceptual Modeling. ER 2015. Lecture Notes in Computer Science(), vol 9381. Springer, Cham. https://doi.org/10.1007/978-3-319-25264-3_38
Download citation
DOI: https://doi.org/10.1007/978-3-319-25264-3_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25263-6
Online ISBN: 978-3-319-25264-3
eBook Packages: Computer ScienceComputer Science (R0)