This paper reports experience in using CafeOBJ (a multiparadigm algebraic specification language) in the development of objectoriented frameworks of the ODP trader that is implemented with Java and JavaIDL. We first identify several aspects in the target problem before applying the known techniques of developing object-oriented frameworks. We use CafeOBJ to describe each aspect solution to mechanically check the integrity of the descriptions when all the aspects are put together. Although the experience is based on a particular problem only, the proposed method is clear enough to give a systematically and sharply focused help in reaching the solution, and to illustrate practice of using formal methods in the process.
CITATION STYLE
Nakajima, S. (1999). Using algebraic specification techniques in development of object-oriented frameworks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1709, p. 1664). Springer Verlag. https://doi.org/10.1007/3-540-48118-4_38
Mendeley helps you to discover research relevant for your work.