Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
Kung-Kiu Lau , Dept. of Comput. Sci., Manchester Univ., UK
M. Omaghi , Dept. of Comput. Sci., Manchester Univ., UK
A. Wills , Dept. of Comput. Sci., Manchester Univ., UK
In OO Design, it is widely recognised that the distribution of tasks between objects and the contracts between them are key to effective design. In composing designs from reusable parts, the parts are therefore frameworks, namely descriptions of the interactive relationships between objects which participate in the interactions. Designs are then built by composing these frameworks, and any object in the final design will play (various) roles from several frameworks. Practitioners of OO Design use pictorial notations for design. However, in order to reason formally about design, we need a sound (formal) semantics for the diagrams. In this paper, we show that frameworks can be formalised as many-sorted theories, and then present a pictorial representation of such theories, developed in the Catalysis project.
object-oriented programming; frameworks; Catalysis; pictorial notation; formal semantics; object oriented design; many-sorted theories
M. Omaghi, A. Wills and K. Lau, "Frameworks in Catalysis: pictorial notation and formal semantics," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 213.