loading...
Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
Prague, Czech Republic September 02-September 05
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1996.546361Proceedings of the 22nd EUROMICRO Con ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
J.P.M. Voeten, P.H.A. van der Putten, M.P.J. Stevens, "Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design," EUROMICRO Conference, pp. 0019, Proceedings of the 22nd EUROMICRO Conference, 1996.
 
 
BibTex
x
 
@article{ 10.1109/EURMIC.1996.546361,
author = {J.P.M. Voeten and P.H.A. van der Putten and M.P.J. Stevens},
title = {Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design},
journal ={EUROMICRO Conference},
volume = {0},
year = {1996},
isbn = {0-8186-7487-3},
pages = {0019},
doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1996.546361},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - EUROMICRO Conference
TI - Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design
SN - 0-8186-7487-3
SP
EP
A1 - J.P.M. Voeten,
A1 - P.H.A. van der Putten,
A1 - M.P.J. Stevens,
PY - 1996
KW - formal specification; SHE; formal approach; behaviour-preserving transformations; architecture design; formal specification language; POOSL; design framework
VL - 0
JA - EUROMICRO Conference
ER -
 
J.P.M. Voeten, Sect. of Digital Inf. Syst., Eindhoven Univ. of Technol., Netherlands
P.H.A. van der Putten, Sect. of Digital Inf. Syst., Eindhoven Univ. of Technol., Netherlands
M.P.J. Stevens, Sect. of Digital Inf. Syst., Eindhoven Univ. of Technol., Netherlands
Abstract: SHE (Software/Hardware Engineering) is an object-oriented 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 formal basis for design transformations and shows their applicability.
Index Terms:
formal specification; SHE; formal approach; behaviour-preserving transformations; architecture design; formal specification language; POOSL; design framework
Citation:
J.P.M. Voeten, P.H.A. van der Putten, M.P.J. Stevens, "Behaviour-Preserving Transformations in SHE: A Formal Approach to Architecture Design," euromicro, pp.0019, Proceedings of the 22nd EUROMICRO Conference, 1996
Usage of this product signifies your acceptance of the Terms of Use.