Abstract
In this paper, we discuss a new architecture for integrating and executing business process models with rules. It is based on a workflow engine that runs a BPMN-based business process model. On the lower level, rules are used to express the specific parts of the business logic. Rules working in the same context are grouped into a single task in the process model. Such a rule task is modeled by a formally defined decision table, which is designed in a visual way and its quality can be formally verified. In the runtime environment, tables are executed by a dedicated rule inference engine controlled by a workflow engine.
The paper is supported by the HiBuProBuRul Project funded from NCN (National Science Centre) resources for science (no. DEC-2011/03/N/ST6/00909).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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) 22(4), 485–524 (2012)
Ross, R.G.: Principles of the Business Rule Approach, 1st edn. Addison-Wesley Professional (2003)
von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley (2001)
Buchanan, B.G., Shortliffe, E.H. (eds.): Rule-Based Expert Systems. Addison-Wesley Publishing Company, Reading (1985)
Ligęza, 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 1(2), 117–137 (2011)
Knolmayer, G., Endl, R., Pfahrer, M.: Modeling processes and workflows by business rules. In: Business Process Management, Models, Techniques, and Empirical Studies, pp. 16–29. Springer-, London (2000)
Charfi, A., Mezini, M.: Hybrid web service composition: Business processes md,,eet business rules. In: Proceedings of the 2nd International Conference on Service-Oriented Computing, ICSOC 2004, pp. 30–38. ACM, New York (2004)
OMG: Semantics of Business Vocabulary and Business Rules (SBVR). Technical Report dtc/06-03-02, Object Management Group (2006)
OMG: Business Process Model and Notation (BPMN): Version 2.0 specification. Technical Report formal/2011-01-03, Object Management Group (January 2011)
Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291–308. Springer, Heidelberg (2006)
Milanovic, M., Gaševic, D.: Towards a language for rule-enhanced business process modeling. In: Proceedings of the 13th IEEE International Conference on Enterprise Distributed Object Computing, EDOC 2009, pp. 59–68. IEEE Press, Piscataway (2009)
van Eijndhoven, T., Iacob, M.E., Ponisio, M.: Achieving business process flexibility with business rules. In: Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, EDOC 2008, pp. 95–104 (September 2008)
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. 7268, pp. 573–581. Springer, Heidelberg (2012)
Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. International Journal of Applied Mathematics and Computer Science 20(1), 35–53 (2010)
Baumeister, J., Freiberg, M.: Knowledge visualization for evaluation tasks. Knowledge and Information Systems 29(2), 349–378 (2011)
Nalepa, G.J.: Proposal of business process and rules modeling with the XTT method. In: Negru, V. (ed.) Symbolic and Numeric Algorithms for Scientific Computing, SYNASC Ninth International Symposium, September 26-29, vol. 506, pp. 500–506. IEEE Computer Society, IEEE, CPS Conference Publishing Service, Los Alamitos, California (2007)
Kluza, K., Nalepa, G.J., Łysik, Ł.: 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–17 (2010)
Szpyrka, M., Nalepa, G.J., Ligęza, A., Kluza, K.: Proposal of formal verification of selected BPMN models with Alvis modeling language. In: Brazier, F.M., et al. (eds.) Intelligent Distributed Computing V. SCI, vol. 382, pp. 249–255. Springer, Heidelberg (2011)
Hollingsworth, D.: The workflow reference model. Issue 1.1 TC00-1003, Workflow Management Coalition (January 1995)
Hu, J., Zhao, Z., Lv, Z.: Implementation of process management and control based on jbpm4.4. In: 2011 Second International Conference on Networking and Distributed Computing (ICNDC), pp. 218–221 (September 2011)
Huang, Y.Y., Jiang, R., Li, H.: A reusable system architecture based on jbpm and its application. In: Zhang, Y. (ed.) Future Communication, Computing, Control and Management. LNEE, vol. 142, pp. 517–525. Springer, Heidelberg (2012)
Bing, H., Dan-Mei, X.: Research and design of document flow model based on JBPM workflow engine. In: Proceedings from International Forum on Computer Science-Technology and Applications, IFCSTA 2009, vol. 1, pp. 336–339 (December 2009)
Peng, L., Zhou, B.: Research on workflow patterns based on jBPM and jPDL. In: Proceedings from IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, PACIIA 2008, pp. 838–843. IEEE (December 2008)
Wohed, P., Russell, N., ter Hofstede, A.H., Andersson, B., van der Aalst, W.M.: Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark. Information and Software Technology 51(8), 1187–1216 (2009)
Ostermayer, L., Seipel, D.: Knowledge engineering for business rules in prolog. In: Proceedings of the 26th Workshop on Logic Programming (WLP 2012), Bonn, Germany, September 24-25. CoRR Computing Research Repository (2012)
Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)
Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: Algorithms for rule inference in modularized rule bases. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 305–312. Springer, Heidelberg (2011)
Nalepa, G.J., Bobek, S., Ligęza, A., Kaczor, K.: HalVA - rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) RuleML 2011 - Europe. LNCS, vol. 6826, pp. 337–344. Springer, Heidelberg (2011)
Nalepa, G.J., Ligęza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. International Journal on Artificial Intelligence Tools 20(6), 1107–1125 (2011)
Nalepa, G.J.: Architecture of the heaRT hybrid rule engine. In: Rutkowski, L., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds.) ICAISC 2010, Part II. LNCS, vol. 6114, pp. 598–605. Springer, Heidelberg (2010)
Sekuła, R.: Review of selected workflow environments. Technical report, AGH UST, BSc Thesis, G.J.Nalepa, PhD Supervisor (2012)
Denvir, T., Oliveira, J., Plat, N.: The Cash-Point (ATM) ’Problem’. Formal Aspects of Computing 12(4), 211–215 (2000)
Müller, R., Greiner, U., Rahm, E.: Agent work: a workflow system supporting rule-based workflow adaptation. Data Knowl. Eng. 51(2), 223–256 (2004)
Goedertier, S., Vanthienen, J.: Business rules for compliant business process models. In: Abramowicz, W., Mayr, H.C. (eds.) BIS. LNI, vol. 85, pp. 558–572. GI (2006)
Rosenberg, F., Rosenberg, F., Dustdar, S., Dustdar, S.: Business rules integration in BPEL – a service-oriented approach. In: Proceedings of the 7th International IEEE Conference on E-Commerce Technology (CEC 2005), pp. 476–479 (July 2005)
zur Muehlen, M., Indulska, M., Kamp, G.: Business process and business rule modeling languages for compliance management: a representational analysis. In: Tutorials, Posters, Panels and Industrial Contributions at the 26th International Conference on Conceptual Modeling - Volume 83. ER ’07, Darlinghurst, Australia, Australia, Australian Computer Society, Inc. (2007) 127–132
zur Muehlen, M., Indulska, M., Kittel, K.: Towards integrated modeling of business processes and business rules. In: 19th Australasian Conference on Information Systems ACIS 2008, Christchurch, New Zealand (December 2008)
Di Bona, D., Lo Re, G., Aiello, G., Tamburo, A., Alessi, M.: A methodology for graphical modeling of business rules. In: 5th UKSim European Symposium on Computer Modeling and Simulation (EMS) 2011, pp. 102–106 (November 2011)
Kluza, K., Maślanka, T., Nalepa, G.J., Ligęza, A.: Proposal of representing BPMN diagrams with XTT2-based business rules. In: Brazier, F.M. (ed.) et al., eds.: Intelligent Distributed Computing V. Proceedings of the 5th International Symposium on Intelligent Distributed Computing – IDC 2011, Delft, the Netherlands, Oct. 2011. Studies in Computational Intelligence, vol. 382, pp. 243–248. Springer, Heidelberg (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nalepa, G.J., Kluza, K., Kaczor, K. (2013). 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) Artificial Intelligence and Soft Computing. ICAISC 2013. Lecture Notes in Computer Science(), vol 7895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38610-7_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-38610-7_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38609-1
Online ISBN: 978-3-642-38610-7
eBook Packages: Computer ScienceComputer Science (R0)