A combination of algebraic and object-oriented specification techniques may take advantage of both approaches for system development. This paper presents a formal method how to transform the signature of an algebraic specification into a collection of object-oriented class signatures in a systematic way. We explore the possible design decisions and manifest them in design functions. The transformation of the signature forms the syntactic basis for relating algebraic specifications with object-oriented modeling in a profound way. The approach bridges the gap between functional specification concepts and object-oriented modeling techniques. An important area of application comprises the top-down development of information storing components. All transformation procedures including the mechanization of the design choices have been implemented in a transformation tool.
|Title of host publication||12th Asia-Pacific Software Engineering Conference (APSEC'05)|
|Number of pages||10|
|Publication status||Published - 01.12.2005|
|Event||12th Asia-Pacific Software Engineering Conference |
- Taipei, Taiwan, Province of China
Duration: 15.12.2005 → 17.12.2005
Conference number: 69285