Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures

Bastian Dölle, Walter Dosch


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.

Original languageEnglish
Title of host publication12th Asia-Pacific Software Engineering Conference (APSEC'05)
Number of pages10
Publication date01.12.2005
Article number1607168
ISBN (Print)0-7695-2465-6
Publication statusPublished - 01.12.2005
Event12th Asia-Pacific Software Engineering Conference
- Taipei, Taiwan, Province of China
Duration: 15.12.200517.12.2005
Conference number: 69285


Dive into the research topics of 'Transforming Functional Signatures of Algebraic Specifications into Object-Oriented Class Signatures'. Together they form a unique fingerprint.

Cite this