Abstract
The paper focuses on the suitability and advantages of a Logic Data Base approach to manage configurational aspects within Programming Environments. It describes part of a work which proposes Logic Data Bases as effective tools to be integrated with existing programming environments to increase their formalization and automation capabilities. In order to present the idea and its implications, we discuss, as a practical example, the integration of a prototype Logic DBMS (EDBLOG) with a Unix-like environment for configuration management. In that framework, a possible realization of the Make facility is shown. The advantages of the proposed approach are mainly concerned with the easiness of extention of the programming environment and of the configuration environment to deal with concepts which, in general, are very expensive to provide,e.g. histories and versions management.
Preview
Unable to display preview. Download preview PDF.
References
Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, Vol. 2, no. 3, Oct. 1985.
Asirelli, P., Inverardi, P., A Logic Database to support Configuration Management in Ada, Proc.1987 Ada EUROPE Conference on Ada COMPONENTS: Libraries and Tools, Stockholm, 26–28 May, 1987.
Belkhatir,N.,Estublier,J., Experience with a Data Base of Programs, Proc. ACM SIGSOFT/SIGPLAN Software Engeneering Symp. on Pract. Soft. Devel. Env., Palo Alto, CA, December 9–11, 1986.
Feldman, S. I., Make — A Program Maintaining Computer Programs. Software Practice and Experience. Vol.9.1979
Fuchi, K., Revisiting Original Philosophy of Fifth Generation Computer Systems Project, Proc. Int. FGCS '84, Tokio, pp.1–2, 1984.
Gallaire, H., Minker, J., Nicolas, J., Logic and Databases: a Deductive Approach, Computing Surveys, 16, (2), pp. 153–185, 1984.
Kowalski, R. A., Predicate Logic as Programming Language, Proc. Information Processing 74, North Holland Pub. Co., Amsterdam, pp. 569–574, 1974.
Marzullo,K.,Wiebe,D., Jasmine:A Software System Modelling Facility, Proc. ACM SIGSOFT/SIGPLAN Software Engeneering Symp. on Pract. Soft. Devel. Env., Palo Alto, CA, December 9–11, 1986.
Mc Dermott, J., R1 The Formative Years, AI MAGAZINE, Summer 1981.
Oberndorf, P.A., Penedo, M.H., Summary of Project Database Working Group Discussions, Proc. ACM AdaTEC Future Ada Environment Workshop, Santa Barbara, California, 17–20 Sept., 1984, ACM Ada Letters, Vol. IV, no. 5, 1985.
Shapiro, E. Y. and Takeuchi, A., Object-Oriented Programming in Concurrent Prolog, New Generation Computing, Vol.1,no.1, 25–48, 1983.
Tick, E., Warren, H. D., Toward a Pipelined Prolog Processor, New Gen. Computing, 2, pp. 323–345, 1984.
Winkler, J.F.H., Version Control in Families of Large Programs, Proc. 9th Annual International Conference on SOFTWARE ENGENEERING, Monterey, California, March 30-April 2, 1987.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Asirelli, P., Inverardi, P. (1987). Enhancing configuration facilities in software development: A logic approach. In: Nichols, H., Simpson, D. (eds) ESEC '87. ESEC 1987. Lecture Notes in Computer Science, vol 289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022098
Download citation
DOI: https://doi.org/10.1007/BFb0022098
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18712-7
Online ISBN: 978-3-540-48117-1
eBook Packages: Springer Book Archive