Abstract
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.
Chapter PDF
Keywords
References
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.
van Assche, F., Layzell, P. J., Loucopoulos, P., Speltincx, G. Information Systems Development: A Rule-Based Approach. Journal of Knowledge Based Systems, September 1988.
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.
Borgida, A., Greenspan, S., Mylopoulos, J. Knowledge Representation as the Basis for Requirements Specification. COMPUTER, April 1985.
Budde, R. (ed.) Approaches to Prototyping. Springer-Verlag, Berlin, 1984.
Chen, P. P. S. The Entity-Relationship Model: Towards a Unified View of Data. ACM TODS, Vol. 1, No. 1, March 1976.
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.
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.
Greenspan, S., J. Requirements Modelling: A Knowledge Representation Approach to Software Requirements Definition. Technical Report No. CSRG-155, University of Toronto, 1984.
Hammond, K. "CHEF": A Model of Case-Based Planning. In Proc. of the Fifth National Conf. on Artificial Intelligence, Philadelphia, PA, 1986.
Jackson, M. System Development. Prentice-Hall International, London, 1983.
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.
Loucopoulos, P. & Champion, R.E.M. Knowledge-based Support for Requirements Engineering. Journal of Information and Software Technology, Vol. 31, No. 3, April 1989.
deMarco, T. Structured Analysis and System Specification. New York: Yourdon, 1978.
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.
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.
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.
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.
Sowa, J. F. Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley Publishing Company, 1984.
Tarski, A. Logic Semantics and Metamathematics. Oxford Univ. Press, 1956.
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.
Wohed, R. Diagnosis of Conceptual schemas. SYSLAB Report No. 56, Univ. of Stockholm, Sweden, 1987.
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.
Zisman, M. D. A Representation of Office Processes. Dept. of Decision Sciences, Univ. of Pennsylvania, WP 76-1-03, 1976.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tsalgatidou, A., Karakostas, V., Loucopoulos, P. (1990). Rule-based requirements specification and validation. In: Steinholtz, B., Sølvberg, A., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 1990. Lecture Notes in Computer Science, vol 436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000596
Download citation
DOI: https://doi.org/10.1007/BFb0000596
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52625-4
Online ISBN: 978-3-540-47078-6
eBook Packages: Springer Book Archive