Skip to main content
SpringerLink
Log in

Development and Verification of Rule Based Systems — A Survey of Developers

  • Conference paper
Rule Representation, Interchange and Reasoning on the Web (RuleML 2008)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5321))

Abstract

While there is great interest in rule based systems and their development, there is little data about the tools and methods used and the issues facing the development of these systems. To address this deficiency, this paper presents the results from a survey of developers of rule based systems.

The results from the survey give an overview of the methods and tools used for development and the major issues hindering the development of rule based systems. Recommendations for possible future research directions are presented.

The results point to verification and validation, debugging and overall tool support as the main issues negatively affecting the development of rule based systems. Further a lack of methodologies that appropriately support developers of these systems was found.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Zacharias, V.: Rules as simple way to model knowledge: Closing the gap between promise and reality. In: Proceedings of the 10th International Conference on Enterprise Information Systems (to appear, 2008)

    Google Scholar 

  2. Hamilton, D., Kelley, K.: State-of-the-practice in knowledge-based system verification and validation. Expert Systems With Applications 3, 403–410 (1991)

    Article  Google Scholar 

  3. O’Leary, D.: Design, Development and Validation of Expert Systems: A Survey of Developers, pp. 3–18. John Wiley & Sons Ltd., Chichester (1991)

    Google Scholar 

  4. Cusumano, M., MacCormack, A.C., Kemerer, F., Crandall, B.: Software development worldwide: The state of the practice. IEEE Software 20 (2003)

    Google Scholar 

  5. Zhao, L., Elbaum, S.: A survey on quality related activities in open source. SIGSOFT Software Engineering Notes 25(3), 54–57 (2000)

    Article  Google Scholar 

  6. Zhao, L., Elbaum, S.: Quality assurance under the open source development model. Journal of Systems and Software 66, 65–75 (2003)

    Article  Google Scholar 

  7. Runeson, P., Andersson, C., Thelin, T., Andrews, A., Berling, T.: What do we know about defect detection methods? IEEE Software 23, 82–90 (2006)

    Article  Google Scholar 

  8. SurveyMonkey: Surveymonkey (2008) (accessed 2008-05-29), http://www.surveymonkey.com/

  9. Larman, C., Basili, V.: Iterative and incremental development: A brief history. IEEE Computer, 47–56 (June 2003)

    Google Scholar 

  10. MacCormack, A.: Product-development practices that work. MIT Sloan Management Review, 75–84 (2001)

    Google Scholar 

  11. Zacharias, V.: The debugging of rule bases. In: Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches. IGI Global (to appear, 2009)

    Google Scholar 

  12. Shapiro, E.Y.: Algorithmic program debugging. PhD thesis, Yale University (1982)

    Google Scholar 

  13. Chalupsky, H., Russ, T.: Whynot: Debugging failed queries in large knowledge bases. In: Proceedings of the Fourteenth Innovative Applications of Artificial Intelligence Conference (IAAI 2002), pp. 870–877 (2002)

    Google Scholar 

  14. Becker, M., Nanz, S.: The role of abduction in declarative authorization policies. In: Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL) (2008)

    Google Scholar 

  15. Ilog: Agile business rule development (2008) (accessed 2008-05-31), http://www.ilog.com/brms/media/ABRD/

  16. Zacharias, V.: The agile development of rule bases. In: Proceeedings of the 16th International Conference on Information Systems Development (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. FZI Research Center for Information Technologies at the University of Karlsruhe, Germany

    Valentin Zacharias

Authors
  1. Valentin Zacharias
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Informatics, Aristotle University, 54124, Thessaloniki, Greece

    Nick Bassiliades

  2. National ICT Australia, Queensland Research Laboratory, St Lucia, Queensland, Australia

    Guido Governatori

  3. Chair for Corporate Semantic Web, Free University Berlin, Berlin, Germany

    Adrian Paschke

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zacharias, V. (2008). Development and Verification of Rule Based Systems — A Survey of Developers. In: Bassiliades, N., Governatori, G., Paschke, A. (eds) Rule Representation, Interchange and Reasoning on the Web. RuleML 2008. Lecture Notes in Computer Science, vol 5321. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88808-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-88808-6_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-88807-9

  • Online ISBN: 978-3-540-88808-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation