Compositional Specification of Parallel Components Using Circus | Zendy

Francisco Heron de Carvalho | Zendy; Rafael Dueire Lins | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Compositional Specification of Parallel Components Using Circus

Author(s) -

Francisco Heron de Carvalho,

Rafael Dueire Lins

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.12.031

Subject(s) - component (thermodynamics) , computer science , hash function , programming language , perspective (graphical) , code (set theory) , component based software engineering , composition (language) , code generation , software , theoretical computer science , distributed computing , parallel computing , software development , artificial intelligence , key (lock) , operating system , linguistics , philosophy , physics , set (abstract data type) , thermodynamics

The # (hash) component model aims to take advantage of a component-based perspective of software for the development of high-performance computing applications targeted at parallel distributed architectures. This paper presents an approach for specifying #-components using Circus, to provide the ability of reasoning about behavioral and functional properties of #-components and their composition, as well as to partially generate code of their units through the application of successive semi-automatic refinement steps. On the Circus side, the # component model provides a new compositional approach to combine a Circus specification to form new ones, widening its applicability

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research