On the test-driven development and validation of business rules (2005)

by Jens Dietrich , Adrian Paschke
Venue:Information Systems Technology and its Applications, 4th International Conference ISTA’2005, 23-25 May, 2005, Palmerston North, New Zealand, volume 63 of LNI
Citations:14 - 8 self

Documents Related by Co-Citation

20 ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics an Transactional Update Logics – Adrian Paschke - 2005
7 The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Dynamic Update – Adrian Paschke - 2005
8 ECA-RuleML/ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language, http://2006.ruleml.org – A Paschke - 2006
14 RBSLA - A declarative Rule-based Service Level Agreement Language based on RuleML – Adrian Paschke - 2005
538 Nonmonotonic Reasoning, Preferential Models and Cumulative Logics – Sarit Kraus, Daniel Lehmann, Menachem Magidor - 1990
5 SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules – A Paschke, M Bichler - 2005
29 Knowledge representation concepts for automated SLA management. Decision Support Systems – Adrian Paschke, Martin Bichler - 2008
1858 Foundation of Logic Programming – J W Lloyd - 1987
466 A note on inductive generalization – G Plotkin - 1970
4 On SelfValidating Rule Bases – A Paschke, J Dietrich, A Giurca, G Wagner, S Lukichev
5 ContractLog - A Logic Framework for SLA Representation, Management and Enforcement – A Paschke - 2004
13 Typed Hybrid Description Logic Programs with Order-Sorted Semantic Web Type Systems based on – Adrian Paschke - 2005
186 Composite events for active databases: Semantics, contexts, and detection – S. Chakravarthy, V. Krishnaprasad, E. Anwar, S. -k. Kim - 1994
850 The Well-Founded Semantics for General Logic Programs – Kenneth A. Ross - 1991
46 Foundation and application of knowledge base verification – Alun D. Preece, Rajjan Shinghal - 1994
18 Report on the expert systems validation associate (eva), Expert Systems with Applications 1 (3 – C Chang, J Combs, R Stachowitz - 1990
11 Control-flow based testing of prolog programs – G Luo, G Bochmann, B Sarikaya, M Boyer - 1992
3 Rule Based SLA Management - A rule based approach on automated IT service management (in german language – A Paschke
6 ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements. in RuleML 2005 – Adrian Paschke, Martin Bichler, Jens Dietrich, Internet-based Information Systems, Technische Universität München - 2005