Paper Search Console

Home Search Page Alphabetical List About Contact

Journal Title

Title of Journal:

Search In Journal Title:

Abbravation:

Search In Journal Abbravation:

Publisher

Springer, Berlin, Heidelberg

Search In Publisher:

DOI

10.1007/s00142-016-0098-6

Search In DOI:

ISSN

Search In ISSN:
Search In Title Of Papers:

Transformation of combined data type and process specifications using projection algebras

Authors: M. Gro├če-Rhode, H. Ehrig,

Publish Date: 1989/5/29
Volume: , Issue:, Pages: 301-339
PDF Link

Abstract

The concept of projection specifications was recently introduced as a purely algebraic approach to the specification of continuous algebras in the framework of metric spaces. It allows to combine data type- and process specifications within one formalism. Parameterized projection specifications, corresponding to usual algebraic parameterized specifications, carry over compositionality to combined data type and process specifications. The parameter part may contain data types as well as process types. Transformation concepts for algebraic specifications are shown to apply also to projection specifications; i.e. extension and refinement, and different notions of implementation can be generalized to projection specifications.


Keywords:

References


.
Search In Abstract Of Papers:
Other Papers In This Journal:


Search Result:



Help video to use 'Paper Search Console'