Name
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. |
Year | DOI | Venue |
|---|---|---|
1997 | 10.1109/ICFEM.1997.630428 | ICFEM |
Keywords | DocType | ISBN |
reusable part,oo design,many-sorted theory,frameworks,interactive relationship,catalysis project,composing design,formal semantics,final design,oo design use pictorial,many-sorted theories,object-oriented programming,pictorial representation,object oriented design,catalysis,effective design,formal specification,pictorial notation,object oriented programming,interaction design | Conference | 0-8186-8002-4 |
Citations | PageRank | References |
6 | 0.62 | 7 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kung-kiu Lau | 1 | 633 | 62.94 |
| M. Omaghi | 2 | 11 | 1.22 |
| A. Wills | 3 | 6 | 0.62 |