Abstract
We investigate how a formalism known as a basis and common to many areas of applied mathematics and engineering can be applied to perfective maintenance and the integration of application systems in software engineering, using an object-oriented approach. It is concluded that this formalism serves as a mathematical model for perfective software maintenance and software systems integration activities under object-oriented development. Theorems and properties about the model are reported as guides to software maintenance. The model and formal maintenance techniques have been applied to a software system in the management information systems area to demonstrate this approach to perfective maintenance and to assist in validating the model.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
I. Sommerville,Software Engineering, 3rd ed., New York: Addison-Wesley, 1989.
B. Lientz and E. Swanson,Software Maintenance Management, New York: Addison-Wesley, 1980.
G. Birkhoff and S. MacLane,A Survey of Modern Algebra, New York: Macmillan, 1941.
D.C. Rine, “Perfective maintenance on an expanded MIS using a formal approach,” Technical Report, Department of Computer Science, George Mason University, Fairfax, VA 1991.
IEEE Software Engineering Standards, New York: The Institute of Electrical and Electronics Engineers, 1984.
CAMP, Common Ada Missile Packages: Reusable Software Parts, McDonnell Douglas Astronautics Co. (MDAC-STL), St. Louis, MO. 1987.
CAIS, Military Standard Common APSE Interface Set, U.S. Department of Defense, MIL-STD-CAIS, 1985.
M. Lenz, H.A. Schmid, and P.F. Wolf, “Software reuse through building blocks,”IEEE Software, 1987.
R. Balzer, T.E. Cheatham, and C. Green, “Software technology in the 1990's: Using a new paradigm,” IEEE Trans. Comput., vol. 13, 1983.
B. Meyer,Object-oriented Software Construction, Englewood Cliffs, NJ: Prentice-Hall, 1988.
A. van Lamsweerde, M. Buyse, B. Delcourt, E. Delor, M. Ervier, and M.C. Schayes, “The kernal of a generic software development environment,”Proc. ACM SIGSOFT SIGPLAN Symp., New York, 1986.
D.L. Parnas, “On the criteria to be used in decomposing systems into modules,”Commun. ACM, vol. 5, pp. 1053–1058, 1972.
D.C. Rine, “A formal approach to perfective maintenance: Using a basis,” Technical Report, Department of Computer Science, George Mason University, Fairfax, VA, 1990.
D.C. Rine, “The use of object-oriented construction to develop an expanded management information system,”Cybern. Sys.: An Int. J., vol. 22, 1991.
D.C. Rine,Computer Science and Multiple-Valued Logic, New York: North-Holland, 1984.
S. Yau and J. Collofello, “Design stability measures for software maintenance,”Proc. COMPSAC '82, IEEE Computer Society, 1982.
S. Lee and S. Sluizer, “An executable language for modeling simple behavior,”IEEE Trans. Software Eng., vol. 17, 1991.
J. Zimmer, “Altering withoutchange,”J. Software Maintenance: Research and Practice, vol. 1, 1989.
G. Wiederhold, T. Risch, P. Rathmann, L. DeMichiel, S. Chaudhuri, B.S. Lee, K.H. Law, T. Barasalou, and D. Quass, “A mediator architecture for abstract data access,” Technical Report No. STAN-CS-90-1303, Department of Computer Science, Stanford University, Palo Alto, CA, 1990.
H. Weber, “The integration of reusable software components,”J. Syst. Integration, vol. 1, no. 51, pp. 55–80, 1991.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Rine, D. A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components. Journal of Systems Integration 2, 169–180 (1992). https://doi.org/10.1007/BF02267032
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02267032