{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:22:01Z","timestamp":1725794521594},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548963"},{"type":"electronic","value":"9783642548970"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54897-0_2","type":"book-chapter","created":{"date-parts":[[2014,5,23]],"date-time":"2014-05-23T00:23:18Z","timestamp":1400804598000},"page":"19-37","source":"Crossref","is-referenced-by-count":5,"title":["Artificial Intelligence for Knowledge Management with BPMN and Rules"],"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":"2_CR1","unstructured":"OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal\/2011-01-03, Object Management Group (2011)"},{"key":"2_CR2","unstructured":"Ambler, S.W.: Business Rules (2003), \n                  \n                    http:\/\/www.agilemodeling.com\/artifacts\/businessRule.htm"},{"volume-title":"Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches","year":"2009","key":"2_CR3","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":"2_CR4","unstructured":"OMG: Production Rule Representation RFP. Technical report, Object Management Group (2003)"},{"key":"2_CR5","unstructured":"OMG: Semantics of Business Vocabulary and Business Rules (SBVR). Technical Report dtc\/06-03-02, Object Management Group (2006)"},{"key":"2_CR6","unstructured":"Kluza, K., Nalepa, G.J., \u0141ysik, \u0141.: Visual inference specification methods for modularized rulebases. Overview and integration proposal. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of the 6th Workshop on Knowledge Engineering and Software Engineering (KESE6) at the 33rd German Conference on Artificial Intelligence, Karlsruhe, Germany, September 21, pp. 6\u201317 (2010)"},{"key":"2_CR7","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Formal semantics and automated analysis of BPMN process models. Preprint 7115. Technical report, Queensland University of Technology, Brisbane, Australia (2007)"},{"key":"2_CR8","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, 987\u20131023 (2010)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"2_CR9","unstructured":"Ouyang, C., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.: Translating BPMN to BPEL. Technical report, 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":"2_CR10","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"1","author":"M. Wynn","year":"2009","unstructured":"Wynn, M., Verbeek, H., van der Aalst, W.M.P., ter Hofstede, A.H., Edmond, D.: Business process verification \u2013 finally a reality! Business Process Management Journal\u00a01, 74\u201392 (2009)","journal-title":"Business Process Management Journal"},{"issue":"1-2","key":"2_CR11","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"},{"key":"2_CR12","first-page":"530","volume-title":"FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida","author":"A. Lig\u0119za","year":"2007","unstructured":"Lig\u0119za, A., Nalepa, G.J.: Knowledge representation with granular attributive logic for XTT-based expert systems. In: Wilson, D.C., Sutcliffe, G.C.J., FLAIRS (eds.) FLAIRS-20: Proceedings of the 20th International Florida Artificial Intelligence Research Society Conference: Key West, Florida, May 7-9, pp. 530\u2013535. Florida Artificial Intelligence Research Society, AAAI Press, Menlo Park, California (2007)"},{"key":"2_CR13","first-page":"117","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, 117\u2013137 (2011)","journal-title":"Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery"},{"key":"2_CR14","unstructured":"Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Krak\u00f3w (2011)"},{"key":"2_CR15","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, 35\u201353 (2010)","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"2_CR16","series-title":"SCI","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-77475-4_16","volume-title":"Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations","author":"M. Szpyrka","year":"2008","unstructured":"Szpyrka, M.: Design and analysis of rule-based systems with adder designer. In: Cotta, C., Reich, S., Schaefer, R., Lig\u0119za, A. (eds.) Knowledge-Driven Computing: Knowledge Engineering and Intelligent Computations. SCI, vol.\u00a0102, pp. 255\u2013271. Springer, Heidelberg (2008)"},{"key":"2_CR17","series-title":"ISRL","first-page":"539","volume-title":"Rough Sets and Intelligent Systems","author":"M. Szpyrka","year":"2013","unstructured":"Szpyrka, M., Szmuc, T.: Design and verification of rule-based systems for Alvis models. In: Skowron, A., Suraj, Z. (eds.) Rough Sets and Intelligent Systems. ISRL, vol.\u00a043, pp. 539\u2013558. Springer, Heidelberg (2013)"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1142\/S021819401250012X","volume":"22","author":"G.J. Nalepa","year":"2012","unstructured":"Nalepa, G.J., Kluza, K.: UML representation for rule-based application models with XTT2-based business rules. International Journal of Software Engineering and Knowledge Engineering (IJSEKE)\u00a022, 485\u2013524 (2012)","journal-title":"International Journal of Software Engineering and Knowledge Engineering (IJSEKE)"},{"key":"2_CR19","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)"},{"key":"2_CR20","first-page":"57","volume":"18","author":"S. Bobek","year":"2010","unstructured":"Bobek, S., Kaczor, K., Nalepa, G.J.: Overview of rule inference algorithms for structured rule bases. Gdansk University of Technology Faculty of ETI Annals\u00a018, 57\u201362 (2010)","journal-title":"Gdansk University of Technology Faculty of ETI Annals"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-642-22546-8_24","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.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol.\u00a06826, pp. 305\u2013312. Springer, Heidelberg (2011)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1080\/09528130600906340","volume":"18","author":"B. Baki","year":"2006","unstructured":"Baki, B., Bouzid, M., Ligeza, A., Mouaddib, A.I.: A centralized planning technique with temporal constraints and uncertainty for multi-agent systems. J. Exp. Theor. Artif. Intell.\u00a018, 331\u2013364 (2006)","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"2_CR23","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. Springer, Heidelberg (2006)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Szpyrka, M.: Exclusion rule-based systems \u2013 case study. In: International Multiconference on Computer Science and Information Technology, Wisla, Poland, vol.\u00a03, pp. 237\u2013242 (2008)","DOI":"10.1109\/IMCSIT.2008.4747245"},{"key":"2_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"903","DOI":"10.1007\/978-3-540-24844-6_140","volume-title":"Artificial Intelligence and Soft Computing - ICAISC 2004","author":"A. Lig\u0119za","year":"2004","unstructured":"Lig\u0119za, A., Szpyrka, M.: Reduction of tabular systems. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol.\u00a03070, pp. 903\u2013908. Springer, Heidelberg (2004)"},{"key":"2_CR26","unstructured":"Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002) ISBN 0-201-71159-1"},{"key":"2_CR27","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1145\/263326.263335","volume":"15","author":"J.C. Mogul","year":"1997","unstructured":"Mogul, J.C., Ramakrishnan, K.K.: Eliminating receive livelock in an interrupt-driven kernel. ACM Trans. Comput. Syst.\u00a015, 217\u2013252 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"2_CR28","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-12186-9_2","volume-title":"Business Process Management Workshops","author":"A. Awad","year":"2010","unstructured":"Awad, A., Decker, G., Lohmann, N.: Diagnosing and repairing data anomalies in process models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 5\u201316. Springer, Heidelberg (2010)"},{"key":"2_CR29","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)"},{"key":"2_CR30","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 - 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)"},{"key":"2_CR31","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 (KESE 2011) at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011), La Laguna (Tenerife), Spain, November 10, pp. 15\u201323 (2011)"},{"key":"2_CR32","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)"}],"container-title":["IFIP Advances in Information and Communication Technology","Artificial Intelligence for Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54897-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T18:12:32Z","timestamp":1558894352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54897-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548963","9783642548970"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54897-0_2","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2014]]}}}