Using algebraic specification techniques in development of object-oriented frameworks

Abstract

Abstract. 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.

Twenty years of rewriting logic

“…Formal analysis is impossible or fraudulent without a formal semantics. Early work in developing rewriting-logic-based formal semantics focused on object-oriented design notations and languages [351,352,473], and stimulated subsequent work on UML and UML-like notations, e.g., [33,110,169,197,268,269,[345][346][347]474].…”