Behaviour-preserving transformations in SHE: a formal approach to architecture design

Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies Pub Date : 1996-09-02 DOI:10.1109/EURMIC.1996.546361

J. Voeten, P.H.A. van der Putten, M. Stevens

{"title":"Behaviour-preserving transformations in SHE: a formal approach to architecture design","authors":"J. Voeten, P.H.A. van der Putten, M. Stevens","doi":"10.1109/EURMIC.1996.546361","DOIUrl":null,"url":null,"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.","PeriodicalId":311520,"journal":{"name":"Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies","volume":"98 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EURMIC.1996.546361","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 15

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.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

SHE中的行为保持转换:架构设计的正式方法

SHE(软件/硬件工程)是一种面向对象的分析、规范和设计方法，用于复杂的反应性硬件/软件系统。SHE基于正式的规范语言pool和指导分析和设计活动的设计框架。在分析过程中产生了几个图形模型。这些模型以pooll语言的文本表示形式形式化。获得的pooll描述描述了行为和初始系统结构。在设计期间，由于架构约束和设计决策，可能不得不调整或改进初始系统结构。为此，使用了所谓的行为保持转换。这些转换允许以图形化的方式修改结构，并且允许在交互系统模拟期间自动更改pooll规范。本文报告了设计转换的形式化基础的发展，并展示了它们的适用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

Proceedings of EUROMICRO 96. 22nd Euromicro Conference. Beyond 2000: Hardware and Software Design Strategies

自引率

0.00%

发文量

期刊最新文献

The design of a specialised processor for the simulation of sintering Parallel approaches to the segmentation of free-hand drawings Low-power embedded microprocessor design Automatic scheduling of applications with temporal QoS constraints: a case study A design assistant for scheduling of design decisions