Sciweavers

Share
EUROMICRO
1996
IEEE

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

9 years 10 months ago
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.
Jeroen Voeten, P. H. A. van der Putten, M. P. J. S
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1996
Where EUROMICRO
Authors Jeroen Voeten, P. H. A. van der Putten, M. P. J. Stevens
Comments (0)
books