Proposal of Visual Modeling and Verification of Business Rules Using HaDEs Environment

• Autorzy: Kaczor K.

Warianty tytułu

PL

Propozycja wizualnego projektowania i weryfikacji reguł biznesowych w środowisku HaDEs

• Języki publikacji: EN

Abstrakty

EN

Business Rules allow for defining statements that describe some aspects of the business and precise what can be done in a specific situation. Our work concerns the efficient design and verification of the rule bases. In our previous research the HaDEs framework for visual design and verification of the rule bases was developed. This framework provides an on-line verification during integrated hierarchical design process.The main goal of this paper is to propose the HaDEs tools as effectively tool for Business Rules modeling.

PL

Reguły biznesowe pozwalają na zdefiniowanie niektórych aspektów działania przedsiębiorstwa i postępowania w danej sytuacji. Badania mają na celu stworzenie efektywnej metody projektowania i weryfikacji reguł biznesowych. Dotychczas opracowano zintegrowane środowisko wizualnego projektowania i weryfikacji reguł. Projektowanie reguł składa się z trzech faz podczas których wytwarzany model jest nieustannie monitorowany pod kątem poprawności składniowej i logicznej. Głównym celem tego artykułu jest pokazanie, w jaki sposób wytworzone środowisko projektowania reguł może zostać użyte do projektowania reguł biznesowych.

Słowa kluczowe

EN

business rules; XTT2; visual modeling; BPMN

PL

reguły biznesowe; XTT2; BPMN

• Wydawca: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP
• Czasopismo: Pomiary Automatyka Robotyka
• Rocznik: 2011
• Tom: R. 15, nr 12
• Strony: 188--189
• Opis fizyczny: Bibliogr. 17 poz.

Twórcy

autor

Kaczor K.

• AGH Akademia Górniczo-Hutnicza, Wydział EAIiE, Katedra Automatyki,

Bibliografia

• 1. Ross R.G.: Principles of the Business Rule Approach, Addison-Wesley Professional 2003.
• 2. Giarratano J.C., Riley G.D.: Expert Systems, Thomson 2005.
• 3. Nalepa G.J.: Semantic Knowledge Engineering. A Rule-Based Approach, Wydawnictwa AGH, Kraków 2011.
• 4. Nalepa G.J., Ligęza A.: HeKatE methodology, hybrid engineering of intelligent systems, “International Journal of Applied Mathematics and Computer Science” 20(1)/2010, 35-53.
• 5. Kaczor K., Nalepa G.J.: HaDEs - presentation of the HeKatE design environment, [in:] Baumeister J., Nalepa G.J. (eds.): 5th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German conference on Artificial Intelligence: September 15, 2009, Paderborn, Germany, Paderborn 2009, 57-62.
• 6. Nalepa G., Ligęza A., Kaczor K.: Overview of knowledge formalization with XTT2 rules, [in:] Bassiliades N., Governatori G., Paschke A. (eds.): Rule-Based Reasoning, Programming, and Applications, Volume 6826 of “Lecture Notes in Computer Science”, Springer Berlin/Heidelberg 2011, 329-336.
• 7. Tadeusiewicz R.: Introduction to intelligent systems, [in:] Wilamowski B.M., Irwin J.D. (eds.): Intelligent systems. The Electrical Engineering Handbook Series. The Industrial Electronics Handbook, second edition, ed. Boca Raton, London, New York, CRC Press Taylor& Francis Group 2011, 1-1-1-12.
• 8. von Halle B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach, Wiley 2001.
• 9. Nalepa G.J., Ligęza A.: Special section: Semantic knowledge engineering, “International Journal of Applied Mathematics and Computer Science” 21(1)/2011.
• 10. Nalepa G.J., Ligęza A.: A visual edition tool for design and verification of knowledge in rule-based systems, “Systems Science” 31(3)/2005, 103-109.
• 11. Ligęza A., Nalepa G.J.: Rules verification and validation, [in:] Giurca A., Gasevic D., Taveter K., (eds.): Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches, IGI Global, Hershey, New York 2009, 273-301.
• 12. Nalepa G.J.: Architecture of the HeaRT hybrid rule engine, [in:] Rutkowski L. et al. (eds.): Artificial Intelligence and Soft Computing: 10th International Conference, ICAISC 2010: Zakopane, Poland, June 13-17, 2010, Pt. II, Volume 6114 of „Lecture Notes in Artificial Intelligence”, Springer 2010, 598-605.
• 13. Ligęza 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, 2007, Menlo Park, California, Florida Artificial Intelligence Research Society, AAAI Press 2007, 530-535.
• 14. Nalepa G.J., Furmańska W.T.: Pellet-HeaRT - proposal of an architecture for ontology systems with rules, [in:] Dillmann R. et al. (eds.): KI 2010: Advances in Artificial Intelligence: 33rd annual German conference on AI: Karlsruhe, Germany, September 21-24, 2010, Volume 6359 of “Lecture Notes in Artificial Intelligence”, Berlin/Heidelberg, Springer-Verlag 2010, 143-150.
• 15. Kaczor K., Nalepa G.J., Łysik L., Kluza K.: Visual design of Drools rule bases using the XTT2 method, [in:] Katarzyniak R., Chiu T.F., Hong C.F., N. (eds.): Semantic Methods for Knowledge Management and Communication, Volume 381 of “Studies in Computational Intelligence”, Springer Berlin/Heidelberg 2011, 57 66.
• 16. Kluza K., Maślanka T., Nalepa G.J., Ligęza A.: Representing BPMN diagrams with XTT2-based business rules proposal, [in:] Brazier F.M., Nieuwenhuis K., Pavlin G., Warnier M., Badica C. (eds.): Intelligent Distributed Computing V. Studies in Computational Intelligence, Springer-Verlag 2011 [in press].
• 17. Nalepa G.J., Kluza K., Ernst S.: Modeling and analysis of business processes with business rules, [in:] Beckmann J. (ea.): Business Process Modeling: Software Engineering, Analysis and Applications. Business Issues, Competition and Entrepreneurship, Nova Publishers 2011.