DAIDA: An Environment for Evolving Information Systems

ACM Transactions on Information Systems (TOIS)

Volumn 10, Issue 1, 1992, Pages 1-50

  Jarke, M ^a   Mylopoulos, J ^b   Schmidt, J W ^c   Vassiliou, Y ^d  

^a RWTH AACHEN UNIVERSITY   (Germany)

^b UNIVERSITY OF TORONTO   (Canada)

^c UNIVERSITY OF HAMBURG   (Germany)

^d INSTITUTE OF COMPUTER SCIENCE   (Greece)

Author keywords

knowledge engineering; mapping assistant; multi level specification; repository; software information system; software process model

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; CONFORMAL MAPPING; DATA STRUCTURES; DATABASE SYSTEMS; INFORMATION SCIENCE; KNOWLEDGE BASED SYSTEMS; MANAGEMENT INFORMATION SYSTEMS; QUALITY ASSURANCE;

DATA DICTIONARY; DESIGN LANGUAGES; MAPPING ASSISTANT; MULTILEVEL SPECIFICATION; REPOSITORY; SOFTWARE INFORMATION SYSTEM; SOFTWARE PROCESS MODEL; SOFTWARE QUALITY ASSURANCE;

INFORMATION RETRIEVAL SYSTEMS;

EID: 0026448404     PISSN: 10468188     EISSN: 15582868     Source Type: Journal    
DOI: 10.1145/128756.128757     Document Type: Article

References (110)

1. ABRIAL, J. R. An informal introduction to B. Manuscript, Paris, 1986.
2. ABRIAL, J. R., GARDINER, P., MORGAN, C., AND SPIVEY, M. Abstract machines. Manuscript, Oxford Univ., UK, 1988.
3. ADAMS, E. W., HONDA, M., AND MILLER, T. C. Object management in a CASE environment. In Proceedings 11th International Conference Software Engineering (Pittsburgh, Pa, May 1989), pp. 154-163.
4. ALLEN, F. W., LOOMIS, M. E., AND MANNINO, M. V. The integrated dictionary/directory system. ACM Comput. Surv., 14 2 (1983), 245-286.
5. ALLEN, J. F. A general model of action and time. In Proceedings 7th IJCAI Conference, (Vancouver, B.C., 1981).
6. ASLETT, M. J., MELLGREN, D., YAN, Y. F., AND PIETRI, F. ASPIS: a knowledge-based approach to systems development. In Proceedings ESPRIT Conference (Brussels, Nov. 1989), pp. 334-344.
7. BANERJEE, J., CHOU, H.-T., GARZA, J. F., KIM, W., WOELK, D., BALLOU, N., AND KIM, H.-J. Data model issues for object-oriented applications. ACM Trans. Off. Inf. Syst., 5 1 (1987), 3-26.
8. BARRON, J. Dialogue and process design for interactive information systems. SIGOA Newsl., 3 1 (1982), 12-20.
9. BARSTOW, D. Artificial intelligence and software engineering. In Proceedings 9th International Conference Software Engineering (Monterey, Ca, 1987), pp. 200-211.
10. BATINI, C., LENZERINI, M., AND NAVATHE, S. B. A comparative analysis of methodologies for database schema integration. ACM Comput. Surv., 18 4 (1986), 323-364.
11. BAUER, F. L., MOLLER, B., PARTSCH, H., AND PEPPER, P. Formal program construction by transformations-computer-aided, intuition-guided programming. IEEE Trans. Softw. Eng., 15 2 (1989), 165-180.
12. BELKHATIR, Y., AND ESTUBLIER, J. Software management constraints and action triggering in the ADELE program database. In Proceedings First European Software Engineering Conference (Strasbourg, France, July 1987), pp. 47-57.
13. BERNSTEIN, P. A. Database support for software engineering. In Proceedings 9th International Conference Software Engineering (Monterey, Ca, May 1987), pp. 166-178.
14. BIGGERSTAFF, T. J., AND RICHTER, C. Reusability framework, assessment, and directions. In Software Reusability, Vol. I. T. J. Biggerstaff and A. J. Perlis, Eds, ACM Press, New York, (1987), 1-17.
15. BORGIDA, A., JARKE, M., MYLOPOULOS, J., SCHMIDT, J. W., AND VASSILIOU, Y. The software development environment as a knowledge base management system. In Foundations of Knowledge Base Management, J. W. Schmidt and C. Thanos, Eds., Springer-Verlag, Heidelberg, (1989), 411-440.
16. BORGIDA, A., MEIRLAEN, E., MYLOPOULOS, J., AND SCHMIDT, J. W. Report on the Taxis Design Language. ESPRIT 892 (DAIDA), FORTH-CRC, Iraklion, Greece, 1989.
17. BORGIDA, A., MYLOPOULOS, M., SCHMIDT, J. W., AND WETZEL, I. Support for data-intensive applications: conceptual design and software development. In Proceedings 2nd International Workshop Database Programming Languages (Gleneden Beach, Or 1989), Morgan Kaufmann, Palo Alto, Ca., pp. 258-280.
18. BORGIDA, A., MYLOPOULOS, J., AND WONG, H. K. T. Generalization/specialization as a strategy for software specification. In M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds., Springer-Verlag, New York, 1984, 87-114.
19. BOUZEGHOUB, M., GARDARIN, G., AND METAIS, E. Database design tools: an expert systems approach. In Proceedings 11th International VLDB Conference (Stockholm, 1985), pp. 82-95.
20. BRY, F., MANTHEY, R., AND MARTENS, B. Verification of integrity constraints in knowledge bases. Rep. ESPRIT Basic Research Action 3012 (COMPULOG), ECRC, Munich, 1990.
21. BUBENKO, J. On concepts and strategies for requirements and information analysis. SYSLAB Rep. 4, Dept. Computer Sciences, Göteborg, Sweden, 1980.
22. CHEN, P. P. S. The Entity-Relationship approach: towards a unified view of data. ACM Trans. Database Syst., 1 1 (1976), 9-36.
23. CHUNG, L. Representation and utilization of non-functional requirements for information systems designs. In Proc. 2nd CAiSE (Trondheim, Norway, May 1991), pp. 5-30.
24. CHUNG, L., KATALAGARIANOS, P., MARAKAKIS, M., MERTIKAS, M., MYLOPOULOS, J, AND VASSILIOU, Y. From information systems requirements to designs: a mapping framework. Inf. Syst. 16 4 (1991), 429-462.
25. CONKLIN, J., AND BEGEMAN, M L. A hypertext tool for exploratory policy analysis. ACM Trans. Off. Inf. Syst., 6 4 (1988), 303-331.
26. CURTIS, B. Models of iteration in the software process. In Proceedings 3rd International Software Process Workshop (Breckenridge, Co, 1986), pp. 53-56.
27. DAYAL, U., BUCHMANN, A., AND MCCARTHY, D. R. Rules are objects too: a knowledge model for active, object-oriented databases. In Advances in Object-Oriented Databases, K. Dittrich, Ed., Springer-Verlag, Heidelberg, 1988, 129-143.
28. DEMARCO, T. Structured Analysis. Yourdon Press, 1978.
29. DHAR, V., AND JARKE, M. Learning from prototypes. In Proceedings 6th International Conference Information Systems (Indianapolis, Ind, Dec. 1985), pp. 114-133.
30. DITTRICH, K., GOTTHARD, W., AND LOCKEMANN, P. C. DAMOKLES-a database system for software engineering environments. In Proceedings IFIP Workshop Advanced Programming Environments (Trondheim, Norway, 1986).
31. DOWSON, M. Integrated project support with IStar. IEEE Softw. 4, 4 (1987), 6-15.
32. ENDRES, R., SCHNEIDER, M. The GRASPIN software engineering environment. In Proceedings ESPRIT Conference (Brussels, Dec. 1988), pp. 349-364.
33. FINDLER, N., ED. Associative Networks. Academic Press, New York, 1979.
34. GARG, P. K., AND W. SCACCHI, W. A hypertext system to manage software life-cycle documents. IEEE Softw. 5 (1990), 90-98.
35. GIBBS, S., PREVELAKIS, V., AND TSICHRITZIS, D. Software information systems: a software community perspective. In Object-Oriented Development, D. Tsichritzis, Ed., Université de Geneve, 1989, 41-60.
36. GREEN, C., LUCKHAM, D., BALZER, T., CHEATHAM, T., AND RICH, C. Report on a knowledge-based software assistant. Reprinted in Readings in Artificial Intelligence and Software
37. Engineering, C. Rich and R.C. Waters, Eds., Morgan Kaufmann, San Mateo, Ca, 1986, 377-428.
38. GREENSPAN, S. Requirements modeling: the use of knowledge representation techniques for requirements specification. Ph.D. thesis, Dept. Computer Science, University of Toronto, Ont., 1984.
39. HAHN, U., JARKE, M., ROSE, T. (1990). Group work in software projects: integrated conceptual models and collaboration tools. In Proceedings IFIP WG 8.4 Conference Multi-User Interfaces and Applications (Iraklion, Greece, Sept. 1990), pp. 83-101.
40. HAIDAN, R., AND MEYER, R. Requirements modeling and system specification in a logic-based knowledge reprsentation framework. To appear in Development Assistance for Database Applications, M. Jarke, Ed., Springer-Verlag, Heidelberg, 1992.
41. HUDSON, S. E., AND KING, R. Cactis: a self-adaptive, concurrent implementation of an object-oriented database management system. ACM Trans. Database Syst., 14 3 (1989), 291-321.
42. HULL, R., AND KING, R. Semantic data models: survey, applications, and research issues. ACM Comput. Surv., 19 3 (1988), 201-260.
43. JARKE, M., ED. ConceptBase V3.0 user manual. Rep. MIP-9106, Univ. Passau, Germany, 1991.
44. JARKE, M., JEUSFELD, M., AND ROSE, T. A software process data model for knowledge engineering in information systems. Inf. Syst., 15 1 (1990), 86-115.
45. JARKE, M., LINNEMANN, V., AND SCHMIDT, J. W. Data constructors: on the integration of rules and relations. In Proceedings 11th International Conference Very Large Data Bases (Stockholm, Aug. 1985), pp. 227-240.
46. JEUSFELD, M., MERTIKAS, M., WETZEL, I., JARKE, M., AND SCHMIDT, J. W. Database application development as an object modeling activity. In Proceedings 16th International Conference Very Large Data Bases (Brisbane, 1990), pp. 442-454.
47. JONES, C. B. Systematic Software Development Using VDM. Prentice Hall, Englewood Cliffs, N.J., 1986.
48. KAISER, G. E., BHARGOUTI, N. S., FEILER, P. H., AND SCHWANKE, R. W. Database support for knowledge-based engineering environments. IEEE Expert, 5 2 (1988), 18-32.
49. KOUBARAKIS, M., MYLOPOULOS, J., STANLEY, M., AND BORGIDA, A. Telos: features and formalization. Tech. Rep. KR-89-04, Univ. of Toronto, Ont., 1989.
50. LYNGBAEK, P., AND KENT, W. A data modeling methodology for the design and implementation of information systems. In Proceedings International Workshop Object-Oriented Database Systems (Asilomar, Ca., 1986), pp. 6-17.
51. MADHAVJI, N. H., GRUHN, V., DEITERS, W., AND SCHÄFER, W. PRISM = methodology + process-oriented environment. In Proceedings 12th International Conference Software Engineering (Nice, May 1990), pp. 277-288.
52. MAIER, D. The Theory of Relational Databases. Computer Science Press, 1983.
53. MALL, M., REIMER, M., AND SCHMIDT, J. W. Data selection, sharing, and access control in a relational scenario. In On Conceptual Modeling, M. L. Brodie, J. Mylopoulos, and J. W. Schmidt, Eds., Springer-Verlag, New York, 1984, 411-436.
54. MEIRLAEN, E., TRINON, J.-M., AND VENKEN, R. An object-based prototyping workbench in Prolog. In Proceedings ESPRIT Conference (Brussels, Dec. 1988), pp. 423-437.
55. MOSTOW, J. Towards better models of the design process. AI Mag., 6 1 (1985), 44-66.
56. MYLOPOULOS, J., BORGIDA, A., JARKE, M., AND KOUBARAKIS, M. Telos: a language for representing knowledge about information systems. ACM Trans. Inf. Syst. 8, 4 (1990), 325-362.
57. MYLOPOULOS, J., BERNSTEIN, P. A., AND WONG, H. A language facility for designing interactive data-intensive applications. ACM Trans. Database Syst. 5, 2 (1980), 185-207.
58. NIEBERGALL, J, AND SCHMIDT, J. W. DBPL-USE: a tool for language-sensitive data-base programming. Rep. ESPRIT 892 (DAIDA), Univ. Frankfurt, 1989.
59. NILSSON, N. Problem-Solving Methods in Artificial Intelligence. McGraw-Hill, New York, 1971.
60. NIXON, B. Implementation of information system design specifications: a performance
61. perspective. In Proceedings 3rd International Workshop Database Programming Languages (Nafplion, Greece, Aug. 1991).
62. OSTERWEIL, L. Software processes are software too. In Proceedings 9th International Conference Software Engineering (Monterey, Ca., 1987), pp. 2-13.
63. PALMER, J. F. The good, the bad, and the ugly. Database Program. Des., 3 10 (1990), 31-38.
64. PERRY, D. E., AND KAISER, G. E. Models of software development environments. In Proceedings 10th International Conference Software Engineering (Singapore, May 1988), pp. 60-68
65. POTTS, C., AND BRUNS, G. Recording the reasons for design decisions. In Proceedings 10th International Conference Software Engineering (Singapore, May 1988), pp. 418-427.
66. REPS, T., AND TEITELBAUM, T. The Synthesizer Generator. Springer-Verlag, New York, 1988.
67. RICH, C. A formal representation for plans in the Programmer's Apprentice. In On Conceptual Modeling, M. L. Brodie, J. Mylopoulos, and J. Schmidt, Eds., Springer-Verlag, New York, 1984, 239-269.
68. ROMAN, G -C. A taxonomy of current issues in requirements engineering. IEEE Comput., 18 4 (1985), 14-21.
69. ROSE, T., AND JARKE, M. A decision-based configuration process model. In Proceedings 12th International Conference Software Engineering (Nice, May 1989), pp. 316-325.
70. ROSE, T., JARKE, M., GOCEK, M., MALTZAHN, C., AND NISSEN, H. A decision-based configuration process environment. Softw. Eng. J., 6 5 (1991). 332-346.
71. Ross, D. T. Structured Analysis: a language for communicating ideas. IEEE Trans. Softw. Eng. 3, 1 (1977), 16-34.
72. ROUGE, A. A graphical editor for knowledge bases. To appear in Development Assistance for Database Applications, M. Jarke, Ed., Springer-Verlag, Heidelberg, 1992
73. ROWE, L., AND WENSEL, S., EDS. In Proceedings ACM Workshop Software CAD Databases (Napa, Ca, Feb. 1989).
74. SCHMIDT, J. W. Some high-level language constructs for data of type relation. ACM Trans. Database Syst., 2 3 (1977), 247-261.
75. SCHMIDT, J. W., AND MATTHES, F. DBPL language report and user manual. Rep., ESPRIT 892 (DAIDA), Univ. Hamburg, 1990.
76. SHEARD, T., AND STEMPLE, D. Automatic verification of database transaction safety. ACM Trans Database Syst., 14 3 (1989), 322-368
77. SIMON, H. A. The Sciences of the Artificial. 2nd Ed. MIT Press, Cambridge, Mass., 1969.
78. SMITH, D., KOTIK, G, AND WESTFOLD, S. J. Research on knowledge-based software engineering at Kestrel institute. IEEE Trans. Softw. Eng., 11 11 (1985), 1278-1295.
79. SNODGRASS, The temporal database query language TQuel. ACM Trans. Database Syst. 12, 2 (1987), 247-298.
80. SPIVEY, J. M. An introduction to Z and formal specifications. Softw. Eng. J., 4 1 (1989), 40-50.
81. SRIKANTH, R., AND JARKE, M. The design of knowledge-based systems for managing illstructured software projects. Decis. Support Syst., 5 4 (1989), 425-447.
82. SUFRIN, B. Effective industrial application of formal methods In Information Processing ‘89 (San Francisco, Aug. 1989), North-Holland, Amsterdam, 1989, pp. 61-69.
83. WINOGRAD, T., AND FLORES, F. Understanding Computers and Cognition: A New Foundation for Design. Ablex, Norwood, NJ, 1986
84. WIRTH, N. Programming in Modula-2. Springer-Verlag, Heidelberg, 1982.
85. ABBOT, C. Efficient editing of digital sound on disk. J. Audio Eng. Soc., 32 6 (June 1984), 394-402.
86. ANAZAWA, T., HAYASHI, H., INOKUCHI, K., TAKAHASHI, Y., TAKASU, A., YAMAMOTO, K., TODOROKI, S., AND YAZAWA, H. A historical overview of the developments of PCM/digital recording technology at Denon. Presented at the AES 7th International Conference of the Audio Engineering Society (Toronto, Ontario, May 14-17, 1989).
87. ANDERSON, D. P., GOVINDAN, R., AND HOMSY, G. Abstractions for continuous media in a network window system. In Proceedings of the International Conference on Multimedia Information Systems ‘91 (Singapore, Jan. 16-18, 1991). McGraw-Hill, New York, 1991, pp. 273-298.
88. ANDERSON, D. P., TZOU, S., WAHBE, R., GOVINDAN, R., AND ANDREWS, M. Support for continuous media in the DASH system. In Proceedings of the 10th International Conference on Distributed Computing Systems (Paris, May 28-June 1, 1990). pp. 54-61.
89. CHRISTODOULAKIS, S., HO, F., AND THEODORIDOU, M. The multimedia object presentation manager of MINOS: A symmetric approach. In ACM Proceedings of SIGMOD. ACM, New York, 1986, pp. 295-310.
90. NAKAJIMA, H., DOI, T., FUKUDA, J., AND IGA, A. Digital Audio Technology. Tab Books, Blue Ridge Summit, Pa., 1983.
91. PARK, A., AND ENGLISH, P. A variable rate strategy for retrieving audio data from secondary storage. In Proceedings of the International Conference on Multimedia Information Systems ‘91 (Singapore, Jan. 16-18, 1991). McGraw-Hill, New York, 1991, pp. 135-146.
92. PHILIPS INTERNATIONAL. Compact Disk Interactive: A Designer's Overview. Donnelley and Sons, Harrisonburg, Va., 1988.
93. THOMPSON, T., AND BARAN, N. The NeXT computer. Byte, 13 12 (Nov. 1988), 158-175.
94. WATKINSON, J. Digital audio recorders. J. Audio Eng. Soc., 36 6 (June 1988), 501-508.
95. WATKINSON, J. The Art of Digital Audio Focal Press, Boston, Mass, 1988
96. WELLS, J., YANG, Q., AND YU, C. Placement of audio data on optical disks. In Proceedings of the International Conference on Multimedia Information Systems ‘91 (Singapore, Jan. 16-18, 1991). McGraw-Hill, New York, 1991, pp 123-134
97. WILKES, D. Data compression for randomly addressed files. Master's thesis, Dept. of Computer Science, Univ. of Toronto, Ontario, 1985.
98. YAMAMOTO, T. Optical recording technology: Can optical disks be applicable to digital audio workstations? Presented at the AES 7th International Conference of the Audio Engineering Society (Toronto, Ontario, May 14-17, 1989).
99. Yu, C., SUN, W., BITTON, D., YANG, Q, BRUNO, R., AND TULLIS, J. Efficient placement of audio data on optical disks for real-time applications. Commun. ACM, 32 7 (July 1989), 862-871.
100. HARPER, S. L., WORSLEY, R. L., AND STEPHENS, B. A. An infrared link for low-cost calculators and printers. Hewlett-Packard J. (Oct. 1987) 16-23.
101. HEWKIN, P. Smart Tags-The distributed memory revolution. IEEE Rev. (June 1989), 203-206
102. PAEPCKE, A., CRAWFORD, R. D., JAMP, R., FREEMAN, C. A., AND LEE, F. J. Chipnet: An optical network of terminals and workstations. Elsevier Science Publishers B.V., North-Holland, Comput. ISDN Syst. 15 (1988) 203-215.
103. REDMAN, B. E. A user programmable telephone switch. In EUUG Conference, (Helsinki, May 1987),
104. RONAYNE, J. The Integrated Services Digital Network: from Concept to Application. Pitman Publishing, London UK, 1987.
105. Satellite, Cable and TV IC Handbook. In Plessey Semiconductors (1988) pp. 64, 67, 124.
106. APPLE COMPUTER, INC. Human Interface Guidelines: The Apple Desktop Interface. Addison-Wesley, Reading, Mass., 1987.
107. GRUDIN, J. The case against user interface consistency. Commun. ACM., 32 10 (1989), 1164-1173.
108. GRUDIN, J., AND NORMAN, D. A. Language evolution and human-computer interaction. In Proceedings of the Thirteenth Annual Conference of the Cognitive Science Society (Hillsdale, N.J. 1991), Lawrence Erlbaum Associates, 1991, pp. 611-616.
109. REISNER, P. What is inconsistency? In Proceedings of the INTERACT'90 Conference on Human Computer Interaction. North-Holland, Amsterdam, 1990, pp. 175-181.
110. WIECHA, C., BENNETT, W., BOIES, S., GOULD, J., AND GREENE, S. ITS: A tool for rapidly developing interactive applications. ACM Trans. Inf. Syst., 8 3 (1990), 204-236.