UML representation for rule-based application models with XTT2-based business rules

International Journal of Software Engineering and Knowledge Engineering

Volumn 22, Issue 4, 2012, Pages 485-524

  Nalepa, Grzegorz J ^a   Kluza, Krzysztof ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

Business rules; knowledge representation and integration; MVC; UML; XTT2

Indexed keywords

APPLICATION LOGIC; APPLICATION MODELS; ARCHITECTURAL PATTERN; BUSINESS APPLICATIONS; BUSINESS RULES; DESIGN ISSUES; DESIGNING RULES; FUNCTIONAL REQUIREMENT; LOGICAL MODELS; MODEL-VIEW-CONTROLLER; MVC; RULE BASE; RULE BASED; RULE-BASED MODELS; SOFTWARE APPLICATIONS; SOFTWARE ENGINEERING PRACTICES; SOFTWARE ENGINEERS; UML; UML DESIGN; UML DIAGRAMS; UML MODEL; UML TOOLS; VISUAL DESIGN; XTT2;

DESIGN; KNOWLEDGE REPRESENTATION; SEMANTICS; SOFTWARE ENGINEERING; XML;

UNIFIED MODELING LANGUAGE;

EID: 84865381470     PISSN: 02181940     EISSN: None     Source Type: Journal    
DOI: 10.1142/S021819401250012X     Document Type: Article

References (90)

1. P. Ammann and J. O®utt, Introduction to Software Testing (Cambridge University Press, 2008).
2. F. Baader, D. Calvanese, D. L. McGuinness, D. Nardi and P. F. Patel-Schneider (eds.), The Description Logic Handbook: Theory, Implementation, and Applications (Cambridge University Press, 2003).
3. F. Barbier and X. Aretxandieta, State-based composition in UML 2, International Journal of Software Engineering and Knowledge Engineering 18(8) (2008) 987-1011.
4. J. Baumeister, Advanced empirical testing, Knowledge-Based Systems 24 (2011) 83-94.
5. J. Baumeister and M. Freiberg, Knowledge visualization for evaluation tasks, Knowledge and Information Systems (2010) 1-30.
6. M. Benoit, Working XML: UML, XMI, and code generation, Part 2, http://www.ibm. com/developerworks/xml/library/x-wxxm24/, 2004.
7. M. Biere, Business Intelligence for the Enterprise (Prentice Hall PTR, 2003).
8. S. Brockmans, P. Haase, P. Hitzler and R. Studer, A metamodel and UML prōle for rule-extended OWL DL ontologies, Lecture Notes in Computer Science, Vol. 4011 (2006), pp. 303-316.
9. P. Browne, JBoss Drools Business Rules (Packt Publishing, 2009).
10. S. Burbeck, Applications programming in Smalltalk-80(TM): How to use Model-View- Controller (MVC), Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign, 1992.
11. J. Cañadas, J. Palma and S. Túnez, InSCo-Gen: A MDD tool for web rule-based applications, in M. Gaedke, M. Grossniklaus and O. Díaz (eds.), in Proceedings of 9th Int. Conf. on Web Engineering, San Sebasti-an, Spain, June 24-26, 2009, Lecture Notes in Computer Science, Vol. 5648 (Springer, 2009), pp. 523-526.
12. P. Caspi, N. Halbwachs, D. Pilaud and J. Plaice, LUSTRE, a declarative language for programming synchronous systems, in 14th Symposium on Principles of Programming Languages (POPL 87), 1987, pp. 178-188.
13. Cheeyang, E. Cho and C. Kim, An integrated GUI-business component modeling method for the MDD- and MVC-based hierarchical designs, International Journal of Software Engineering and Knowledge Engineering 21(3) (2011) 447-490.
14. J. Clark, XSL Transformations (XSLT) version 1.0 W3C recommendation 16 November 1999, Technical report, World Wide Web Consortium (W3C), 1999.
15. D. Cuadra, H. Aljumaily, E. Castro and M. V. de Diego, An OCL-based approach to derive constraint test cases for database applications, International Journal of Software Engineering and Knowledge Engineering 21(5) (2011) 621-645.
16. B. Daum and U. Merten, System Architecture with XML (Morgan Kaufmann, 2002).
17. T. Denvir, J. Oliveira and N. Plat, The Cash-Point (ATM) Problem', Formal Aspects of Computing 12(4) (2000) 211-215.
18. S. Dupuy-Chessa and L. du Bousquet, Validation of UML models thanks to Z and Lustre, in International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity, Lecture Notes in Computer Science, Vol. 2021, 2001, pp. 242-258.
19. T. Erl, Service-Oriented Architecture (SOA): Concepts, Technology, and Design (Prentice Hall PTR, 2005).
20. J. Fong, H. Shiu and J. Wong, Methodology for data conversion from XML documents to relations using Extensible Stylesheet Language Transformation, International Journal of Software Engineering and Knowledge Engineering 19(2) (2009) 249-281.
21. E. Friedman-Hill, Jess in Action, Rule Based Systems in Java (Manning, 2003).
22. E. Gamma, R. Helm, R. Johnson and J. Vlissides, 1st edn. Design Patterns (Addison- Wesley, 1995).
23. A. Gerber, M. Lawley, K. Raymond, J. Steel and A. Wood, Transformation: The missing link of MDA, in Graph Transformation: First International Conference, ICGT 2002, Barcelona, Spain, October 2002, pp. 252-265.
24. J. Giarratano and G. Riley, Expert Systems. Principles and Programming, 4th edn. (Thomson Course Technology, Boston, 2005).
25. A. Giurca, D. Gasevic and K. Taveter (editors), Handbook of Research on Emerging Rule- Based Languages and Technologies: Open Solutions and Approaches (Information Science Reference, Hershey, New York, 2009
26. A. Grissa-Touzi, H. Ounally and A. Boulila, VISUAL JESS: An expandable visual generator of oriented object expert systems, Engineering and Technology 11 (2005) 108-111.
27. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean, SWRL: A semantic web rule language combining OWL and RuleML, W3C member submission 21 May 2004, Technical report, W3C, 2004.
28. Z. Hu and S. M. Shatz, Mapping UML diagrams to a petri net notation for system simulation, in 16th Int. Conf. on Software Engineering & Knowledge Engineering (SEKE 2004), 2004, pp. 213-219.
29. J. Hunt, Guide to the Unīed Process Featuring UML, Java and Design Patterns (Springer, 2003).
30. IEEE, 1016-2009 IEEE standard for information technology-systems design-software design descriptions, Technical report, IEEE, 2009.
31. J. P. Ignizio, Introduction to Expert Systems: The Development and Implementation of Rule-Based Expert Systems (McGraw-Hill, 1991).
32. K. Kaczor and G. J. Nalepa, Extensible design and verīcation enviroment for XTT rule bases, in R. Tadeusiewicz, A. Ligȩza, W. Mitkowski and M. Szymkat (eds.), in 7th Conf. on Computer Methods and Systems, 26-27 November 2009, Kraków, Poland, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, 2009.
33. K. Kaczor, G. J. Nalepa, L. Łysik and K. Kluza, Visual design of Drools rule bases using the XTT2 method, in R. Katarzyniak, T.-F. Chiu, C.-F. Hong and N. Nguyen (eds.), Semantic Methods for Knowledge Management and Communication, Studies in Computational Intelligence, Vol. 381, 2011, pp. 57-66.
34. K. Kapočius and R. Butleris, in Repository for Business Rules based IS requirements, Informatica 17 (2006) 503-518.
35. K. Kluza, T. Maślanka, G. J. Nalepa and A. Ligȩza, Proposal of representing BPMN diagrams with XTT2-based business rules, in F. M. Brazier, K. Nieuwenhuis, G. Pavlin, M. Warnier and C. Badica (eds.), in Proceedings of the 5th International Symposium on Intelligent Distributed Computing, Delft, the Netherlands, October 2011, Studies in Computational Intelligence, Vol. 382, pp. 243-248.
36. K. Kluza and G. J. Nalepa, Analysis of UML representation for XTT and ARD rule design methods, Technical Report CSLTR 5/2009, AGH University of Science and Technology, 2009.
37. K. Kluza and G. J. Nalepa, MOF-based metamodeling for the XTT knowledge representation, in R. Tadeusiewicz, A. Ligȩza, W. Mitkowski and M. Szymkat (eds.), 7th Conference Computer Methods and Systems, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne, 2009.
38. K. Kluza, G. J. Nalepa and Ł. Łysik, Visual inference specīcation methods for modularized rulebases, Overview and integration proposal, in G. J. Nalepa and J. Baumeister (eds.), 6th Workshop on Knowledge Engineering and Software Engineering (KESE2009) at the 32nd German Conference on Artīcial Intelligence, Karlsruhe, Germany, 2010, pp. 6-17.
39. J. Kong, D. Xu and X. Zeng, UML-based modeling and analysis of security threats, International Journal of Software Engineering and Knowledge Engineering 20(6) (2010) 875-897.
40. J. Liebowitz (ed.), The Handbook of Applied Expert Systems (CRC Press, Boca Raton, 1998).
41. A. Ligȩza, Logical Foundations for Rule-Based Systems (Springer-Verlag, 2006).
42. A. Ligȩza and G. J. Nalepa, Proposal of a formal verīcation framework for the XTT2 rule bases, in R. Tadeusiewicz, A. Ligȩza, W. Mitkowski and M. Szymkat (eds.), CMS'09: 7th Conference on Computer Methods and Systems Kraków, 2009, pp. 105-110, AGH University of Science and Technology, Cracow, Oprogramowanie Naukowo-Techniczne
43. A. Ligȩza and G. J. Nalepa, Rules verīcation and validation, in A. Giurca, D. Gasevic and K. Taveter (eds.), Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches (IGI Global, Hershey, New York, 2009), pp. 273-301.
44. J. Lilius and I. Paltor, vUML: A tool for verifying UML models, in Proc. of 14th International Conference on Automated Software Engineering, 1999, pp. 255-258.
45. J. Lin, An object-oriented development method for consumer support systems, International Journal of Software Engineering and Knowledge Engineering 19(7) (2009) 933-960.
46. S. Lukichev and G. Wagner, Visual rules modeling, in Sixth International Andrei Ershov Memorial Conference Perspectives of System Informatics, Novosibirsk, Russia, June 2006 (Springer, 2005).
47. S. Lukichev and G. Wagner, UML-Based Rule Modeling with Fujaba, in H. Giese and B. Westfechtel (eds.), Proc. of 4th Int. Fujaba Days, University of Bayreuth, Germany, 2006, pp. 31-35.
48. Object Management Group, Object Constraint Language Version 2.0, Technical report, OMG, May 2006.
49. S. C. Medders, E. B. Allen and E. A. Luke, Using rule structure to evaluate the completeness of rule-based system testing: A case study, International Journal of Software Engineering and Knowledge Engineering 20(7) (2010) 975-986.
50. R. Mrówka and T. Szmuc, UML statecharts compositional semantics in LOTOS, in M. Tudruj (ed.), Proceedings of the 7th International Symposium on Parallel and Distributed Computing (IEEE Computer Society, 2008), pp. 459-463.
51. G. Nalepa, S. Bobek, A. Ligȩza and K. Kaczor, Algorithms for rule inference in modularized rule bases, in N. Bassiliades, G. Governatori and A. Paschke (eds.), Rule- Based Reasoning, Programming, and Applications, Lecture Notes in Computer Science, Vol. 6826, 2011, pp. 305-312.
52. G. Nalepa, S. Bobek, A. Ligȩza and K. Kaczor, HalVA - rule analysis framework for XTT2 rules, in N. Bassiliades, G. Governatori and A. Paschke (eds.), Rule-Based Reasoning, Programming, and Applications, Lecture Notes in Computer Science, Vol. 6826, 2011, pp. 337-344.
53. G. Nalepa, A. Ligȩza and K. Kaczor, Overview of knowledge formalization with XTT2 rules, in N. Bassiliades, G. Governatori and A. Paschke (eds.), Rule-Based Reasoning, Programming, and Applications, Lecture Notes in Computer Science, Vol. 6826, 2011, pp. 329-336.
54. G. J. Nalepa, A new approach to the rule-based systems design and implementation process, Computer Science 6 (2004) 65-79.
55. G. J. Nalepa, Business Rules design and rēnement using the XTT approach, in D. C.Wilson, G. C. J. Sutcli®e and LAIRS (eds.), in Proceedings of 20th International Florida Artīcial Intelligence Research Society Conference, Key West, Florida, May 7-9, 2007, pp. 536-541.
56. G. J. Nalepa, Languages and tools for rule modeling, in A. Giurca, D. Gasevic and K. Taveter (eds.), Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches (IGI Global, Hershey, New York, 2009), pp. 596-624.
57. G. J. Nalepa, XTT rules design and implementation with object-oriented methods, in H. C. Lane and H. W. Guesgen (eds.), in Proceedings of the 22nd International Florida Artīcial Intelligence Research Society Conference, 19-21 May 2009, Sanibel Island, Florida, USA, 2009, pp. 390-395.
58. G. J. Nalepa, Architecture of the HeaRT hybrid rule engine, in L. Rutkowski et al., (eds.), 10th International Conference on Artīcial Intelligence and Soft Computing, Zakopane, Poland, June 13-17, 2010, Pt. II, Lecture Notes in Artīcial Intelligence, Vol. 6114, pp. 598-605.
59. G. J. Nalepa, Collective knowledge engineering with semantic wikis, Journal of Universal Computer Science 16(7) (2010) 1006-1023.
60. G. J. Nalepa, Loki - semantic wiki with logical knowledge representation, in N. T. Nguyen (ed.), Transactions on Computational Collective Intelligence III, Lecture Notes in Computer Science, Vol. 6560, 2011, pp. 96-114.
61. G. J. Nalepa, Semantic Knowledge Engineering. A Rule-Based Approach (Wydawnictwa AGH, Kraków, 2011).
62. G. J. Nalepa and K. Kluza, UML representation proposal for XTT rule design method, in G. J. Nalepa and J. Baumeister (eds.), 4th Workshop on Knowledge Engineering and Software Engineering (KESE2008) at the 32nd German Conference on Artīcial Intelligence, 23 September, 2008, Kaiserslautern, Germany, Kaiserslautern, Germany, 2008, pp. 31-42.
63. G. J. Nalepa and A. Ligȩza, Designing reliable Web security systems using rule-based systems approach, in E. Menasalvas, J. Segovia and P. S. Szczepaniak (eds.), Advances in Web Intelligence. First International Atlantic Web Intelligence Conference AWIC 2003, Madrid, Spain, May 5-6, 2003, Lecture Notes in Artīcial Intelligence, Vol. 2663, 2003, pp. 124-133.
64. G. J. Nalepa and A. Ligȩza, A graphical tabular model for rule-based logic programming and verīcation, Systems Science 31(2) (2005) 89-95.
65. G. J. Nalepa and A. Ligȩza, HeKatE methodology, hybrid engineering of intelligent systems, International Journal of Applied Mathematics and Computer Science 20(1) (2010) 35-53.
66. G. J. Nalepa, A. Ligȩza and K. Kaczor, Formalization and modeling of rules using the XTT2 method, International Journal on Artīcial Intelligence Tools 20(6) (2011) 1107-1125.
67. G. J. Nalepa, A. Ligȩza, K. Kaczor and W. T. Furmańska, HeKatE rule runtime and design framework, in A. Giurca, G. J. Nalepa and G. Wagner (eds.), in Proceedings of the 3rd East European Workshop on Rule-Based Applications, Cottbus, Germany, September 21, 2009, pp. 21-30.
68. N. T. Nguyen, Processing inconsistency of knowledge on semantic level, Journal of Universal Computer Science 11(2) (2005) 285-302.
69. OMG, MOF 2.0/XMI mapping version 2.1, specīcation, Technical report formal/2005- 09-01, Object Management Group, September 2005.
70. OMG, Meta object facility (MOF) version 2.0, core specīcation, Technical report formal/ 2006-01-01, Object Management Group, January 2006.
71. OMG, Semantics of Business Vocabulary and Business Rules (SBVR), Technical report dtc/06-03-02, Object Management Group, 2006.
72. OMG, Unīed Modeling Language version 2.1.2, infrastructure, specīcation, Technical report formal/2007-11-04, Object Management Group, November 2007.
73. OMG, Production Rule Representation (OMG PRR) version 1.0, specīcation, Technical report formal/2009-12-01, Object Management Group, December 2009.
74. OMG, Unīed Modeling Language (OMG UML) version 2.2, superstructure, Technical report formal/2009-02-02, Object Management Group, February 2009.
75. D. Panagiotou and G. Mentzas, Leveraging software reuse with knowledge management in software development, International Journal of Software Engineering and Knowledge Engineering 21(5) (2011) 693-723.
76. D. Rodríguez-García, E. G. Barriocanal, S. S. Alonso and C. R.-S. Nuzzi, Dēning software process model constraints with rules using OWL and SWRL, International Journal of Software Engineering and Knowledge Engineering 20(4) (2010) 533-548.
77. R. G. Ross, Principles of the Business Rule Approach (Addison-Wesley Professional, 2003).
78. V. Seidita, M. Cossentino, V. Hilaire, N. Gaud, S. Galland, A. Koukam and S. Gaglio, The metamodel: a starting point for design processes construction, International Journal of Software Engineering and Knowledge Engineering 20(4) (2010) 575-608.
79. J. Simmonds, M. C. Bastarrica, N. Hitschfeld-Kahler and S. Rivas, A tool based on DL for UML model consistency checking, International Journal of Software Engineering and Knowledge Engineering 18(6) (2008) 713-735.
80. I. Singh, B. Stearns and M. Johnson, Designing Enterprise Applications with the J2EE Platform, 2nd edn. (Prentice Hall, 2002).
81. I. Sommerville, Software Engineering, International Computer Science, 7th edn. (Pearson Education Limited, 2004).
82. J. Spivey, The Z Notation (Prentice-Hall International, 1992).
83. M. Szpyrka and T. Szmuc, Decision tables in petri net models, in M. Kryszkiewicz, J. F. Peters, H. Rybinski and A. Skowron (eds.), Rough Sets and Intelligent Systems Paradigms, RSEISP 2007, Lecture Notes in Computer Science, Vol. 4585, 2007, pp. 648-657.
84. R. Tadeusiewicz, Introduction to intelligent systems, in B. M. Wilamowski and J. D. Irwin (eds.), Intelligent Systems, The Electrical Engineering Handbook Series, The Industrial Electronics Handbook, pages 1-1-1-12. Boca Raton; London; New York: CRC Press Taylor & Francis Group, second edition, 2011.
85. A. Vermesan and F. Coenen (eds.), Validation and Verīcation of Knowledge Based Systems. Theory, Tools and Practice (Kluwer Academic Publisher, Boston, 1999).
86. B. von Halle, Business Rules Applied: Building Better Systems Using the Business Rules Approach (Wiley, 2001).
87. W. M. N. Wan-Kadir and P. Loucopoulos, Relating evolving business rules to software design, Journal of Systems Architecture 50 (2004) 367-382.
88. G. Weiss, G. Pomberger, W. Beer, G. Buchgeher, B. Dorninger, J. Pichler, H. Praehofer, R. Ramler, F. Stallinger and R. Weinreich, Hagenberg Research, Chapter Software Engineering - Processes and Tools, Springer, 2009, pp. 157-235.
89. J. Whittle, Formal approaches to systems analysis using UML: An overview, J. Database Manag. 11(4) (2000) 4-13.
90. D. Xu, W. Xu and W. E. Wong, Automated test code generation from class state models, International Journal of Software Engineering and Knowledge Engineering 19(4) (2009) 599-623.