The University of Southampton
University of Southampton Institutional Repository

Object-based Control/Data-flow Analysis

Object-based Control/Data-flow Analysis
Object-based Control/Data-flow Analysis
Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy) to the existing paradigm of control and data flow interacting in a model. Our methodology provides a comprehensible separation of these two parts, which can be used to feed another analysis or synthesis tools, while still being able to reason about both parts through formal methods of verification.
Farwer, Berndt
fa53e8f3-4281-41dc-891b-4bf6acdd4e3e
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Farwer, Berndt
fa53e8f3-4281-41dc-891b-4bf6acdd4e3e
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7

Farwer, Berndt and Varea, Mauricio (2005) Object-based Control/Data-flow Analysis

Record type: Monograph (Project Report)

Abstract

Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy) to the existing paradigm of control and data flow interacting in a model. Our methodology provides a comprehensible separation of these two parts, which can be used to feed another analysis or synthesis tools, while still being able to reason about both parts through formal methods of verification.

Text
dsse_tr.pdf - Other
Download (500kB)

More information

Published date: March 2005
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 260958
URI: http://eprints.soton.ac.uk/id/eprint/260958
PURE UUID: f0031377-024d-4356-b6ea-98ed312fc81b

Catalogue record

Date deposited: 08 Jun 2005
Last modified: 14 Mar 2024 06:45

Export record

Contributors

Author: Berndt Farwer
Author: Mauricio Varea

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×