{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T06:20:14Z","timestamp":1761978014638,"version":"build-2065373602"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319036762"},{"type":"electronic","value":"9783319036779"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-03677-9_5","type":"book-chapter","created":{"date-parts":[[2013,11,29]],"date-time":"2013-11-29T13:02:41Z","timestamp":1385730161000},"page":"69-88","source":"Crossref","is-referenced-by-count":6,"title":["AI Approach to Formal Analysis of BPMN Models: Towards a Logical Model for BPMN Diagrams"],"prefix":"10.1007","author":[{"given":"Antoni","family":"Lig\u0119za","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Potempa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"BPMN 2.0. Introduction to the Standard for Business Process Modeling","author":"T. Allweyer","year":"2010","unstructured":"Allweyer, T.: BPMN 2.0. Introduction to the Standard for Business Process Modeling. BoD, Norderstedt (2010)"},{"unstructured":"Ambler, S.W.: Business Rules (2003), http:\/\/www.agilemodeling.com\/artifacts\/businessRule.htm","key":"5_CR2"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/11431855_17","volume-title":"Advanced Information Systems Engineering","author":"B. Andersson","year":"2005","unstructured":"Andersson, B., Bergholtz, M., Edirisuriya, A., Ilayperuma, T., Johannesson, P.: A declarative foundation of process models. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 233\u2013247. Springer, Heidelberg (2005)"},{"unstructured":"Andro\u010dec, D.: Simulating BPMN models with Prolog. In: Proceedings from the Central European Conference on Information and Intelligent Systems, CECIIS 2010, pp. 363\u2013368 (2010)","key":"5_CR4"},{"unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. preprint 7115. Tech. rep., Queensland University of Technology, Brisbane, Australia (2007)","key":"5_CR5"},{"key":"5_CR6","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-642-16298-5_4","volume-title":"Business Process Modeling Notation","author":"R. Dijkman","year":"2010","unstructured":"Dijkman, R., Van Gorp, P.: Bpmn 2.0 execution semantics formalized as graph rewrite rules. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol.\u00a067, pp. 16\u201330. Springer, Heidelberg (2010)"},{"volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","year":"2009","unstructured":"Giurca, A., Ga\u0161evi\u0107, D., Taveter, K. (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. Information Science Reference, Hershey (2009)","key":"5_CR7"},{"doi-asserted-by":"crossref","unstructured":"Gruhn, V., Laue, R.: Checking properties of business process models with logic programming. In: Augusto, J.C., Barjis, J., Ultes-Nitsche, U. (eds.) Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, pp. 84\u201393. Insticc Press (June 2007)","key":"5_CR8","DOI":"10.5220\/0002413100840093"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1007\/978-3-642-29350-4_68","volume-title":"Artificial Intelligence and Soft Computing","author":"K. Kluza","year":"2012","unstructured":"Kluza, K., Kaczor, K., Nalepa, G.J.: Enriching business processes with rules using the Oryx BPMN editor. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2012, Part II. LNCS, vol.\u00a07268, pp. 573\u2013581. Springer, Heidelberg (2012), http:\/\/www.springerlink.com\/content\/u654r0m56882np77\/"},{"key":"5_CR10","series-title":"SCI","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/978-3-642-24013-3_25","volume-title":"Intelligent Distributed Computing V","author":"K. Kluza","year":"2011","unstructured":"Kluza, K., Ma\u015blanka, T., Nalepa, G.J., Lig\u0119za, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol.\u00a0382, pp. 243\u2013248. Springer, Heidelberg (2011), http:\/\/www.springerlink.com\/content\/d44n334p05772263\/"},{"unstructured":"Kluza, K., Nalepa, G.J., Szpyrka, M., Lig\u0119za, A.: Proposal of a hierarchical approach to formal verification of BPMN models using Alvis and XTT2 methods. In: Canadas, J., Nalepa, G.J., Baumeister, J. (eds.) 7th Workshop on Knowledge Engineering and Software Engineering (KESE2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011), La Laguna, Tenerife, Spain, pp. 15\u201323 (November 10, 2011), http:\/\/ceur-ws.org\/Vol-805\/","key":"5_CR11"},{"issue":"3","key":"5_CR12","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s11761-009-0048-5","volume":"3","author":"V.S.W. Lam","year":"2009","unstructured":"Lam, V.S.W.: Equivalences of BPMN processes. Service Oriented Computing and Applications\u00a03(3), 189\u2013204 (2009)","journal-title":"Service Oriented Computing and Applications"},{"issue":"7","key":"5_CR13","doi-asserted-by":"publisher","first-page":"987","DOI":"10.1142\/S0218194010005079","volume":"20","author":"V.S.W. Lam","year":"2010","unstructured":"Lam, V.S.W.: Formal analysis of BPMN models: a NuSMV-based approach. International Journal of Software Engineering and Knowledge Engineering\u00a020(7), 987\u20131023 (2010)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"5_CR14","series-title":"SCI","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-32446-1","volume-title":"Logical Foundations for Rule-Based Systems","author":"A. Lig\u0119za","year":"2006","unstructured":"Lig\u0119za, A.: Logical Foundations for Rule-Based Systems. SCI, vol.\u00a011. Springer, Heidelberg (2006)"},{"issue":"1-2","key":"5_CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.7494\/dmms.2011.5.1.57","volume":"5","author":"A. Lig\u0119za","year":"2011","unstructured":"Lig\u0119za, A.: BPMN \u2013 a logical model and property analysis. Decision Making in Manufacturing and Services\u00a05(1-2), 57\u201367 (2011)","journal-title":"Decision Making in Manufacturing and Services"},{"unstructured":"Lig\u0119za, A., Kluza, K., Potempa, T.: Ai approach to formal analysis of bpmn models. towards a logical model for bpmn diagrams. In: Ganzha, M., Maciaszek, L.A., Paprzycki, M. (eds.) Proceedings of the Federated Conference on Computer Science and Information Systems, FedCSIS 2012, Wroclaw, Poland, September 9-12, pp. 931\u2013934 (2012), http:\/\/ieeexplore.ieee.org\/xpls\/abs_all.jsp?arnumber=6354394","key":"5_CR16"},{"issue":"2","key":"5_CR17","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1002\/widm.11","volume":"1","author":"A. Lig\u0119za","year":"2011","unstructured":"Lig\u0119za, A., Nalepa, G.J.: A study of methodological issues in design and development of rule-based systems: proposal of a new approach. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery\u00a01(2), 117\u2013137 (2011), doi:10.1002\/widm.11","journal-title":"Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-22546-8_27","volume-title":"Rule-Based Reasoning, Programming, and Applications","author":"G.J. Nalepa","year":"2011","unstructured":"Nalepa, G.J., Bobek, S., Lig\u0119za, A., Kaczor, K.: HalVA \u2013 rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 337\u2013344. Springer, Heidelberg (2011), http:\/\/www.springerlink.com\/content\/c276374nh9682jm6\/"},{"key":"5_CR19","volume-title":"Semantic Knowledge Engineering. A Rule-Based Approach","author":"G.J. Nalepa","year":"2011","unstructured":"Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Krak\u00f3w (2011)"},{"key":"5_CR20","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-642-38610-7_42","volume-title":"Artificial Intelligence and Soft Computing","author":"G.J. Nalepa","year":"2013","unstructured":"Nalepa, G.J., Kluza, K., Kaczor, K.: Proposal of an inference engine architecture for business rules and processes. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2013, Part II. LNCS (LNAI), vol.\u00a07895, pp. 453\u2013464. Springer, Heidelberg (2013), http:\/\/www.springer.com\/computer\/ai\/book\/978-3-642-38609-1"},{"issue":"1","key":"5_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.2478\/v10006-010-0003-9","volume":"20","author":"G.J. Nalepa","year":"2010","unstructured":"Nalepa, G.J., Lig\u0119za, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science\u00a020(1), 35\u201353 (2010)","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"unstructured":"Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002) ISBN 0-201-71159-1","key":"5_CR22"},{"unstructured":"OMG: Production Rule Representation RFP. Tech. rep., Object Management Group (2003)","key":"5_CR23"},{"unstructured":"OMG: Semantics of Business Vocabulary and Business Rules (SBVR). Tech. Rep. dtc\/06-03-02, Object Management Group (2006)","key":"5_CR24"},{"unstructured":"OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Tech. Rep. formal\/2011-01-03, Object Management Group (2011)","key":"5_CR25"},{"unstructured":"Ouyang, C., Wil, M.P., van der Aalst, M.D., ter Hofstede, A.H.: Translating BPMN to BPEL. Tech. rep., Faculty of Information Technology, Queensland University of Technology, GPO Box 2434, Brisbane QLD 4001, Australia Department of Technology Management, Eindhoven University of Technolog y, GPO Box 513, NL-5600 MB, The Netherlands (2006)","key":"5_CR26"},{"doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H., van der Aalst, W.M.: From bpmn process models to bpel web services. In: IEEE International Conference on Web Services, ICWS 2006 (2006)","key":"5_CR27","DOI":"10.1109\/ICWS.2006.67"},{"unstructured":"Ross, R.G.: The RuleSpeak Business Rule Notation. Business Rules Journal 7(4) (2006), http:\/\/www.BRCommunity.com\/a2006\/b282.html","key":"5_CR28"},{"unstructured":"Silver, B.: BPMN Method and Style. Cody-Cassidy Press (2009)","key":"5_CR29"},{"key":"5_CR30","series-title":"SCI","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/978-3-642-24013-3_26","volume-title":"Intelligent Distributed Computing V","author":"M. Szpyrka","year":"2011","unstructured":"Szpyrka, M., Nalepa, G.J., Lig\u0119za, A., Kluza, K.: Proposal of formal verification of selected BPMN models with Alvis modeling language. In: Brazier, F.M.T., Nieuwenhuis, K., Pavlin, G., Warnier, M., Badica, C. (eds.) Intelligent Distributed Computing V. SCI, vol.\u00a0382, pp. 249\u2013255. Springer, Heidelberg (2011), http:\/\/www.springerlink.com\/content\/m181144037q67271\/"},{"key":"5_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"648","DOI":"10.1007\/978-3-540-73451-2_68","volume-title":"Rough Sets and Intelligent Systems Paradigms","author":"M. Szpyrka","year":"2007","unstructured":"Szpyrka, M., Szmuc, T.: Decision tables in petri net models. In: Kryszkiewicz, M., Peters, J.F., Rybi\u0144ski, H., Skowron, A. (eds.) RSEISP 2007. LNCS (LNAI), vol.\u00a04585, pp. 648\u2013657. Springer, Heidelberg (2007)"},{"key":"5_CR32","volume-title":"BPMN Modeling and Reference Guide: Understanding and Using BPMN","author":"S.A. White","year":"2008","unstructured":"White, S.A., Miers, D.: BPMN Modeling and Reference Guide: Understanding and Using BPMN. Future Strategies Inc., Lighthouse Point (2008)"},{"key":"5_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"P.Y.H. Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for bpmn. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol.\u00a05256, pp. 355\u2013374. Springer, Heidelberg (2008)"}],"container-title":["Advances in Intelligent Systems and Computing","Advances in Business ICT"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-03677-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T00:31:53Z","timestamp":1746059513000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-03677-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319036762","9783319036779"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-03677-9_5","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2014]]}}}