Rule-based requirements specification and validation

  • A. Tsalgatidou
  • V. Karakostas
  • P. Loucopoulos
Session 5B: Requirements Specification (Technical Papers)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 436)


Requirements specification has only recently been acknowledged as one of the most important phases in the overall software life cycle. Since the statement of a complete and consistent set of requirements involves user participation, our approach investigates how user oriented formalisms and techniques could be employed for the specification and capturing of requirements. We propose the use of rules as a natural means for expressing the application domain knowledge, and introduce a number of techniques such as semantic prototyping and animation for the validation of the requirements.


requirements specification executable specifications rule bases animation Petri-nets logic programming conceptual modelling 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Anderson Fickas 89]
    Anderson, J. S., & Fickas, S. A Proposed Perspective Shift: Viewing Specification Design as a Planning Problem. Proc. Fifth Int. Workshop on Software Specification and Design, May 19–20, 1989, Pittsburgh, PA, USA.Google Scholar
  2. [van Assche et al 88]
    van Assche, F., Layzell, P. J., Loucopoulos, P., Speltincx, G. Information Systems Development: A Rule-Based Approach. Journal of Knowledge Based Systems, September 1988.Google Scholar
  3. [Borgida et al 84]
    Borgida, A., Mylopoulos, J., & Wong, H. K. Z. Generalization/specialization as a basis for software specification. In Brodie, M. et al (eds.). "On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer-Verlag, New York, 1984.Google Scholar
  4. [Borgida et al 85]
    Borgida, A., Greenspan, S., Mylopoulos, J. Knowledge Representation as the Basis for Requirements Specification. COMPUTER, April 1985.Google Scholar
  5. [Budde 84]
    Budde, R. (ed.) Approaches to Prototyping. Springer-Verlag, Berlin, 1984.Google Scholar
  6. [Chen 76]
    Chen, P. P. S. The Entity-Relationship Model: Towards a Unified View of Data. ACM TODS, Vol. 1, No. 1, March 1976.Google Scholar
  7. [Dubois Hagelstein 86]
    Dubois, E. & Hagelstein, J. Reasoning on Formal Requirements: A Lift Control System. Proc. Fourth Int. Workshop on Software Spec. and Design, April 3–4, 1987, Monterey, CA.Google Scholar
  8. [Dubois et al 86]
    Dubois, E., Hagelstein, J., Lahou, E., Ponsaert, F., Rifau, A., Williams, F. The ERAE Model: A Case Study. In "Information System Design Methodologies: improving the practice", Olle, T., W., Sol, H., G., Verrijn-Stuart, A., A. (eds). North-Holland Publishing Company, IFIP 1986.Google Scholar
  9. [Greenspan 84]
    Greenspan, S., J. Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition. Technical Report No. CSRG-155, University of Toronto, 1984.Google Scholar
  10. [Hammond 86]
    Hammond, K. "CHEF": A Model of Case-Based Planning. In Proc. of the Fifth National Conf. on Artificial Intelligence, Philadelphia, PA, 1986.Google Scholar
  11. [Jackson 83]
    Jackson, M. System Development. Prentice-Hall International, London, 1983.Google Scholar
  12. [Karakostas Loucopoulos 88]
    Karakostas, V. & Loucopoulos, P. Verification of Conceptual Schemata Based on a Hybrid Object Oriented and Logic Paradigm. Journal of Information and Software Technology, Vol. 30, No. 10, December 1988.Google Scholar
  13. [Loucopoulos Champion 89]
    Loucopoulos, P. & Champion, R.E.M. Knowledge-based Support for Requirements Engineering. Journal of Information and Software Technology, Vol. 31, No. 3, April 1989.Google Scholar
  14. [deMarco 78]
    deMarco, T. Structured Analysis and System Specification. New York: Yourdon, 1978.Google Scholar
  15. [Mylopoulos 86]
    Mylopoulos, J. The Role of Knowledge Representation in the Development of Specifications. In "Information Processing 86". Kugler, H. J. (ed.) Elsevier Science Publishers B. V., IFIP 1986.Google Scholar
  16. [Nijssen 86]
    Nijssen, G. M. On Experience with Large-scale Teaching and Use of Fact-based Conceptual Schemas in Industry and University. In Proc. IFIP Conference on Data Semantics (DS-1), Meersman, R. & Steel, T. B. Jr. (eds.), Elsevier North-Holland, Amsterdam 1986.Google Scholar
  17. [Petri 62]
    Petri, C. A. Communication with Automata. Suppl. to Tech. Rep. RAD C-TR-65-337, Vol. 1, Grifiss Air Force BAse, NY, 1966 (translated from "Kommunication mit Automaton", University of Bohn, Germany, 1962.Google Scholar
  18. [Reubenstein Waters 89]
    Reubenstein, H. B. & Waters, R. C. The Requirements Apprentice: An Initial Scenario. Proc. Fifth Int. Workshop on Software Specification and Design, May 19–20, Pittsburgh, PA, 1989.Google Scholar
  19. [Sowa 84]
    Sowa, J. F. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing Company, 1984.Google Scholar
  20. [Tarski 56]
    Tarski, A. Logic Semantics and Metamathematics. Oxford Univ. Press, 1956.Google Scholar
  21. [Tsalgatidou 88]
    Tsalgatidou, A. Dynamics of Information Systems: Modelling and Verification. Ph.D. thesis, Dept. of Computation, University of Manchester Institute of Science and Technology, June 1988.Google Scholar
  22. [Wohed 87]
    Wohed, R. Diagnosis of Conceptual schemas. SYSLAB Report No. 56, Univ. of Stockholm, Sweden, 1987.Google Scholar
  23. [Yeh et al 84]
    Yeh, R. T., Zave, P., Conn, A. P. & Cole, G. E. Jr. Software Requirements: New Directions and Perspectives. In "Handbook of Software Engineering", Vick, C. R. & Ramamoorthy, C/ V. (eds.), Van Nostrand Reinhold Company Inc., 1984.Google Scholar
  24. [Zisman 76]
    Zisman, M. D. A Representation of Office Processes. Dept. of Decision Sciences, Univ. of Pennsylvania, WP 76-1-03, 1976.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • A. Tsalgatidou
    • 1
  • V. Karakostas
    • 2
  • P. Loucopoulos
    • 2
  1. 1.EDP DepartmentGreek P.T.T.AthensGreece
  2. 2.Dept. of ComputationUMISTManchesterUnited Kingdom

Personalised recommendations