The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 213
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
ABSTRACT
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.
INDEX TERMS
object-oriented programming; frameworks; Catalysis; pictorial notation; formal semantics; object oriented design; many-sorted theories
CITATION

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.
doi:10.1109/ICFEM.1997.630428
108 ms
(Ver 3.3 (11022016))