From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures

Bastian Dölle; Walter Dosch

doi:10.1109/ICSEA.2007.34

From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures

Bastian Dölle, Walter Dosch

Institute for Software Engineering and Programming Languages

Abstract

This paper presents a formal method how to transform the structured signature of an algebraic specification into a collection of object-oriented class signatures. We discuss possible design decisions and formalize them as design mappings. 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 objectoriented modeling techniques and contributes to a better understanding of object-oriented software construction. We illustrate the transformation with a characteristic example. All transformation procedures have been implemented in the ASIOS tool.

Original language	English
Title of host publication	International Conference on Software Engineering Advances (ICSEA 2007)
Number of pages	1
Publisher	IEEE
Publication date	01.12.2007
Pages	3-3
Article number	4299886
ISBN (Print)	0-7695-2937-2, 978-0-7695-2937-0
DOIs	https://doi.org/10.1109/ICSEA.2007.34
Publication status	Published - 01.12.2007
Event	2nd International Conference on Software Engineering Advances - Cap Esterel, France Duration: 25.08.2007 → 31.08.2007 Conference number: 72772

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1109/ICSEA.2007.34

Cite this

@inproceedings{28f26324acd8475f906ad979c0bd3886,

title = "From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures",

abstract = "This paper presents a formal method how to transform the structured signature of an algebraic specification into a collection of object-oriented class signatures. We discuss possible design decisions and formalize them as design mappings. 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 objectoriented modeling techniques and contributes to a better understanding of object-oriented software construction. We illustrate the transformation with a characteristic example. All transformation procedures have been implemented in the ASIOS tool.",

author = "Bastian D{\"o}lle and Walter Dosch",

year = "2007",

month = dec,

day = "1",

doi = "10.1109/ICSEA.2007.34",

language = "English",

isbn = "0-7695-2937-2",

series = "IEEE Proceedings",

publisher = "IEEE",

pages = "3--3",

booktitle = "International Conference on Software Engineering Advances (ICSEA 2007)",

note = "2nd International Conference on Software Engineering Advances, ICSEA 2007 ; Conference date: 25-08-2007 Through 31-08-2007",

}

Dölle, B & Dosch, W 2007, From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures. in International Conference on Software Engineering Advances (ICSEA 2007)., 4299886, IEEE Proceedings, IEEE, pp. 3-3, 2nd International Conference on Software Engineering Advances, Cap Esterel, France, 25.08.07. https://doi.org/10.1109/ICSEA.2007.34

TY - GEN

T1 - From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures

AU - Dölle, Bastian

AU - Dosch, Walter

N1 - Conference code: 72772

PY - 2007/12/1

Y1 - 2007/12/1

N2 - This paper presents a formal method how to transform the structured signature of an algebraic specification into a collection of object-oriented class signatures. We discuss possible design decisions and formalize them as design mappings. 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 objectoriented modeling techniques and contributes to a better understanding of object-oriented software construction. We illustrate the transformation with a characteristic example. All transformation procedures have been implemented in the ASIOS tool.

AB - This paper presents a formal method how to transform the structured signature of an algebraic specification into a collection of object-oriented class signatures. We discuss possible design decisions and formalize them as design mappings. 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 objectoriented modeling techniques and contributes to a better understanding of object-oriented software construction. We illustrate the transformation with a characteristic example. All transformation procedures have been implemented in the ASIOS tool.

UR - https://www.scopus.com/pages/publications/47849101616

U2 - 10.1109/ICSEA.2007.34

DO - 10.1109/ICSEA.2007.34

M3 - Conference contribution

SN - 0-7695-2937-2

SN - 978-0-7695-2937-0

T3 - IEEE Proceedings

SP - 3

EP - 3

BT - International Conference on Software Engineering Advances (ICSEA 2007)

PB - IEEE

T2 - 2nd International Conference on Software Engineering Advances

Y2 - 25 August 2007 through 31 August 2007

ER -

From Signatures of Algebraic Specifications to Collections of Object-Oriented Class Signatures

Abstract

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this