Abstract
In this paper we address the problem of representing the evolution of a software project in order to provide tools for project management and maintainance.
In particular, we focus on a System for Access and Version Control (called SCAV), and provide several functionalities for querying and manipulating the history of a project developed under SCAV. Our realization is based on a representation of the history within the framework of the Event Calculus, and the evolution of the software project is described as a sequence of SCAV commands. The implementation is in PROLOG, which allows for a direct formulation of the rules of the Event Calculus.
A major goal of our work is to demonstrate the power of a knowledge-based representation of the information concerning the project, for the design and implementation of tools for project management.
Preview
Unable to display preview. Download preview PDF.
References
Allen, J. F., Maintaining Knowledge about Temporal Intervals, Comm. of the ACM, 26, pp. 832–843, 1983.
Allen, J. F., Towards a General Theory of Action and Time, Artificial Intelligence, 23, PP. 123–154, 1984.
Asirelli P., Giannini F., Grifoni E., Inverardi P., La programmazione logica in ambienti di sviluppo software: un data base di progetto logico, Proc. of GULP87, pp. 173–182, Torino, 1987 (in Italian).
Cecchini, M., Lucchesi L., SCAV Reference Manual, Tech. Report PRISMA 1/86, Sipe Optimation, Roma, 1986.
Claybrook, B. G., Claybrook A. M., Williams J., Defining Database Views as Data Abstractions, IEEE Transactions on Software Engineering, vol. SE-11(1), pp. 3–14, 1985.
Dariol, D., Nardi D., Un Sistema per il Controllo di Accessi e Versioni, in Proc. of AICA '85, pp. 197–321, Roma, 1985 (in Italian).
Dariol, D., Nardi D., A System for Access and Version Control, Tech. Report 07.86, Dipartimento di Informatica e Sistemistica, Univ. Roma "La Sapienza", 1986.
Dittrich, K.R., Lorie, R.A., Version Support for Engineering Database Systems, IEEE Transactions on Software Engineering, vol. SE-14(4), pp. 429–437, 1988.
Huber-Bachrich, A., Nardi D., L'uso della storia in un Sistema per il Controllo di Accessi e Versioni, Proc. of GULP88, pp. 283–299, Roma, 1987 (in Italian).
Katz, R. H., Lehman, T. J., Database Support for Versions and Altenatives of Large Design Files, IEEE Transactions on Software Engineering, vol. SE-10(2), pp. 191–200, 1984.
Kowalski, R., Sergot M., A Logic-based Calculus of Events, in New Generation Computing, vol. 4(1), pp. 67–95, 1986.
Kowalski, R., Database Updates in the Event Calculus, Tech. Report, Dept. of Computing, Imperial College, London, 1986.
McCarthy, J., Hayes, P.J., Some Philosophical Problems from the Standpoint of Artificial Intelligence, in Readings in Artificial Intelligence, pp. 431–450, Palo Alto, Ca, Tioga Pub. Co., 1981 (first published in 1969).
Narayanaswamy, K., Scacchi, W., Maintaining Configurations of Evolving Software Systems, IEEE Transactions on Software Engineering, vol. SE-13(3), pp. 324–334, 1987.
Notkin, D., The GANDALF Project, The Journal of Systems and Software, vol. 5, pp.91–105, 1985.
Ramanathan, J., Sarkar, S., Providing Customized Assistance for Software Lifecycle Approaches, IEEE Transactions on Software Engineering, vol. SE-14(6), pp. 749–757, 1988.
Rochkind, M. J., The Source Code Control System, IEEE Transactions on Software Engineering, vol. SE-1(4), pp. 364–370, 1975.
Sadri, F., Representing and Reasoning about Time and Events: three Recent Approaches, Tech. Report, Dept. of Computing, Imperial College, London, 1986.
Shoham, Y., Ten Requirements for a Theory of Change, New Generation Computing, 3, pp. 467–477, 1985.
Shoham, Y., McDermott, D., Problems in Formal Temporal Reasoning, Artificial Intelligence, 46, pp.49–61, 1988.
Stepney, S., Lord, S.P., Formal Specification of an Access Control System, Software Practice and Experience, vol. 17(9), pp. 575–593, 1987.
Tichy, W. F., A System for Version Control, Software Practice and Experience, vol. 15(7), pp. 637–654, 1985.
Tucci, M., Logiche temporali applicate a problemi di archiviazione: il caso di un Sistema per il Controllo di Accessi e Versioni, Tesi di Laurea, Dipartimento di Informatica e Sistemistica, Univ. Roma "La Sapienza", 1988 (in Italian).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nardi, D., Tucci, M. (1989). An application of the event calculus for representing the history of a software project. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_39
Download citation
DOI: https://doi.org/10.1007/3-540-51635-2_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51635-4
Online ISBN: 978-3-540-46723-6
eBook Packages: Springer Book Archive