论文信息 - An Object-Oriented Design for the ACT ONE Environment

An Object-Oriented Design for the ACT ONE Environment

The overall aim of this paper is to stabilize and strengthen the algebraic specification method to software engineering and development. We do not introduce new theoretical results, but define a conceptual model, i.e., an information system schema, for the well-established algebraic specification language ACT ONE and its accompanying specification environment.

Martin Gogolla | Ingo Claßen | Martin Gogolla | I. Claßen

[1] Cristina Sernadas,et al. Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[2] Teodor Rus,et al. AMAST series in computing , 1993 .

[3] Ingo Claßen,et al. Revised ACT ONE: Categorical Constructions for an Algebraic Specification Language , 1988, Categorial Methods in Computer Science.

[4] Christine Choppy,et al. ASSPEGIQUE: An Integrated Environment for Algebraic Specifications , 1985, TAPSOFT, Vol.2.

[5] Hartmut Ehrig,et al. Algebraic Specification Techniques and Tools for Software Development: The Act Approach , 1993, AMAST Series in Computing.

[6] Jack A. Orenstein,et al. The ObjectStore database system , 1991, CACM.

[7] Hartmut Ehrig,et al. ACT ONE - An Algebraic Specification Language with two Levels of Semantics , 1983, ADT.

[8] Martin Gogolla,et al. Sketching Concepts and Computational Model of TROLL light , 1993, DISCO.

[9] Horst Hansen. The ACT System: Experiences and Future Enhancements , 1987, ADT.

[10] Martin Gogolla,et al. TROLL light: A Core Language for Specifying Objects , 1992 .

[11] Christine Choppy,et al. The design and specification of the ASSPEGIQUE database , 1990, DISCO.