Experiences with modeling and verification of regulations

CEUR Workshop Proceedings

Volumn 241, Issue , 2006, Pages 793-799

  Vanthienen, Jan ^a   Mues, Christophe ^b   Goedertier, Stijn ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION TABLES; INFORMATION SYSTEMS;

BUSINESS KNOWLEDGE; BUSINESS RULES; DATABASE CONSTRUCTION; INFORMATION SYSTEM MODEL; MODELING AND VERIFICATIONS;

COMPLIANCE CONTROL;

EID: 79952625221     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Ross, R.G.: Business Rule Concepts - Getting to the Point of Knowledge. Business Rules Solutions, LLC; 2nd edition (2005)
2. Vanthienen, J.: 50 ways to represent your rule sets. In Business Rules Journal 7(1) (2006)
3. Goedertier, S., Vanthienen, J.: Rule-based business process modeling and execution. In: Proceedings of the IEEE EDOC Workshop on Vocabularies Ontologies and Rules for The Enterprise (VORTE 2005). CTIT Workshop Proceeding Series (ISSN 0929-0672), Enschede (2005)
4. Odell, J.: Business rules. Object Magazine (1995) 53-56
5. Preece, A.D., Shinghal, R.: Foundation and application of knowledge base verification. International Journal of Intelligent Systems 9(8) (1994) 683-701
6. Vessey, I., Weber, R.: Structured tools and conditional logic: An empirical investigation. Commun. ACM 29(1) (1986) 48-57 (Pubitemid 16474576)
7. Parnas, D.L.: The tabular method for relational documentation. Electr. Notes Theor. Comput. Sci. (44(3)) 1-26
8. Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3) (1996) 231-261 (Pubitemid 126417405)
9. Cragun, B.J., Steudel, H.J.: A decision-table-used processor for checking completeness and consistency in rule-based expert systems. Int. J. Man-Mach. Stud. 26(5) (1987) 633-648
10. Vanthienen, J., Mues, C., Wets, G., Delaere, K.: A tool-supported approach to inter-tabular verification. Expert Systems with Applications 15 (1998) 277-258
11. Mues, C., Vanthienen, J.: Efficient rule base verification using binary decision diagrams. In Galindo, F., Takizawa, M., Traunmüller, R., eds.: DEXA. Volume 3180 of Lecture Notes in Computer Science., Springer (2004) 445-454
12. Vanthienen, J., Robben, F.: Developing legal knowledge based systems using decision tables. In: Proc. of The Fourth Int. Conf. on A.I. and Law, June 15-18, Amsterdam,. (1993) 282-291
13. Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. In: Proc. of The Fifth Int. Conf. on Tools with Artificial Intelligence (TAI), November 8-11, Boston (Mass.). (1993) 198-205
14. Baesens, B., Setiono, R., Mues, C., Vanthienen, J.: Using neural network rule extraction and decision tables for credit-risk evaluation. Manage. Sci. 49(3) (2003) 312-329