Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design

SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal specification language POOSL and a design framework guiding the analysis and design activities. During analysis several graphical models are produced. These models are formalized in a textual representation in the POOSL language. The obtained POOSL description describes both behaviour and initial system structure. During design the initial system structure may have to be adjusted or refined due to architectural constraints and design decisions. For this purpose so-called behaviour-preserving transformations are used. These transformations allow structure modifications in a graphical way and they allow the automatic change of the POOSL specification during interactive system simulation. This paper reports the development of a formalbasis for design transformationsand shows their applicability.

• Type: Conference
• Year: 1996
• Where: EUROMICRO
• Authors: Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens
• Keywords: Design, EUROMICRO 1996, Software Engineering, Specification Language Poosl, Transformations Allow Structure