참고문헌
- OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. (2011)
- Kluza, K., Wisniewski, P., Ligeza, A., Suchenia, A., Wyrobek, J.: Knowledge representation in model driven approach in terms of the zachman framework. Lecture Notes in Artificial Intelligence, Springer (2018) 689-699
- OMG: https://www.omg.org/marketing/25th/history.htm
- OMG: https://www.omg.org/about/
- Kluza K., Kagan M., Wisniewski P., Adrian W. T., Jemiolo P., Suchenia A., Ligeza A.: Using a semantic-based support system for merging knowledge from process participants (2021)
- bptrends: What is a business process. (2010)
- Chinosi, M., Trombetta, A.: Bpmn: An introduction to the standard. Computer Standards & Interfaces 34 (2012) 124-134 https://doi.org/10.1016/j.csi.2011.06.002
- Ligeza, A.: A note on a logical model of an inference process: from ard and rbs to bpmn. Knowledge acquisition and management. Research Papers of Wroclaw University of Economics 232 (2011) 41-49
- Lubke, D., Schneider, K.: Visualizing use case sets as bpmn processes. In: Requirements Engineering Visualization, 2008. REV'08., IEEE (2008) 21-25
- Weidlich, M., Decker, G., Grosskopf, A., Weske, M.: Bpel to bpmn: The myth of a straight-forward mapping. (2008)
- Lindsay, A., Dawns, D., Lunn, K.: Business processes - attempts to find a definition. Information and Software Technology 45(15) (Dec 2003) 1015-1019 Elsevier. https://doi.org/10.1016/S0950-5849(03)00129-0
- Mroczek, A., Ligeza, A.: A note on bpmn analysis. towards a taxonomy of selected potential anomalies. Number 2 in Annals of Computer Science and Information Systems, Polskie Towarzystwo Informatyczne (2014) 1097-1102
- Szpyrka, M., Nalepa, G.J., Ligeza, A., Kluza, K.: Proposal of formal verification of selected bpmn models with alvis modeling language. In: Intelligent Distributed Computing V. Springer (2011) 249-255
- Arevalo, C., Escalona, M., Ramos, I., Dominguez-Munoz, M.: A metamodel to integrate business processes time perspective in bpmn 2.0. Information and Software Technology 77 (2016) 17-33 https://doi.org/10.1016/j.infsof.2016.05.004
- Trkman, M., Mendling, J., Krisper, M.: Using business process models to better understand the dependencies among user stories. Information and Software Technology 71 (2016) 58-76 https://doi.org/10.1016/j.infsof.2015.10.006
- Silver, B.: BPMN Method and Style, with BPMN Implementer's Guide: A structured approach for business process modeling and implementation using BPMN 2.0. Cody-Cassidy Press Aptos (2011)
- Yousfi, A., Bauer, C., Saidi, R., Dey, A.K.: ubpmn: A bpmn extension for modeling ubiquitous business processes. Information and Software Technology 74 (2016) 55-68 https://doi.org/10.1016/j.infsof.2016.02.002
- Martinho, R., Domingos, D., Varajao, J.: Cf4bpmn: a bpmn extension for controlled flexibility in business processes. (2015)
- Pillat, R.M., Oliveira, T.C., Alencar, P.S., Cowan, D.D.: Bpmnt: A bpmn extension for specifying software process tailoring. Information and Software Technology 57 (2015) 95-115 https://doi.org/10.1016/j.infsof.2014.09.004
- Kluza, K., Jobczyk, K., Wisniewski, P., Ligeza, A.: Overview of time issues with temporal logics for business process models. In: Computer Science and Information Systems (FedCSIS), 2016 Federated Conference on, IEEE (2016) 1115-1123
- Klimek, R.: Towards formal and deduction-based analysis of business models for soa processes. In: ICAART (2). (2012) 325-330
- Freund, J.: Praxishandbuch BPMN: [inklusive BPMN 2.0]. (2010)
- White S., M.D.: BPMN Modeling and Reference Guide. Future Strategies Inc. (2008)
- Polancic, G.: Understanding BPMN Connections. (2013)
- Kocbek M., Jost G., H.M.P.G.: Business process model and notation : the current state of affairs. computer science and information systems. (2015)
- Mendling, J., Verbeek, H.and van Dongen, B.v.d.A., W.M., Neumann, G.: Detection and prediction of errors in epcs of the sap reference model. Data Knowledge Engineering (64(1)) (2008) 312-329 https://doi.org/10.1016/j.datak.2007.06.019
- Hallerbach, A., Bauer, T., Reichert, M.: Capturing variability in business proces models: the provop approach. Journal of Software Maintenance and Evolution: Research and Practice (22(6-7)) (2010) 519-546 https://doi.org/10.1002/smr.491
- Group: 1044-2009-ieee standard classification for software anomalies. New York (2010)
- Suchenia, A., Potempa, T., Ligeza, A., Jobczyk, K., Kluza, K.: Selected approaches towards taxonomy of business process anomalies. In: Advances in business ICT: new ideas from ongoing research. Springer, Cham (2017) 65-85
- Borger, E.: Approaches to modeling business processes. Soft. Syst. Modeling11 (2012) 305-318 https://doi.org/10.1007/s10270-011-0214-z
- Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Global vs. local semantics ofbpmn 2.0 or-join. SOFSEM. LNCS, vol. 10706 (2018) 321-336
- Corradini, F., Morichetta, A., Re, B., Tiezzi, F.: Walking through the semantics of exclusive and event-based gateways in bpmn choreographies. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (2019)
- Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Animating multiple instances in bpmn collaborations: from formal semantics to tool support. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday (2018)
- Suchenia, A., Ligeza, A.: Anomalie w modelowaniu procesow biznesowych. Informatyka, Automatyka, Pomiary w Gospodarce i Ochronie Srodowiska : IAPGOS (T. 7, Nr 2) (2017) 88-93 https://doi.org/10.5604/01.3001.0010.4846
- Suchenia, A., Ligeza, A.: Event anomalies in modeling with bpmn. International Journal of Computer Technology and Applications : IJCTA (Vol. 6, Iss. 5) (2015) 789-797
- Suchenia (Mroczek), A., Wisniewski, P., Ligeza, A.: Overview of verification tools for business process models. In Ganzha, M., ed.: Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, September 3-6, 2017, Prague, Czech Republic. Number 13 in Annals of Computer Science and Information Systems, Warszawa, Polskie Towarzystwo Informatyczne (2017) 295-302
- Laue, R., Awad, A.: Visualization of business process modeling anti patterns. Electronic Communications of the EASST (25) (2009)
- Kuhne, S.and Kern, H., Gruhn, V. andLaue, R.: Business process modeling with continuous validation. Journal of Software Maintenance and Evolution: Research and Practice (22(6-7)) (2010) 547-566 https://doi.org/10.1002/smr.517
- Trcka, N., Van der Aalst, W., Sidorova, N.: Data-flow anti-patterns: Discovering data-flow errors in workflows. Advanced Information Systems Engineering (2009) 425-439
- Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. Business Process Management (2010) 61-77
- Saab, N., Helms, R., Zoet, M.: Predictive quality performance control in bpm: proposing a framework for predicting quality anomalies. Procedia Computer Science 138 (01 2018) 714-723 https://doi.org/10.1016/j.procs.2018.10.094
- Wisniewski, Piotr: Decomposition of business process models into reusable subdiagrams. ITM Web Conf. 15 (2017)
- Kim, G., Lee, J.H., Son, J.H.: Classification and analyses of business proces anomalies. In: 2009 International Conference on Communication Software and Networks. (2009) 433-437
- Leopold, H., Mendling, J., Gunther, O.: What we can learn from quality issues of bpmn models from industry. IEEE Software 33 (03 2015)
- Roy, S., Sajeev, A.S.M., Bihary, S., Ranjan, A.: An empirical study of error patterns in industrial business process models. IEEE Transactions on Services Computing 7(2) (2014) 140-153 https://doi.org/10.1109/TSC.2013.10
- Rozman, T., Horvat, R.: Analysis of most common proces modelling mistakes in bpmn process models. (01 2007)
- Silingas, D., Mileviciene, E. In: Refactoring BPMN Models: From 'Bad Smells' to Best Practices and Patterns. (01 2007)
- Rogge-Solti, A., Kasneci, G.: Temporal anomaly detection in business processes. In: BPM. (2014)
- Mining, W.I.D.: Data mining: Concepts and techniques. Morgan Kaufinann 10 (2006) 559-569
- Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection: A survey. ACM computing surveys (CSUR) 41(3) (2009) 1-58 https://doi.org/10.1145/1541880.1541882
- Bohmer, K., Rinderle-Ma, S.: Anomaly detection in business process runtime behavior - challenges and limitations. ArXiv abs/1705.06659 (2017)
- Aalst, W.M.V.D., Weske, M.: "to interorganizational workflows". Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE (2013)
- White, S.: Process modeling notations and workflow patterns. (2004)
- Olkhovich, L.: Semi-automatic business process performance optimization based on redundant control flow detection. Telecommunications,AICT-ICIW'06, IEEE (2006) 146-146
- Lin, H., Zhao, Z., Li, H., Chen, Z.: A novel graph reduction algorithm to identify structural conflicts. Proceedings of the 35th Annual Hawaii International Conference on System Sciences (2002) 10 pp.- 56.
- Awad, A., Puhlmann, F.: Structural detection of deadlocks in business proces models. In: BIS. (2008)
- Borgert, S., Muhlhauser, M.: Formal based correctness check for epass-ios 1.1 process models with integrated user support for error correcting. Volume 170. (04 2014)
- Gruhn, V., Laue, R.: A heuristic method for detecting problems in business proces models. Business Process Management Journal 16 (09 2010) 806-821 https://doi.org/10.1108/14637151011076485
- Han, Z., Gong, P., Zhang, L., Ling, J., Huang, W.: Definition and detection of control-flow anti-patterns in process models. In: 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops. (2013) 433-438
- Rech, J., Decker, B., Ras, E., Jedlitschka, A., Feldmann, R.L.: The quality of knowledge: Knowledge patterns and knowledge refactorings. IJKM 3 (2007) 74-103
- Koehler, J., Vanhatalo, J.: Process anti-patterns: How to avoid the common traps of business process modeling. IBM WebSphere Developer Technical Journal 10(2) (2007) 4
- Laue, R., Awad, A.: Visualization of business process modeling anti patterns. ECEASST 25 (01 2010)
- Palma, F., Moha, N., Gueheneuc, Y.G.: Specification and detection of business process antipatterns. Volume 209. (05 2015) 37-52
- Roa, J., Chiotti, O., Villarreal, P.: Specification of behavioral anti-patterns for the verification of block-structured collaborative business processes. Information and Software Technology 75 (04 2016)
- Roa, J., Reynares, E., Caliusco, M., Villarreal, P.: Ontology-based heuristics for process behavior: Formalizing false positive scenarios. (05 2017) 106-117
- Onoda, S., Ikkai, Y., Kobayashi, T., Norihisa, K.: Definition of deadlock patterns for business processes workflow models. (01 1999)
- Corradini, F., Fornari, F., Muzi, C., Polini, A., Re, B., Tiezzi, F.: On avoiding erroneous synchronization in bpmn processes. (05 2017) 106-119
- Eid-Sabbagh, R.H., Dijkman, R., Weske, M.: Business process architecture: Use and correctness. (09 2012)
- Liu, R., Kumar, A.: An analysis and taxonomy of unstructured workflows. Business Process Management, Springer (2005) 268-284
- Roa, J., Reynares, E., Caliusco, M., Villarreal, P. In: Towards Ontology-Based Anti-patterns for the Verification of Business Process Behavior. (03 2016) 665-673
- Koschmider, A., Laue, R., Fellmann, M.: Business process model antipatterns: A bibliography and taxonomy of published work. (2019)
- Leopold, H., Pittke, F., Mendling, J.: Ensuring the canonicity of process models. Data Knowledge Engineering (2017)
- Laue, R., Koop, W., Gruhn, V.: Indicators for open issues in business proces models. (2016) 102-116
- Gruhn, V., Laue, R.: Detecting common errors in event-driven process chains by label analysis. Enterprise Modelling and Information Systems Architectures 6 (01 2011) 3-15
- Becker, J., Weiss, B., Winkelmann, A.: Automatic identification of structural process weaknesses - experiences with semantic business process modeling in the financial sector. (01 2011) 117
- Gruhn, V., Laue, R.: Reducing the cognitive complexity of business process models. (06 2009) 339-345
- Roa, J., Chiotti, O., Villarreal, P.D.: Detection of anti-patterns in the control flow of collaborative business processes. (2015)
- Becker, J., Bergener, P., Rackers, M., Weiss, B., Winkelmann, A.: Pattern-based semi-automatic analysis of weaknesses in semantic business process models in the banking sector. (01 2010)
- Eleftheriou, I., Embury, S., Brass, A.: Data journey modelling: Predicting risk for it developments. (2016)
- Laue, R., Gruhn, V.: Good and bad excuses for unstructured business proces models. (01 2007) 279-290
- Delfmann, P., Hubers, M.: Towards supporting business process compliance checking with compliance pattern catalogues. Volume Vol. 10, No. 1. (2011)
- Ramadan, Q., Struber, D., Salnitri, M., Riediger, V., Jurjens, J.: Detecting conflicts between data-minimization and security requirements in business process models. In: ECMFA@STAF. (2018)
- Held, M., Blochinger, W.: Structured collaborative workflow design. Future Generation Computer Systems 25 (06 2009) 638-653 https://doi.org/10.1016/j.future.2008.12.005
- Breuker, D.: An empirical assessment of the usefulness of weakness patterns in business process redesign. (01 2012)
- Becker, J., Ahrendt, C., Coners, A., Weiss, B., Winkelmann, A.: Modeling and analysis of business process compliance. Volume 366. (2011) 259-269
- Lubbecke, P., Goswami, A., Fettke, P.: A method for ecological process optimization based on compliance checking. In: 2018 IEEE 20th Conference on Business Informatics (CBI). Volume 01. (2018) 119-128
- Hohenberger, S., Delfmann, P.: Supporting business process improvement through business process weakness pattern collections. (2015)
- Dohring, M., Heublein, S.: Anomalies in rule-adapted workflows-a taxonomy and solutions for vbpmn. Software Maintenance and Reengineering (CSMR), IEEE (2012) 117-126
- Ligeza, A., Nalepa, G.: A study of methodological issues in design and development of rulebased systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery (1(2)) (2011) 117-137 https://doi.org/10.1002/widm.11
- Xu, D., Xia, K.and Zhang, D., Zhang, H.: Model checking the inconsistency and circularity in rule-based expert systems. Computer and Information Science (2(1)) (2009)
- Zaidi, A., Levis, A.: Validation and verification of decision making rules. Automatica (33(2)) (1997) 155-169 https://doi.org/10.1016/S0005-1098(96)00165-3
- Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. Business Process Management Workshops, Springer (2009) 5-16
- von Stackelberg, S., Putze, S., Mulle, J., Bohm, K.: Detecting data-flow errors in bpmn 2.0. Open Journal of Information Systems (OJIS) 1(2) (2014) 1-19
- Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling. Proceedings of the 15th Australasian Database Conference (02 2004)