A Perspective on Component Refinement

Barbosa, Lu­ís Soares

doi:10.1007/11561163_2

Cited by 1 publication

(3 citation statements)

References 38 publications

(59 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…a value which acts as an initial state for the underlying transition system. 4 Recall conditional construction (p → f, g), whose meaning is if p then f else g. * is the only habitant of the 1 datatype.…”

Section: Component Specificationsmentioning

confidence: 99%

See 2 more Smart Citations

A type-level approach to component prototyping

Barbosa

Cunha

Visser³

2007

International Workshop on Synthesis and Analysis of Component Connectors: In Conjunction With the 6th ESEC/FSE Joint Meeting

View full text Add to dashboard Cite

Algebraic theories for modeling components and their interactions offer abstraction over the specifics of component states and interfaces. For example, such theories deal with forms of sequential composition of two components in a manner independent of the type of data stored in the states of the components, and independent of the number and types of methods offered by the interfaces of the combinators. General purpose programming languages do not offer this level of abstraction, which implies that a gap must be bridged when turning component models into implementations.In this paper, we present an approach to prototyping of component-based systems that employs so-called type-level programming (or compile-time computation) to bridge the gap between abstract component models and their type-safe implementation in a functional programming language. We demonstrate our approach using Barbosa's model of components as generalized Mealy machines. For this model, we develop a combinator library in Haskell, which uses typelevel programming with two effects. Firstly, wiring between components is computed during compilation. Secondly, the well-formedness of the component compositions is guarded by Haskell's strong type system.

show abstract

Section: Component Specificationsmentioning

confidence: 99%

“…The reader is referred elsewhere [3,4] for the formal definition of these combinators as well as the various laws they obey.…”

Section: An Algebra Of Componentsmentioning

confidence: 99%