Transforming Linear Terms of Algebraic Specifications Into Extended Pomsets

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 linear terms of an algebraic specification into an object-oriented description based on pomsets. For this purpose, we introduce an extension of pomsets by distinguishing the variables of a pomset. We show that the pomsets resulting from the term transformation can be represented graphically using message sequence charts and this way are intuitive and manageable for software engineers. The transformation forms the basis for transforming axioms of algebraic specifications into an object-oriented specification and this way lays the foundation 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