Naslov
A formalism for functionality preserving system level transformations

Autori
S. Abdi, Gajski, D. D.

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 2005 conference on Asia South Pacific design automation / - , 2005, 139-144

Skup
Design Automation Conference Asia and South Pacific

Mjesto i datum
Šangaj, Kina, 18.01.2005. - 21.01.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
Model Algebra; system level design languages

Sažetak
With the rise in complexity of modern systems, designers are spending a significant time on modeling at the system level of abstraction. This paper introduces Model Algebra, a formalism built on top of system level design languages, that can be used for implementing functionality preserving transformations on system level models. Such transformations enable us to implement high level design decisions without having to write new models for each design decision. Moreover, since these transformations preserve functionality, the transformed models do not need to be re-verified. We present the definition of Model Algebra and show how system level models can be represented as expressions in this formalism. The laws of Model Algebra are use to define correct model transformations. We show a system level design scenario, where design decisions gradually refine the functional model of the system to an architectural model with components and communication structure. The refinement can be performed using the correct model transformations in our formalism.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA