Object-based Control/Data-flow Analysis
Farwer, Berndt and Varea, Mauricio (2005) 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.
|Item Type:||Monograph (Technical Report)|
|Divisions:||Faculty of Physical and Applied Science > Electronics and Computer Science
|Date Deposited:||08 Jun 2005|
|Last Modified:||02 Mar 2012 12:20|
|Contributors:||Farwer, Berndt (Author)
Varea, Mauricio (Author)
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)