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
March 2005
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.
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