From event logs to goals: a systematic literature review of goal-oriented process mining

citation_journal_title=Int J Med Informatics; citation_title=Challenges to inter-departmental coordination of patient transfers: a workflow perspective; citation_author=J Abraham, MC Reddy; citation_volume=79; citation_issue=2; citation_publication_date=2010; citation_pages=112-122; citation_doi=10.1016/j.ijmedinf.2009.11.001; citation_id=CR1 Akhigbe O, Amyot D, Anda AA, Lessard L, Xiao D (2016) Consistency analysis for User Requirements Notation models. In: iStar 2016—ninth international i* workshop, CEUR-WS, vol 1674, pp 43–48 citation_journal_title=Enterprise Inf Syst; citation_title=A literature review on business process modelling: new frontiers of reusability; citation_author=L Aldin, S Cesare; citation_volume=5; citation_issue=3; citation_publication_date=2011; citation_pages=359-383; citation_doi=10.1080/17517575.2011.557443; citation_id=CR3 citation_journal_title=Int J Intell Syst; citation_title=Evaluating goal models within the Goal-oriented requirement language; citation_author=D Amyot, S Ghanavati, J Horkoff, G Mussbacher, L Peyton, E Yu; citation_volume=25; citation_issue=8; citation_publication_date=2010; citation_pages=841-877; citation_doi=10.1002/int.20433; citation_id=CR4 citation_title=A lightweight GRL profile for i* modeling; citation_inbook_title=Advances in conceptual modeling—challenging perspectives; citation_publication_date=2009; citation_pages=254-364; citation_id=CR5; citation_author=D Amyot; citation_author=J Horkoff; citation_author=D Gross; citation_author=G Mussbacher; citation_publisher=Springer citation_journal_title=J Softw; citation_title=User Requirements Notation: the first ten years, the next ten years; citation_author=D Amyot, G Mussbacher; citation_volume=6; citation_issue=5; citation_publication_date=2011; citation_pages=747-768; citation_doi=10.4304/jsw.6.5.747-768; citation_id=CR6 citation_title=Computational Science and Its Applications – ICCSA 2012; citation_publication_date=2012; citation_id=CR7; citation_publisher=Springer Berlin Heidelberg citation_title=Goal-Heuristic Analysis Method for an Adaptive Process Mining; citation_inbook_title=Lecture Notes in Electrical Engineering; citation_publication_date=2011; citation_pages=409-418; citation_id=CR8; citation_author=Su-Jin Baek; citation_author=Jong-Won Ko; citation_author=Gui-Jung Kim; citation_author=Jung-Soo Han; citation_author=Young-Jae Song; citation_publisher=Springer Netherlands citation_journal_title=Ind Mark Manage; citation_title=New managerial challenges from supply chain opportunities; citation_author=RH Ballou, SM Gilbert, A Mukherjee; citation_volume=29; citation_issue=1; citation_publication_date=2000; citation_pages=7-18; citation_doi=10.1016/S0019-8501(99)00107-8; citation_id=CR9 citation_journal_title=Ann Math Stat; citation_title=A maximization technique occurring in the statistical analysis of probabilistic functions of Markov chains; citation_author=LE Baum, T Petrie, G Soules, N Weiss; citation_volume=41; citation_issue=1; citation_publication_date=1970; citation_pages=164-171; citation_doi=10.1214/aoms/1177697196; citation_id=CR10 Bernard G, Andritsos P (2017) CJM-ex: Goal-oriented exploration of customer journey maps using event logs and data analytics. In: BPM demo track and BPM dissertation award (BPM-D&DA 2017), CEUR-WS Vol-1920 (paper 172) Bernard G, Andritsos P (2017) A process mining based model for customer journey mapping. In: Proceedings of the forum and doctoral consortium papers presented at the 29th international conference on advanced information systems engineering (CAiSE 2017). CEUR-WS vol 1848. pp 46–56 citation_journal_title=J Mach Learn Res; citation_title=Latent dirichlet allocation; citation_author=DM Blei, AY Ng, MI Jordan; citation_volume=3; citation_publication_date=2003; citation_pages=993-1022; citation_id=CR13 citation_journal_title=Auton Agent Multi-Agent Syst; citation_title=Tropos: an agent-oriented software development methodology; citation_author=P Bresciani, A Perini, P Giorgini, F Giunchiglia, J Mylopoulos; citation_volume=8; citation_issue=3; citation_publication_date=2004; citation_pages=203-236; citation_doi=10.1023/B:AGNT.0000018806.20944.ef; citation_id=CR14 citation_title=Mining Configurable Process Models from Collections of Event Logs; citation_inbook_title=Lecture Notes in Computer Science; citation_publication_date=2013; citation_pages=33-48; citation_id=CR15; citation_author=J. C. A. M. Buijs; citation_author=B. F. van Dongen; citation_author=W. M. P. van der Aalst; citation_publisher=Springer Berlin Heidelberg Cailliau A, van Lamsweerde A (2014) Integrating exception handling in goal models. In: Requirements engineering conference (RE), 2014 IEEE 22nd International, pp 43–52. IEEE CS. https://doi.org/10.1109/re.2014.6912246 citation_journal_title=Decis Support Syst; citation_title=Evaluating the effect of best practices for business process redesign: an evidence-based approach based on process mining techniques; citation_author=M Cho, M Song, M Comuzzi, S Yoo; citation_volume=104; citation_publication_date=2017; citation_pages=92-103; citation_doi=10.1016/j.dss.2017.10.004; citation_id=CR17 citation_title=Non-Functional Requirements in Software Engineering; citation_publication_date=2000; citation_id=CR18; citation_author=Lawrence Chung; citation_author=Brian A. Nixon; citation_author=Eric Yu; citation_author=John Mylopoulos; citation_publisher=Springer US Cook JE, Wolf AL (1995) Process discovery and validation through event-data analysis. In: ICSE’95—Proceedings of the 17th international conference on software engineering. ACM, pp 73–82 citation_journal_title=ACM Trans Softw Eng Methodol; citation_title=Discovering models of software processes from event-based data; citation_author=JE Cook, AL Wolf; citation_volume=7; citation_issue=3; citation_publication_date=1998; citation_pages=215-249; citation_doi=10.1145/287000.287001; citation_id=CR20 Dąbrowski J (2017) Towards an adaptive framework for goal-oriented strategic decision-making. In: Requirements engineering conference (RE), 2017 IEEE 25th international. IEEE, pp 538–543 https://doi.org/10.1109/re.2017.53 Dabrowski J, Kifetew FM, Muñante D, Letier E, Siena A, Susi A (2017) Discovering requirements through goal-driven process mining. In: 2017 IEEE 25th international requirements engineering conference workshops REW, IEEE, pp 199–203 https://doi.org/10.1109/rew.2017.61 citation_title=Enhancing process models to improve business performance: a methodology and case studies; citation_inbook_title=OTM confederated international conferences “On the move to meaningful internet systems”; citation_publication_date=2017; citation_pages=232-251; citation_id=CR23; citation_author=M Dees; citation_author=M Leoni; citation_author=F Mannhardt; citation_publisher=Springer citation_journal_title=Int J Inf Syst Model Design (IJISMD); citation_title=Intentional process mining: discovering and modeling the goals behind processes using supervised learning; citation_author=R Deneckère, C Hug, G Khodabandelou, C Salinesi; citation_volume=5; citation_issue=4; citation_publication_date=2014; citation_pages=22-47; citation_doi=10.4018/ijismd.2014100102; citation_id=CR24 Dowson M (1987) Iteration in the software process; review of the 3rd international software process workshop. In: ICSE’87 - proceedings of the 9th international conference on software engineering, pp 36–41. IEEE CS EDImine (2011) EDImine—mining inter-organizational business processes. Retrieved from http://edimine.ec.tuwien.ac.at/ El Kharbili M, de Medeiros AKA, Stein S, van der Aalst WM (2008) Business process compliance checking: current state and future challenges. In: Modellierung betrieblicher Informationssysteme (MobIS 2018), LNI 141, pp 107–113. GI-Edition Epure EV, Hug C, Deneckère R, Brinkkemper S (2013) Intention-mining: a solution to process participant support in process aware information systems. Technical Report 2013-020, Department of Information and Computing Sciences, Utrecht University, The Netherlands citation_title=What shall I do next? Intention mining for flexible process enactment; citation_inbook_title=Advanced information systems engineering; citation_publication_date=2014; citation_pages=473-487; citation_id=CR29; citation_author=EV Epure; citation_author=C Hug; citation_author=R Deneckère; citation_author=S Brinkkemper; citation_publisher=Springer citation_journal_title=Inf Syst; citation_title=Model repair—aligning process models to reality; citation_author=D Fahland, WMP Aalst; citation_volume=47; citation_publication_date=2015; citation_pages=220-243; citation_doi=10.1016/j.is.2013.12.007; citation_id=CR30 Feldt R, Magazinius A (2010) Validity threats in empirical software engineering research-an initial survey. In: SEKE 2010—proceedings of the 22nd international conference on software engineering and knowledge engineering. KSI Research Inc, pp 374–379 citation_journal_title=Int J Oper Prod Manag; citation_title=Towards consistent performance management systems; citation_author=SDP Flapper, L Fortuin, PPM Stoop; citation_volume=16; citation_issue=7; citation_publication_date=1996; citation_pages=27-37; citation_doi=10.1108/01443579610119144; citation_id=CR32 Fluxicon (2016). Disco. Retrieved from fluxicon.com/disco/ citation_journal_title=Proc IEEE; citation_title=The viterbi algorithm; citation_author=GD Forney; citation_volume=61; citation_issue=3; citation_publication_date=1973; citation_pages=268-278; citation_doi=10.1109/PROC.1973.9030; citation_id=CR34 citation_title=Rational Software Agents: From Theory to Practice; citation_inbook_title=Agent Technology; citation_publication_date=1998; citation_pages=139-160; citation_id=CR35; citation_author=M. Georgeff; citation_author=A. Rao; citation_publisher=Springer Berlin Heidelberg Ghanavati S, Amyot D, Peyton L (2011) A systematic review of goal-oriented requirements management frameworks for business process compliance. In: 2011 fourth international workshop on Requirements engineering and law (RELAW), IEEE CS. pp 25–34 https://doi.org/10.1109/relaw.2011.6050270 Ghasemi M (2018) Towards goal-oriented process mining. In: Requirements engineering conference (RE), IEEE 26th international. IEEE CS, pp 484–489 https://doi.org/10.1109/re.2018.00066 Ghasemi M (2018) What requirements engineering can learn from process mining. In: 1st international workshop on learning from other disciplines for requirements engineering (D4RE), IEEE CS, pp 8–11. https://doi.org/10.1109/d4re.2018.00008 citation_journal_title=Int J Electron Healthcare; citation_title=Process mining in healthcare: a systematised literature review; citation_author=M Ghasemi, D Amyot; citation_volume=9; citation_issue=1; citation_publication_date=2016; citation_pages=60-88; citation_doi=10.1504/IJEH.2016.078745; citation_id=CR39 citation_journal_title=IEEE Softw; citation_title=The crowd in requirements engineering: the landscape and challenges; citation_author=EC Groen, N Seyff, R Ali, F Dalpiaz, J Doerr, E Guzman, M Hosseini, J Marco, M Oriol, A Perini, M Stade; citation_volume=34; citation_issue=2; citation_publication_date=2017; citation_pages=44-52; citation_doi=10.1109/ms.2017.33; citation_id=CR40 citation_journal_title=Appl Sci; citation_title=A goal-driven evaluation method based on process mining for healthcare processes; citation_author=T Gurgen Erdogan, A Tarhan; citation_volume=8; citation_issue=6; citation_publication_date=2018; citation_pages=894; citation_doi=10.3390/app8060894; citation_id=CR41 citation_journal_title=J Softw Main Evol Res Practice; citation_title=Capturing variability in business process models: the Provop approach; citation_author=A Hallerbach, T Bauer, M Reichert; citation_volume=22; citation_issue=6–7; citation_publication_date=2010; citation_pages=519-546; citation_doi=10.1002/smr.v22:6/7; citation_id=CR42 citation_journal_title=Business Horizons; citation_title=Reengineering the corporation: A manifesto for business revolution; citation_author=Michael Hammer, James Champy; citation_volume=36; citation_issue=5; citation_publication_date=1993; citation_pages=90-91; citation_doi=10.1016/S0007-6813(05)80064-3; citation_id=CR43 citation_journal_title=Applied Statistics; citation_title=Algorithm AS 136: A K-Means Clustering Algorithm; citation_author=J. A. Hartigan, M. A. Wong; citation_volume=28; citation_issue=1; citation_publication_date=1979; citation_pages=100; citation_doi=10.2307/2346830; citation_id=CR44 Horita H, Hirayama H, Tahara Y, Ohsuga A (2015) Towards goal-oriented conformance checking. In: 27th international conference on software engineering and knowledge engineering (SEKE 2015), KSI Research Inc, pp 722–724 citation_journal_title=Requirements Engineering; citation_title=Goal-oriented requirements engineering: an extended systematic mapping study; citation_author=Jennifer Horkoff, Fatma Başak Aydemir, Evellin Cardoso, Tong Li, Alejandro Maté, Elda Paja, Mattia Salnitri, Luca Piras, John Mylopoulos, Paolo Giorgini; citation_volume=24; citation_issue=2; citation_publication_date=2017; citation_pages=133-160; citation_doi=10.1007/s00766-017-0280-z; citation_id=CR46 citation_journal_title=Softw Syst Model; citation_title=Strategic business modeling: representation and reasoning; citation_author=J Horkoff, D Barone, L Jiang, E Yu, D Amyot, A Borgida, J Mylopoulos; citation_volume=13; citation_issue=3; citation_publication_date=2014; citation_pages=1015-1041; citation_doi=10.1007/s10270-012-0290-8; citation_id=CR47 citation_journal_title=Int J Inf Syst Model Design (IJISMD); citation_title=Using goal models downstream: a systematic roadmap and literature review; citation_author=J Horkoff, T Li, F-L Li, M Salnitri, E Cardoso, P Giorgini, J Mylopoulos; citation_volume=6; citation_issue=2; citation_publication_date=2015; citation_pages=1-42; citation_doi=10.4018/IJISMD.2015040101; citation_id=CR48 Hornix P (2007) Performance analysis of business processes through process mining. Master’s thesis, Eindhoven University of Technology, The Netherlands ITU-T (2012) Recommendation Z.151 (10/12): User Requirements Notation (URN)—language definition. http://www.itu.int/rec/T-REC-Z.151/en Johann T, Maalej W (2015) Democratic mass participation of users in requirements engineering? In: Requirements engineering conference (RE), 2015 IEEE 23rd international. IEEE CS, pp 256–261 https://doi.org/10.1109/re.2015.7320433 Khodabandelou G (2013) Contextual recommendations using intention mining on process traces: Doctoral consortium paper. In: IEEE seventh international conference on research challenges in information science (RCIS). IEEE CS, pp 1–6. https://doi.org/10.1109/rcis.2013.6577728 Khodabandelou G (2014) Mining intentional process models. Doctoral dissertation, University of Paris-Est, France citation_title=Process mining versus intention mining; citation_inbook_title=Enterprise, business-process and information systems modeling; citation_publication_date=2013; citation_pages=466-480; citation_id=CR54; citation_author=G Khodabandelou; citation_author=C Hug; citation_author=R Deneckère; citation_author=C Salinesi; citation_publisher=Springer Khodabandelou G, Hug C, Deneckère R, Salinesi C (2013) Supervised intentional process models discovery using Hidden Markov models. In: IEEE seventh international conference on research challenges in information science (RCIS). IEEE CS, pp 1–11. https://doi.org/10.1109/rcis.2013.6577711 citation_title=Supervised vs. unsupervised learning for intentional process model discovery; citation_inbook_title=Enterprise, business-process and information systems modeling; citation_publication_date=2014; citation_pages=215-229; citation_id=CR56; citation_author=G Khodabandelou; citation_author=C Hug; citation_author=R Deneckère; citation_author=C Salinesi; citation_publisher=Springer Khodabandelou G, Hug C, Deneckère R, Salinesi C (2014) Unsupervised discovery of intentional process models from event logs. In: Proceedings of the 11th working conference on mining software repositories—MSR 2014. ACM Press, pp 282–291. https://doi.org/10.1145/2597073.2597101 Khodabandelou G, Hug C, Salinesi C (2014) A novel approach to process mining: Intentional process models discovery. In: 2014 IEEE eighth international conference on research challenges in information science (RCIS), IEEE CS, pp 1–12 https://doi.org/10.1109/rcis.2014.6861040 citation_journal_title=Int J Inf Syst Model Design (IJISMD); citation_title=Mining users’ intents from logs; citation_author=G Khodabandelou, C Hug, C Salinesi; citation_volume=6; citation_issue=2; citation_publication_date=2015; citation_pages=43-71; citation_doi=10.4018/IJISMD.2015040102; citation_id=CR59 citation_journal_title=Artificial Intell Law; citation_title=Towards a financial fraud ontology: a legal modelling approach; citation_author=J Kingston, B Schafer, W Vandenberghe; citation_volume=12; citation_issue=4; citation_publication_date=2004; citation_pages=419-446; citation_doi=10.1007/s10506-005-4163-0; citation_id=CR60 citation_journal_title=Inf Softw Technol; citation_title=Systematic literature reviews in software engineering—a systematic literature review; citation_author=B Kitchenham, O Pearl Brereton, D Budgen, M Turner, J Bailey, S Linkman; citation_volume=51; citation_issue=1; citation_publication_date=2009; citation_pages=7-15; citation_doi=10.1016/j.infsof.2008.09.009; citation_id=CR61 citation_journal_title=J Softw Eng; citation_title=Mapping from MAP models to BPMN processes; citation_author=N Kraiem, H Kaffela, J Dimassi, Z Al Khanjari; citation_volume=8; citation_issue=4; citation_publication_date=2014; citation_pages=252-264; citation_doi=10.3923/jse.2014.252.264; citation_id=CR62 Krathu W, Engel R, Pichler C, Zapletal M, Werthner H (2013) Identifying inter-organizational key performance indicators from EDIFACT messages. In: 2013 IEEE 15th conference on business informatics, IEEE CS, pp 276–283. https://doi.org/10.1109/cbi.2013.46 Krathu W, Pichler C, Engel R, Zapletal M, Werthner H, Huemer C (2014) A framework for inter-organizational performance analysis from EDI messages. In: 2014 IEEE 16th conference on business informatics. IEEE CS. vol 1, pp 17–24 https://doi.org/10.1109/cbi.2014.19 Lapouchnian A, Yu Y, Mylopoulos J (2007) Requirements-driven design and configuration management of business processes. In: Business process management, LNCS 4714, Springer, pp 246–261 https://doi.org/10.1007/978-3-540-75183-0_18 Li J, Liu D, Yang B (2007) Process mining: extending α-algorithm to mine duplicate tasks in process logs. In: Advances in web and network technologies, and information management, LNCS 4537, Springer, pp 396–407 https://doi.org/10.1007/978-3-540-72909-9_43 citation_journal_title=Inf Syst; citation_title=Designing information systems in social context: a goal and scenario modelling approach; citation_author=L Liu, ESK Yu; citation_volume=29; citation_issue=2; citation_publication_date=2004; citation_pages=187-203; citation_doi=10.1016/S0306-4379(03)00052-8; citation_id=CR67 citation_journal_title=Inf Syst; citation_title=Compliance monitoring in business processes: functionalities, application, and tool-support; citation_author=LT Ly, FM Maggi, M Montali, S Rinderle-Ma, WM Aalst; citation_volume=54; citation_publication_date=2015; citation_pages=209-234; citation_doi=10.1016/j.is.2015.02.007; citation_id=CR68 citation_journal_title=IEEE Softw; citation_title=Toward data-driven requirements engineering; citation_author=W Maalej, M Nayebi, T Johann, G Ruhe; citation_volume=33; citation_issue=1; citation_publication_date=2016; citation_pages=48-54; citation_doi=10.1109/ms.2015.153; citation_id=CR69 citation_title=Automatic Extraction of Process Categories from Process Model Collections; citation_inbook_title=Business Process Management Workshops; citation_publication_date=2014; citation_pages=430-441; citation_id=CR70; citation_author=Monika Malinova; citation_author=Remco Dijkman; citation_author=Jan Mendling; citation_publisher=Springer International Publishing citation_journal_title=Requirements Eng; citation_title=A legal cross-references taxonomy for reasoning about compliance requirements; citation_author=JC Maxwell, AI Antón, P Swire, M Riaz, CM McCraw; citation_volume=17; citation_issue=2; citation_publication_date=2012; citation_pages=99-115; citation_doi=10.1007/s00766-012-0152-5; citation_id=CR71 Mikolov T, Chen K, Corrado G, Dean J (2013) Efficient estimation of word representations in vector space. arXiv preprint arXiv:1301.3781 Object Management Group (2011) Business process model and notation (BPMN), Version 2.0. Formal/2011-01-03 citation_title=Exploring Workaround Situations in Business Processes; citation_inbook_title=Business Process Management Workshops; citation_publication_date=2013; citation_pages=426-437; citation_id=CR74; citation_author=Nesi Outmazgin; citation_publisher=Springer Berlin Heidelberg citation_journal_title=Softw Syst Model; citation_title=A process mining-based analysis of business process work-arounds; citation_author=N Outmazgin, P Soffer; citation_volume=15; citation_issue=2; citation_publication_date=2016; citation_pages=309-323; citation_doi=10.1007/s10270-014-0420-6; citation_id=CR75 citation_journal_title=ACM Transactions on Database Systems; citation_title=The Goal Behind the Action; citation_author=Dimitra Papadimitriou, Georgia Koutrika, John Mylopoulos, Yannis Velegrakis; citation_volume=41; citation_issue=4; citation_publication_date=2016; citation_pages=1-43; citation_doi=10.1145/2934666; citation_id=CR76 citation_journal_title=Anthropol Education Quarterly; citation_title=Qualitative research design: an interactive approach; citation_author=MA Pitman; citation_volume=29; citation_issue=4; citation_publication_date=1998; citation_pages=499-501; citation_doi=10.1525/aeq.1998.29.4.499; citation_id=CR77 Poelmans S (1998) Coping strategies and distributed viscosity in a workflow management system: a case study. In: Workshop on adaptive workflow systems, Seattle, USA, November (8 pages) citation_journal_title=ACM SIGGROUP Bulletin; citation_title=Workarounds and distributed viscosity in a workflow system: a case study; citation_author=S Poelmans; citation_volume=20; citation_issue=3; citation_publication_date=1999; citation_pages=11-12; citation_doi=10.1145/605610.605618; citation_id=CR79 citation_journal_title=J Database Manag; citation_title=Investigating goal-oriented requirements engineering for business processes; citation_author=G Poels, K Decreus, B Roelens, M Snoeck; citation_volume=24; citation_issue=2; citation_publication_date=2013; citation_pages=35-71; citation_doi=10.4018/jdm.2013040103; citation_id=CR80 citation_title=Business Process Management; citation_publication_date=2015; citation_id=CR81; citation_publisher=Springer International Publishing citation_journal_title=Electron Commerce Res; citation_title=Business process management with the User Requirements Notation; citation_author=A Pourshahid, D Amyot, L Peyton, S Ghanavati, P Chen, M Weiss, AJ Forster; citation_volume=9; citation_issue=4; citation_publication_date=2009; citation_pages=269-316; citation_doi=10.1007/s10660-009-9039-z; citation_id=CR82 ProM Tools (2016). Retrieved from http://www.promtools.org/doku.php citation_journal_title=IEEE ASSP Magazine; citation_title=An introduction to hidden Markov models; citation_author=L Rabiner, B Juang; citation_volume=3; citation_issue=1; citation_publication_date=1986; citation_pages=4-16; citation_doi=10.1109/MASSP.1986.1165342; citation_id=CR84 citation_journal_title=Proc IEEE; citation_title=A tutorial on hidden Markov models and selected applications in speech recognition; citation_author=LR Rabiner; citation_volume=77; citation_issue=2; citation_publication_date=1989; citation_pages=257-286; citation_doi=10.1109/5.18626; citation_id=CR85 citation_journal_title=Omega; citation_title=Best practices in business process redesign: an overview and qualitative evaluation of successful redesign heuristics; citation_author=HA Reijers, SL Mansar; citation_volume=33; citation_issue=4; citation_publication_date=2005; citation_pages=283-306; citation_doi=10.1016/j.omega.2004.04.012; citation_id=CR86 citation_journal_title=Requirements Eng; citation_title=A multi-model view of process modelling; citation_author=C Rolland, N Prakash, A Benjamen; citation_volume=4; citation_issue=4; citation_publication_date=1999; citation_pages=169-187; citation_doi=10.1007/s007660050018; citation_id=CR87 Rolland C, Salinesi C (2005) Modeling goals and reasoning with them. Engineering and managing software requirements, Springer, Berlin, pp 189–217 https://doi.org/10.1007/3-540-28244-0_9 citation_journal_title=Inf Syst; citation_title=Conformance checking of processes based on monitoring real behavior; citation_author=A Rozinat, WMP Aalst; citation_volume=33; citation_issue=1; citation_publication_date=2008; citation_pages=64-95; citation_doi=10.1016/j.is.2007.07.001; citation_id=CR89 Rubin VA, Mitsyuk AA, Lomazova IA, van der Aalst WM (2014) Process mining can be applied to software too! In: Proceedings of the 8th ACM/IEEE international symposium on empirical software engineering and measurement. ACM, p 57. https://doi.org/10.1145/2652524.2652583 citation_journal_title=Requirements Eng; citation_title=Scenario-based requirements analysis techniques for real-time software systems: a comparative evaluation; citation_author=H Saiedian, P Kumarakulasingam, M Anan; citation_volume=10; citation_issue=1; citation_publication_date=2005; citation_pages=22-33; citation_doi=10.1007/s00766-004-0192-6; citation_id=CR91 citation_title=Mining Goal Refinement Patterns: Distilling Know-How from Data; citation_inbook_title=Conceptual Modeling; citation_publication_date=2017; citation_pages=69-76; citation_id=CR92; citation_author=Metta Santiputri; citation_author=Novarun Deb; citation_author=Muhammad Asjad Khan; citation_author=Aditya Ghose; citation_author=Hoa Dam; citation_author=Nabendu Chaki; citation_publisher=Springer International Publishing Snijders R, Dalpiaz F, Hosseini M, Shahri A, Ali R (2014) Crowd-centric requirements engineering. In: Proceedings of the 2014 IEEE/ACM 7th international conference on utility and cloud computing, IEEE Computer Society, pp 614–615 https://doi.org/10.1109/ucc.2014.96 citation_journal_title=Int J Inf Syst Model Design (IJISMD); citation_title=A state-based intention driven declarative process model; citation_author=P Soffer; citation_volume=4; citation_issue=2; citation_publication_date=2013; citation_pages=44-64; citation_doi=10.4018/jismd.2013040103; citation_id=CR94 Spoletini P, Ferrari A (2017) Requirements elicitation: a look at the future through the lenses of the past. In: Requirements engineering conference (RE), 2017 IEEE 25th international, IEEE CS, pp 476–477 https://doi.org/10.1109/re.2017.35 Sutcliffe A (2003) Scenario-based requirements engineering. In: 11th IEEE international requirements engineering conference, IEEE CS, pp 320–329 https://doi.org/10.1109/icre.2003.1232776 citation_journal_title=IEEE Trans Softw Eng; citation_title=Supporting scenario-based requirements engineering; citation_author=AG Sutcliffe, NA Maiden, S Minocha, D Manuel; citation_volume=24; citation_issue=12; citation_publication_date=1998; citation_pages=1072-1088; citation_doi=10.1109/32.738340; citation_id=CR97 citation_title=Diagnostic Information for Compliance Checking of Temporal Compliance Requirements; citation_inbook_title=Notes on Numerical Fluid Mechanics and Multidisciplinary Design; citation_publication_date=2013; citation_pages=304-320; citation_id=CR98; citation_author=Elham Ramezani Taghiabadi; citation_author=Dirk Fahland; citation_author=Boudewijn F. van Dongen; citation_author=Wil M. P van der Aalst; citation_publisher=Springer International Publishing citation_title=Modeling human aspects of business processes–a view-based, model-driven approach; citation_inbook_title=Model driven architecture-foundations and applications; citation_publication_date=2008; citation_pages=246-261; citation_id=CR99; citation_author=H Tran; citation_author=U Zdun; citation_author=S Dustdar; citation_publisher=Springer citation_title=Process Mining; citation_publication_date=2011; citation_id=CR100; citation_author=Wil M. P. van der Aalst; citation_publisher=Springer Berlin Heidelberg citation_journal_title=Softw Syst Model; citation_title=What makes a good process model?; citation_author=WMP Aalst; citation_volume=11; citation_issue=4; citation_publication_date=2012; citation_pages=557-569; citation_doi=10.1007/s10270-012-0265-9; citation_id=CR101 citation_title=Process Mining; citation_publication_date=2011; citation_id=CR102; citation_author=Wil M. P. van der Aalst; citation_publisher=Springer Berlin Heidelberg citation_journal_title=Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery; citation_title=Replaying history on process models for conformance checking and performance analysis; citation_author=W Aalst, A Adriansyah, B Dongen; citation_volume=2; citation_issue=2; citation_publication_date=2012; citation_pages=182-192; citation_doi=10.1002/widm.1045; citation_id=CR103 citation_journal_title=IEEE Trans Knowl Data Eng; citation_title=Workflow mining: discovering process models from event logs; citation_author=WMP Aalst, T Weijters, L Maruster; citation_volume=16; citation_issue=9; citation_publication_date=2004; citation_pages=1128-1142; citation_doi=10.1109/TKDE.2004.47; citation_id=CR104 citation_title=The ProM Framework: A New Era in Process Mining Tool Support; citation_inbook_title=Applications and Theory of Petri Nets 2005; citation_publication_date=2005; citation_pages=444-454; citation_id=CR105; citation_author=B. F. van Dongen; citation_author=A. K. A. de Medeiros; citation_author=H. M. W. Verbeek; citation_author=A. J. M. M. Weijters; citation_author=W. M. P. van der Aalst; citation_publisher=Springer Berlin Heidelberg van Lamsweerde A (2001) Goal-oriented requirements engineering: a guided tour. In: RE’01 proc. of the fifth IEEE international symposium on requirements engineering, IEEE CS, pp 249–261 https://doi.org/10.1109/isre.2001.948567 van Lamsweerde A (2004) Goal-oriented requirements engineering: a roundtrip from research to practice. In: Proc 12th IEEE international requirements engineering conference, 2004, IEEE CS, pp 4–7 https://doi.org/10.1109/icre.2004.1335648 van Lamsweerde A (2008) Requirements engineering: from craft to discipline. In: Proceeding SIGSOFT’08/FSE-16, ACM, pp 238–249 https://doi.org/10.1145/1453101.1453133 citation_journal_title=IEEE Trans Softw Eng; citation_title=Managing conflicts in goal-driven requirements engineering; citation_author=A Lamsweerde, R Darimont, E Letier; citation_volume=24; citation_issue=11; citation_publication_date=1998; citation_pages=908-926; citation_doi=10.1109/32.730542; citation_id=CR109 citation_journal_title=IEEE Trans Softw Eng; citation_title=Handling obstacles in goal-oriented requirements engineering; citation_author=A Lamsweerde, E Letier; citation_volume=26; citation_issue=10; citation_publication_date=2000; citation_pages=978-1005; citation_doi=10.1109/32.879820; citation_id=CR110 citation_journal_title=IEEE Tran Services Comput; citation_title=Efficient Selection of Process Mining Algorithms; citation_author=J Wang, RK Wong, J Ding, Q Guo, L Wen; citation_volume=6; citation_issue=4; citation_publication_date=2013; citation_pages=484-496; citation_doi=10.1109/TSC.2012.20; citation_id=CR111 Weijters AJMM, Ribeiro JJTS (2011) Flexible heuristics miner (FHM). In: 2011 IEEE symposium on computational intelligence and data mining (CIDM), IEEE CS, pp 310–317 https://doi.org/10.1109/cidm.2011.5949453 Xu X, Jin T, Wei Z, Lv C, Wang J (2016) TCPM: topic-based clinical pathway mining. In: Connected health: applications, systems and engineering technologies (CHASE), 2016 IEEE first international conference on, IEEE CS, pp 292–301 https://doi.org/10.1109/chase.2016.17 citation_journal_title=Journal of Healthcare Engineering; citation_title=Incorporating Topic Assignment Constraint and Topic Correlation Limitation into Clinical Goal Discovering for Clinical Pathway Mining; citation_author=Xiao Xu, Tao Jin, Zhijie Wei, Jianmin Wang; citation_volume=2017; citation_publication_date=2017; citation_pages=1-13; citation_doi=10.1155/2017/5208072; citation_id=CR114 citation_journal_title=ACM Trans Manag Inf Syst; citation_title=Mining agents’ goals in agent-oriented business processes; citation_author=J Yan, D Hu, SS Liao, H Wang; citation_volume=5; citation_issue=4; citation_publication_date=2014; citation_pages=1-22; citation_doi=10.1145/2629448; citation_id=CR115 Yu E (1995) Modelling strategic relationships for process reengineering. Doctoral dissertation, University of Toronto, Canada citation_journal_title=Requirements Eng; citation_title=GaiusT: supporting the extraction of rights and obligations for regulatory compliance; citation_author=N Zeni, N Kiyavitskaya, L Mich, JR Cordy, J Mylopoulos; citation_volume=20; citation_issue=1; citation_publication_date=2015; citation_pages=1-22; citation_doi=10.1007/s00766-013-0181-8; citation_id=CR117