Paper Info
Title
Compositional Specification of Parallel Components Using Circus
Abstract
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.
Year
DOI
Venue
2010
10.1016/j.entcs.2009.12.031
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
circus specification,functional property,compositional specification,new compositional approach,high-performance computing application,successive semi-automatic refinement step,circus side,parallel components,component model,component-based perspective,distributed architecture
Computer science,Theoretical computer science,Software,Hash function
Journal
Volume
ISSN
Citations 
260,
Electronic Notes in Theoretical Computer Science
1
PageRank 
References 
Authors
0.37
15
2
Name
Order
Citations
PageRank
Francisco Heron de Carvalho-Junior14914.05
Rafael Dueire Lins257175.79