{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:09Z","timestamp":1779074589571,"version":"3.51.4"},"reference-count":63,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,5,24]],"date-time":"2015-05-24T00:00:00Z","timestamp":1432425600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Inf Syst Front"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s10796-015-9558-1","type":"journal-article","created":{"date-parts":[[2015,5,23]],"date-time":"2015-05-23T00:14:13Z","timestamp":1432340053000},"page":"429-455","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":55,"title":["Normative requirements for regulatory compliance: An abstract formal framework"],"prefix":"10.1007","volume":"18","author":[{"given":"Mustafa","family":"Hashmi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moe Thandar","family":"Wynn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,5,24]]},"reference":[{"issue":"3","key":"9558_CR1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/s12599-011-0155-7","volume":"3","author":"R Accorsi","year":"2011","unstructured":"Accorsi, R., Lowis, L., & Sato, Y. (2011). Automated Certification for Compliant Cloud-based Business Processes. Business & Information Systems Engineering, 3(3), 145\u2013154. doi: 10.1007\/s12599-011-0155-7 .","journal-title":"Business & Information Systems Engineering"},{"key":"9558_CR2","unstructured":"\u00c5gotnes, T., van der Hoek, W., Rodr\u00edguez-Aguilar, J.A., Sierra, C., & Wooldridge, M. (2007). On the logic of normative systems. In Normative multi-agent systems, 18.03. - 23.03.2007. http: \/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/921 ."},{"key":"9558_CR3","unstructured":"Awad, A. (2010). A compliance management framework for business process models. PhD thesis, HPI, Potsdam University, Germany."},{"key":"9558_CR4","unstructured":"Awad, A., & Weske, M. (2009). Visualisation of compliance violations in business process models. In 5th workshop on business process intelligence (Vol. 9, pp. 182\u2013193)."},{"key":"9558_CR5","doi-asserted-by":"crossref","unstructured":"Awad, A., Decker, G., & Weske, M. (2008). Efficient compliance checking using BPMN-Q and temporal logic. In BPM, LNCS (pp. 326\u2013341). Springer.","DOI":"10.1007\/978-3-540-85758-7_24"},{"issue":"1","key":"9558_CR6","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., & Weske, M. (2011). Visually specifying compliance rules and explaining their violations for business processes. Journal of Visual Languages & Computing, 22(1), 30\u201355.","journal-title":"Journal of Visual Languages & Computing"},{"issue":"2","key":"9558_CR7","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF03342739","volume":"5","author":"J Becker","year":"2012","unstructured":"Becker, J., Delfmann, P., Eggert, M., & Schwittay, S. (2012). Generalizability and applicability of model-based business process compliance-checking approaches \u2013 a state-of-the-art analysis and research Roadmap. BuR - Business Research Journal, 5(2), 221\u2013247.","journal-title":"BuR - Business Research Journal"},{"key":"9558_CR8","unstructured":"Bonatti, P.A., Shahmehri, N., Duma, C., Olmedilla, D., Nejdl, W., Baldoni, M., Baroglio, C., Martelli, A, Coraggio, P., Antoniou, G., Peer, J, & Fuchs, N.E. (2004). Rule-based policy specification: state of the art and future work. REWERSE Project Report-i2-D1."},{"key":"9558_CR9","unstructured":"Cabannilas, C., Resinas, M., & Ruiz-Cortes, A. (2010). Hints on how to face business process compliance.. In III Taller de Procesos de Negocio e Ingenieria de Servicios PNIS10 in JISBD10 (Vol. 4, pp. 26\u201332)."},{"key":"9558_CR10","doi-asserted-by":"crossref","unstructured":"Colombo Tosatto, S., Governatori, G., & Kelsen, P. (2014). Business process regulatory compliance is hard. IEEE Transactions on Services Computing PP(99), 1\u20131. doi: 10.1109\/TSC.2014.2341236 .","DOI":"10.1109\/TSC.2014.2341236"},{"key":"9558_CR11","unstructured":"COMPAS (2008). Compliance driven models, languages, and architectures for services. In 7th framework programme for ICT."},{"key":"9558_CR12","doi-asserted-by":"crossref","unstructured":"Daniel, F., Casati, F., D\u2019Andrea, V., Mulo, E., Zdun, U., Dustdar, S., Strauch, S., Schumm, D., Leymann, F., Sebahi, S., de Marchi, F., & Hacid, M.S. (2009). Business compliance governance in service-oriented architectures. In International conference on advanced information networking and applications, 2009. AINA \u201909 (pp. 113\u2013120).","DOI":"10.1109\/AINA.2009.112"},{"key":"9558_CR13","unstructured":"DECLARE (2010). Declarative process models. http:\/\/www.win.tue.nl\/declare\/ ."},{"issue":"12","key":"9558_CR14","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., & Ouyang, C. (2008). Semantics and analysis of business process models in BPMN. Information and Software Technology, 50(12), 1281\u20131294.","journal-title":"Information and Software Technology"},{"key":"9558_CR15","unstructured":"El Kharbili, M. (2012). Business process regulatory compliance management solution frameworks: a comparative evaluation. In APCCM 2012, CRPIT (Vol. 130, pp. 23\u201332)."},{"key":"9558_CR16","doi-asserted-by":"crossref","unstructured":"Elgammal, A., Turetken, O., Heuvel, W.J., & Papazoglou, M. (2010). Root-cause analysis of design-time compliance violations on the basis of property patterns. In P. Maglio, M. Weske, J. Yang, & M. Fantinato (Eds.), , Service-oriented computing, lecture notes in computer science. (Vol. 6470, pp. 17\u201331). Berlin Heidelberg: Springer. doi: 10.1007\/978-3-642-17358-5_2 .","DOI":"10.1007\/978-3-642-17358-5_2"},{"key":"9558_CR17","doi-asserted-by":"crossref","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.J., & Papazoglou, M. (2011). On the formal specification of regulatory compliance: a comparative analysis.. In Proceedings of ICSOC\u201910 (pp. 27\u201338).","DOI":"10.1007\/978-3-642-19394-1_4"},{"key":"9558_CR18","doi-asserted-by":"crossref","unstructured":"Elgammal, A., Oktay, T., & Heuvel, W.J. (2012). Using patterns for the analysis and resolution of compliance violations. International Journal of Cooperative Information Systems, 21(31). doi: 10.1142\/S0218843012400023 .","DOI":"10.1142\/S0218843012400023"},{"key":"9558_CR19","doi-asserted-by":"crossref","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.J., & Papazoglou, M. (2014). Formalizing and applying compliance patterns for business process compliance. Software & Systems Modeling, 1\u201328. doi: 10.1007\/s10270-014-0395-3 .","DOI":"10.1007\/s10270-014-0395-3"},{"key":"9558_CR20","unstructured":"Fellmann, M., & Zasada, A. (2014). State-of-the-art of business process compliance approaches. In 22st European conference on information systems, ECIS 2014, Tel Aviv, Israel, June 9-11, 2014. http:\/\/aisel.aisnet.org\/ ecis2014\/proceedings\/track06\/8 ."},{"key":"9558_CR21","doi-asserted-by":"crossref","unstructured":"Gambini, M., Rosa, M., Migliorini, S., & Hofstede, A.H.M. (2011). Automated error correction of business process models . In S. Rinderle-Ma, F. Toumani, & K. Wolf (Eds.), Business process management, LNCS (Vol. 6896, pp. 148\u2013165). Berlin Heidelberg: Springer.","DOI":"10.1007\/978-3-642-23059-2_14"},{"key":"9558_CR22","doi-asserted-by":"crossref","unstructured":"Ghose, A., & Koliadis, G. (2007). Auditing business process compliance. In B. Kr\u00e4mer, K.J. Lin, & P. Narasimhan (Eds.), , Service-oriented computing (ICSOC 2007), LNCS (Vol. 4749, pp. 169\u2013180). New York: Springer. doi: 10.1007\/978-3-540-74974-5_14 .","DOI":"10.1007\/978-3-540-74974-5_14"},{"key":"9558_CR23","doi-asserted-by":"crossref","unstructured":"Goedertier, S., & Vanthienen, J. (2006). Designing compliant business processes with obligations and permissions. In J. Eder & S. Dustdar (Eds.), Business process management workshops, lecture notes in computer science (Vol. 4103, pp. 5\u201314). Berlin Heidelberg: Springer. doi: 10.1007\/11837862_2 .","DOI":"10.1007\/11837862_2"},{"key":"9558_CR24","doi-asserted-by":"crossref","unstructured":"Gordon, T.F., Governatori, G., & Rotolo, A. (2009). Rules and norms: requirements for rule interchange languages in the legal domain. In RuleML 2009, LNCS (Vol. 5858, pp. 282\u2013296). Springer.","DOI":"10.1007\/978-3-642-04985-9_26"},{"key":"9558_CR25","doi-asserted-by":"crossref","unstructured":"Governatori, G. (2005). Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3), 181\u2013216. doi: 10.1142\/S0218843005001092 .","DOI":"10.1142\/S0218843005001092"},{"key":"9558_CR26","doi-asserted-by":"crossref","unstructured":"Governatori, G. (2015). Thou Shalt is not you will. In Proceedings of the 15th international conference on artificial intelligence and law (ICAIL 2015). ACM. doi: 10.1145\/2746090.2746105 .","DOI":"10.1145\/2746090.2746105"},{"key":"9558_CR27","unstructured":"Governatori, G., & Rotolo, A. (2010a). A conceptually rich model of business process compliance. In Proceedings of APCCM \u201910. (Vol. 110, pp. 3\u201312)."},{"key":"9558_CR28","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2010b). Norm compliance in business process modeling. In RuleML 2010: 4th international web rule symposium (pp. 194\u2013209). Springer. doi: 10.1007\/978-3-642-16289-3_17 .","DOI":"10.1007\/978-3-642-16289-3_17"},{"key":"9558_CR29","doi-asserted-by":"crossref","unstructured":"Governatori, G. , & Sadiq, S. (2009). The journey to business process compliance.. In Handbook of research on business process management, IGI Global (pp. 426\u2013454).","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"9558_CR30","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S.W., & Weber, I. (2008). Detecting regulatory compliance for business process models through semantic annotations.. In Business process management workshops\u201908 (pp. 5\u201317)."},{"key":"9558_CR31","doi-asserted-by":"crossref","unstructured":"Hashmi, M., & Governatori, G. (2013). A methodological evaluation of business process compliance management frameworks. In M. Song, M. Wynn, & J. Liu (Eds.), , Asia pacific business process management, LNBIP (Vol. 159, pp. 106\u2013115). Switzerland: Springer.","DOI":"10.1007\/978-3-319-02922-1_8"},{"key":"9558_CR32","doi-asserted-by":"crossref","unstructured":"Hashmi, M., Governatori, G., & Wynn, M.T. (2012). Business process data compliance.. In Rules on the web: research and applications - 6th international symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings (pp. 32\u201346). doi: 10.1007\/978-3-642-32689-9_4 .","DOI":"10.1007\/978-3-642-32689-9_4"},{"key":"9558_CR33","doi-asserted-by":"crossref","unstructured":"Hashmi, M., Governatori, G., & Wynn, M.T. (2013). Normative requirements for business process compliance.. In Service research and innovation - third Australian Symposium, ASSRI 2013, Sydney, NSW, Australia, November 27-29, 2013, revised selected papers (pp. 100\u2013116). doi: 10.1007\/978-3-319-07950-9_8 .","DOI":"10.1007\/978-3-319-07950-9_8"},{"key":"9558_CR34","doi-asserted-by":"crossref","unstructured":"Hashmi, M., Governatori, G., & Wynn, M.T. (2014). Modeling obligations with event-calculus.. In Rules on the web. From theory to applications - 8th International Symposium, RuleML 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings (pp. 296\u2013310). doi: 10.1007\/978-3-319-09870-8_22 .","DOI":"10.1007\/978-3-319-09870-8_22"},{"key":"9558_CR35","doi-asserted-by":"crossref","unstructured":"Hee, K., Hidders, J., Houben, G.J., Paredaens, J., & Thiran, P. (2010). On-the-fly auditing of business processes In K. Jensen, S. Donatelli, & M. Koutny (Eds.), , Transactions on Petri nets and other models of concurrency IV, LNCS (Vol. 6550, pp. 144\u2013173). New York: Springer.","DOI":"10.1007\/978-3-642-18222-8_7"},{"key":"9558_CR36","doi-asserted-by":"crossref","unstructured":"Herrestad, H. (1991). Norms and formalization. In: ICAIL\u201991, ACM, (pp. 175\u2013184). doi: 10.1145\/112646.112667 .","DOI":"10.1145\/112646.112667"},{"key":"9558_CR37","doi-asserted-by":"crossref","unstructured":"Hinge, K., Ghose, A., & Koliadis, G. (2009). Process SEER: A Tool for Semantic Effect Annotation of Business Process Models.. In EDOC \u201909. IEEE international (pp. 54\u201363). doi: 10.1109\/EDOC.2009.24 .","DOI":"10.1109\/EDOC.2009.24"},{"issue":"2","key":"9558_CR38","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/s10796-009-9179-7","volume":"14","author":"J Hoffmann","year":"2012","unstructured":"Hoffmann, J., Weber, I., & Governatori, G. (2012). On compliance checking for clausal constraints in annotated process models. Information Systems Frontiers, 14(2), 155\u2013177.","journal-title":"Information Systems Frontiers"},{"key":"9558_CR39","unstructured":"Jiang, J., Dignum, V., Aldewereld, H., Dignum, F., & Tan, Y.H. (2013). Norm compliance checking. In Proceedings of the 2013 international conference on autonomous agents and multi-agent systems, international foundation for autonomous agents and multiagent systems, Richland, SC, AAMAS \u201913 (pp. 1121\u20131122). http:\/\/dl.acm.org\/citation.cfm?id=2484920.2485101 ."},{"key":"9558_CR40","doi-asserted-by":"crossref","unstructured":"Jiang, J., Aldewereld, H., Dignum, V., Wang, S., & Baida, Z. (2014). Regulatory Compliance Of Business Processes. AI & SOCIETY, (pp. 1\u201310). doi: 10.1007\/s00146-014-0536-9 .","DOI":"10.1007\/s00146-014-0536-9"},{"key":"9558_CR41","unstructured":"Kiepuszewski, B., Hofstede, A.H.Mt., & Bussler, C. (2000). On structured workflow modeling.. In Proceedings of the 12th international conference on advanced information systems engineering, CAiSE \u201900 (pp. 431\u2013445). London: Springer."},{"issue":"0","key":"9558_CR42","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.datak.2013.03.002","volume":"87","author":"IA Letia","year":"2013","unstructured":"Letia, I.A., & Groza, A. (2013). Compliance checking of integrated business processes. Data & Knowledge Engineering, 87(0), 1\u201318. doi: 10.1016\/j.datak.2013.03.002 .","journal-title":"Data & Knowledge Engineering"},{"key":"9558_CR43","unstructured":"Ly, L.T., Knuplesch, D., Rinderle-Ma, S., Goeser, K., Reichert, M., & Dadam, P. (2010). SeaFlows toolset - compliance verification Made Easy.. In CAiSE\u201910 Demos."},{"issue":"2","key":"9558_CR44","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/s10796-009-9185-9","volume":"14","author":"LT Ly","year":"2012","unstructured":"Ly, L.T., Rinderle-Ma, S., G\u00f6ser, K., & Dadam, P. (2012). On enabling integrated process compliance with semantic constraints in process management systems. Information Systems Frontiers, 14(2), 195\u2013219.","journal-title":"Information Systems Frontiers"},{"key":"9558_CR45","doi-asserted-by":"crossref","unstructured":"Ly, L.T., Maggi, F.M., Montali, M., Rinderle, S., & vanvan der Aalst, W. (2013). A framework for the systematic comparison and evaluation of compliance monitoring approaches.. In Proceeding of EDOC.","DOI":"10.1109\/EDOC.2013.11"},{"key":"9558_CR46","doi-asserted-by":"crossref","unstructured":"Maggi, F., Montali, M., Westergaard, M., & van der Aalst, W. (2011). Monitoring business constraints with linear temporal logic: an approach based on coloured automata.. In BPM, LNCS 6896 (pp. 132\u2013147). Springer.","DOI":"10.1007\/978-3-642-23059-2_13"},{"issue":"1","key":"9558_CR47","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/s11761-012-0121-3","volume":"7","author":"E Mulo","year":"2013","unstructured":"Mulo, E., Zdun, U., & Dustdar, S. (2013). Domain-specific language for event-based compliance monitoring in process-driven soas. Service Oriented Computing and Applications, 7(1), 59\u201373. doi: 10.1007\/s11761-012-0121-3 .","journal-title":"Service Oriented Computing and Applications"},{"issue":"4","key":"9558_CR48","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4), 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"key":"9558_CR49","doi-asserted-by":"crossref","unstructured":"Orri\u00ebns, B., Yang, J., & Papazoglou, M.P. (2003). A framework for business rule driven service composition. In B. Benatallah , & M.-C. Shan (Eds.), Technologies for e-services, lecture notes in computer science (Vol. 2819, pp. 14\u201327). Berlin Heidelberg: Springer. doi: 10.1007\/978-3-540-39406-8_2 .","DOI":"10.1007\/978-3-540-39406-8_2"},{"key":"9558_CR50","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., Breutel, S., & ter Hofstede A.H.M. (2006). Translating Standard Process Models to BPEL.. In CAiSE (pp. 417\u2013432).","DOI":"10.1007\/11767138_28"},{"key":"9558_CR51","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., & Mendling, J. (2009). From business process models to process-oriented software systems. ACM Trans Softw Eng Methodol, 19(1).","DOI":"10.1145\/1555392.1555395"},{"key":"9558_CR52","doi-asserted-by":"crossref","unstructured":"Pesic, M., & van der Aalst, W.M.P. (2006). A declarative approach for flexible business processes management. In J. Eder, & S. Dustdar (Eds.), Business process management workshops, lecture notes in computer science (Vol. 4103, pp. 169\u2013180). Berlin Heidelberg: Springer. doi: 10.1007\/11837862_18 .","DOI":"10.1007\/11837862_18"},{"key":"9558_CR53","doi-asserted-by":"crossref","unstructured":"Ramezani, E., Fahland, D., van der Werf, J., & Mattheis, P. (2012). Separating compliance management and business process management. In F. Daniel, K. Barkaoui, & S. Dustdar (Eds.), , Business process management workshops, lecture notes in business information processing (Vol. 100, pp. 459\u2013464). Berlin Heidelberg: Springer. doi: 10.1007\/978-3-642-28115-0_43 .","DOI":"10.1007\/978-3-642-28115-0_43"},{"key":"9558_CR54","unstructured":"Ramezani, E., Fahland, D., van Dongen, B.F., & van der Aalst, W.M.P. (2013). Diagnostic information for compliance checking of temporal compliance requirements.. In CAiSE (pp. 304\u2013320)."},{"key":"9558_CR55","doi-asserted-by":"crossref","unstructured":"Rodr\u00ecguez, C., Schleicher, D., Daniel, F., Casati, F., Leymann, F., & Wagner, S. (2013). Soa-enabled compliance management: instrumenting, assessing, and analyzing service-based business processes. Service Oriented Computing and Applications, 7(4), 275\u2013292. doi: 10.1007\/s11761-013-0129-3 .","DOI":"10.1007\/s11761-013-0129-3"},{"key":"9558_CR56","doi-asserted-by":"crossref","unstructured":"Sadiq, S., Governatori, G., & Namiri, K. (2007). Modeling control objectives for business process compliance.. In Proceedings of BPM\u201907 (pp. 149\u2013164). Springer. http:\/\/portal.acm.org\/citation.cfm?id=1793114.1793130 .","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"9558_CR57","unstructured":"Sartor, G. (2005). Legal reasoning: a cognitive approach to the law. Springer."},{"key":"9558_CR58","doi-asserted-by":"crossref","unstructured":"Turki, S., & Bjekovic-Obradovic, M. (2010). Compliance in e-government service engineering: state-of-the-art. In Exploring services science, LNBIP (pp. 270\u2013275). Springer.","DOI":"10.1007\/978-3-642-14319-9_23"},{"key":"9558_CR59","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P (1998). The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems, and Computers, 8(1), 21\u201366.","DOI":"10.1142\/S0218126698000043"},{"key":"9558_CR60","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P. (2000). Workflow verification: finding control-flow errors using petri-net-based techniques. In W.M.P. van der Aalst, J. Desel, & A. Oberweis (Eds.), , Business process management: models, techniques, and empirical studies.","DOI":"10.1007\/3-540-45594-9_11"},{"issue":"2","key":"9558_CR61","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W van der Aalst","year":"2012","unstructured":"van der Aalst, W., Adriansyah, A., & van Dongen, B. (2012). Replaying history on process models for conformance checking and performance analysis. Wiley Int Rev Data Min and Knowl Disc, 2(2), 182\u2013192.","journal-title":"Wiley Int Rev Data Min and Knowl Disc"},{"issue":"4","key":"9558_CR62","doi-asserted-by":"crossref","first-page":"791","DOI":"10.1016\/j.is.2010.12.005","volume":"36","author":"H Weigand","year":"2011","unstructured":"Weigand, H., van den Heuvel, W.J., & Hiel, M. (2011). Business policy compliance in service-oriented systems. Information Systems, 36(4), 791\u2013807.","journal-title":"Information Systems"},{"issue":"10","key":"9558_CR63","doi-asserted-by":"crossref","first-page":"999","DOI":"10.1016\/j.datak.2010.06.001","volume":"69","author":"L Wen","year":"2010","unstructured":"Wen, L., Wang, J., van der Aalst, W.M., Huang, B., & Sun, J. (2010). Mining process models with prime invisible tasks. Data & Knowledge Engineering, 69(10), 999\u20131021.","journal-title":"Data & Knowledge Engineering"}],"container-title":["Information Systems Frontiers"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-015-9558-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10796-015-9558-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10796-015-9558-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T09:12:02Z","timestamp":1566724322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10796-015-9558-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,24]]},"references-count":63,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["9558"],"URL":"https:\/\/doi.org\/10.1007\/s10796-015-9558-1","relation":{},"ISSN":["1387-3326","1572-9419"],"issn-type":[{"value":"1387-3326","type":"print"},{"value":"1572-9419","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,5,24]]}}}