VISUAL SOFTWARE MODELLING WITH EXTENDED RULE-BASED MODEL - A Knowledge-based Programming Solution for General Software Design

Grzegorz J. Nalepa, Igor Wojnicki

Abstract

Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic procedural, or object-oriented approaches. Even though, there has been a lot of effort to use rules to model business logic in classic software no generic solution has been provided so far. In this paper a new approach for generalized rule-based programming is given. It is based on a use of advanced rule representation, which includes an extended attribute-based language, a non-monotonic inference strategy, with explicit inference control on the rule level. The paper shows how some typical programming constructions, as well as classic programs can be modelled in this approach. The approach can largely improve both the design and the implementation of complex software.

References

  1. Bratko, I. (2000). Prolog Programming for Artificial Intelligence. Addison Wesley, 3rd edition.
  2. Burbeck, S. (1992). Applications programming in smalltalk-80(tm): How to use model-view-controller (mvc). Technical report, Department of Computer Science, University of Illinois, Urbana-Champaign.
  3. Covington, M. A., Nute, D., and Vellino, A. (1996). Prolog programming in depth. Prentice-Hall.
  4. Jackson, P. (1999). Introduction to Expert Systems. Addison-Wesley, 3rd edition. ISBN 0-201-87686-8.
  5. Liebowitz, J., editor (1998). The Handbook of Applied Expert Systems. CRC Press, Boca Raton.
  6. Lige?za, A. (2006). Logical Foundations for Rule-Based Systems. Springer-Verlag, Berlin, Heidelberg.
  7. Nalepa, G. J. (2004). Meta-Level Approach to Integrated Process of Design and Implementation of Rule-Based Systems. PhD thesis, AGH University of Science and Technology, AGH Institute of Automatics, Cracow, Poland.
  8. Nalepa, G. J. (2005). Rule-based systems design and implementation : methodologies and technologies. In Ryszard Tadeusiewicz, Antoni Lige?za, M. S., editor, CMS'05. Plenary lectures and special session papers : Computer Methods and Systems, volume 1, pages 329-340, Kraków, Poland. AGH University of Science and Technology Cracow, Jagiellonian University, Cracow University of Technology, Oprogramowanie Naukowo-Techniczne.
  9. Nalepa, G. J. and Lige?za, A. (2005a). A graphical tabular model for rule-based logic programming and verification. Systems Science, 31(2):89-95.
  10. Nalepa, G. J. and Lige?za, A. (2005b). A visual edition tool for design and verification of knowledge in rule-based systems. Systems Science, 31(3):103-109.
  11. Nalepa, G. J. and Lige?za, A. (2006). Prolog-based analysis of tabular rule-based systems with the xtt approach. In Sutcliffe, G. C. J. and Goebel, R. G., editors, FLAIRS 2006: proceedings of the 19th international Florida Artificial Intelligence Research Society conference, pages 426-431. AAAI Press.
  12. Negnevitsky, M. (2002). Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow, England; London; New York. ISBN 0-201-71159-1.
  13. Newell, A. (1982). The knowledge level. Artificial Intelligence, 18(1):87-127.
  14. Sommerville, I. (2004). Software Engineering. International Computer Science. Pearson Education Limited, 7th edition.
  15. Torsun, I. S. (1995). Foundations of Intelligent KnowledgeBased Systems. Academic Press, London, San Diego, New York, Boston, Sydney, Tokyo, Toronto.
  16. Vermesan, A. and Coenen, F., editors (1999). Validation and Verification of Knowledge Based Systems. Theory, Tools and Practice. Kluwer Academic Publisher, Boston.
Download


Paper Citation


in Harvard Style

J. Nalepa G. and Wojnicki I. (2007). VISUAL SOFTWARE MODELLING WITH EXTENDED RULE-BASED MODEL - A Knowledge-based Programming Solution for General Software Design . In Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-10-4, pages 41-47. DOI: 10.5220/0002586600410047


in Bibtex Style

@conference{enase07,
author={Grzegorz J. Nalepa and Igor Wojnicki},
title={VISUAL SOFTWARE MODELLING WITH EXTENDED RULE-BASED MODEL - A Knowledge-based Programming Solution for General Software Design},
booktitle={Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2007},
pages={41-47},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002586600410047},
isbn={978-989-8111-10-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Second International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - VISUAL SOFTWARE MODELLING WITH EXTENDED RULE-BASED MODEL - A Knowledge-based Programming Solution for General Software Design
SN - 978-989-8111-10-4
AU - J. Nalepa G.
AU - Wojnicki I.
PY - 2007
SP - 41
EP - 47
DO - 10.5220/0002586600410047