Transformation of combined data type and process s

Authors: M GroßeRhode 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 ie extension and refinement and different notions of implementation can be generalized to projection specifications

Keywords: