From Basic Views and Aspects to Integration of Specification Formalisms.
Hartmut Ehrig, Julia Padberg, Fernando Orejas · 1999
this paper we distinguish between basic speci cation formalisms concerning mainly one view or aspect of a system, and integrated formalisms taking care of dierent views and aspects. We consider as basic views the data type and process view and time constraints as an important additional aspect. We give an overview of corresponding basic speci cation formalisms and discuss how they can be combined or integrated in order to handle combination and integration of dierent views and aspects