Abstract
The problem of generating information system designs from requirements specifications is addressed, with the presentation of a framework for representing requirements and a mapping assistant, IRIS3, that facilitates the design generation process. Requirements are viewed as knowledge bases and the knowledge representation formalism for the prototype, also the language for implementing IRIS, is Telos which provides facilities for describing entities and relationships and for representing and reasoning with temporal knowledge. The generation of a design is achieved with a mapping process from requirements which is: (i) Locally guided by dependency types determining allowable mappings of an element of a requirements model, (ii) globally guided by non-functional requirements, such as accuracy and security requirements on the intended system, represented as goals describing desirable properties of the intended system and used to guide local decisions.
The paper details a prototype implementation (IRIS) of the proposed mapping framework and illustrates its features through a sample session.
This is a report on results from the DAIDA project, funded in part by the European Commission through the Esprit programme under contract no. 892 [Jarke86]; financial support for this research was also received from the Institute of Computer Science of the Foundation for Research and Technology - Hellas (FORTH), the National Science and Engineering Research Council of Canada and the University of Toronto.
Chapter PDF
Similar content being viewed by others
Bibliography
James F. Allen, A General Model of Action and Time, Proceedings 7th IJCAI, Vancouver, BC, Canada, 1981.
John Barron, Dialogue and Process Design for Interactive Information Systems Using Taxis, In Proceedings SIGOA Conference on Office Information Systems, Philadelphia, PA, SIGOA Newsletter, Vol. 3, Nos 1 and 2, pp. 12–20, 21–23 June 1982.
A. Borgida, Features of Languages for the Development of Information Systems at the Conceptual Level, IEEE Software, Vol. 2, No. 1, Jan. 1985, pp. 63–72.
Alex Borgida, John Mylopoulos, Joachim W. Schmidt and Eric Meirlaen, Final Version of TDL Design, Esprit Project DAIDA (892), deliverable DES1.2, Sept. 1987.
Alex Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt and Yannis Vassiliou, The Software Development Environment as a Knowledge Base Management System. in J. W. Schmidt and C. Thanos (Editors), Foundations of Knowledge Base Management. Springer-Verlag, 1989.
Lawrence Chung, An Extended Taxis Compiler, M.Sc. thesis, Dept. of Computer Science, University of Toronto, Jan. 1984. Also CSRG Technical Note 37, 1984.
Lawrence Chung, Panagiotis Katalagarianos, Manolis Marakakis, Michalis Mertikas, John Mylopoulos and Yannis Vassiliou, From Information System Requirements to Designs: A Mapping Framework, Technical Report FORTH/CSI/TR/1989/020 Institute of Computer Science-FORTH, Heraklion, November 1989.
Findler, N. (editor), Associative Networks, Academic Press, 1979.
S. Greenspan, Requirements Modelling: The Use of Knowledge Representation Techniques for Requirements Specification, Ph. D. thesis, Dept. of Computer Science, University of Toronto, 1984.
I. Hayes (editor), Specification Case Studies, Prentice Hall International, Englewood Cliffs NJ, 1987.
R. Hull and R. King, Semantic Database Modelling: Survey, Applications and Research Issues, ACM Computing Reviews 19, No. 3, Sept. 1987.
Michael Jackson, System Development, Prentice-Hall, 1983.
M. Jarke (ed), Development of Advanced Interactive Data-Intensive Applications (DAIDA), Global Design Report, Esprit-Project 892, Sept. 1986.
Matthias Jarke, Manfred Jeusfeld, Tomas Rose, A Software Process Data Model for Knowledge Engineering in Information Systems. Information Systems, Vol.14, No.3, Fall 1989.
Panos Katalagarianos, Manolis Marakakis, Michalis Mertikas, Yannis Vassiliou, CML/Telos — TDL Mapping Assistant: Architecture and Development, Esprit Project 892 (DAIDA), del. DES2.3, Institute of Computer Science, Foundation for Research and Technology, Heraklion, Crete, Greece, Febr. 1989.
M. Koubarakis, J. Mylopoulos, M. Stanley and A. Borgida, Telos: Features and Formalization, Technical Report KRR-TR-89-4, Dept. of Computer Science, Univ. of Toronto, 1989.
The Role of Knowledge Representation in the Development of Specifications, In H. J. Kugler (ed.): Information Processing, Elsevier Science Publishers B. V., North-Holland, 1986.
Gruia-Catalin Roman, A Taxonomy of Current Issues in Requirements Engineering, In IEEE Computer, pp. 14–21, Apr., 1985.
J. Schmidt, H. Eckhardt, and F. Matthes, DBPL Report. DBPL-Memo 111-88, Fachbereich Informatik, johann Wolfgang Goethe-Universitat, Frankfurt, West Germany, 1988.
Richard Snodgrass, Temporal Databases, Computer, September 1986, pp. 35–42.
Richard Snodgrass, The Temporal Query Language TQuel, In ACM Transactions on Database Systems, 1987.
M. Stanley, A Formal Semantics for CML, M. Sc. thesis, Dept. of Computer Science, University of Toronto, 1986.
Pamela Zave and Raymond T. Yeh, Executable Requirements for Embedded Systems, In Proceedings fifth International Conf. on Software Engineering, pp. 295–304, 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Vassiliou, Y., Marakakis, M., Katalagarianos, P., Chung, L., Mertikas, M., Mylopoulos, J. (1990). IRIS — A mapping assistant for generating designs from requirements. 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/BFb0000607
Download citation
DOI: https://doi.org/10.1007/BFb0000607
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
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.