A Compositional Model for Confluent Dynamic Data-Flow Networks

Boer, Frank S. de; Bonsangue, Marcello M.

doi:10.1007/3-540-44612-5_17

Cited by 6 publications

(1 citation statement)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our notion of components [9,6,17] uses channels as the basic inter-component communication mechanism. A channel is a point-to-point medium of communication with its own unique identity and two distinct ends.…”

Section: Background and Related Workmentioning

confidence: 99%

Abstract Behavior Types: a foundation model for components and their composition

Arbab

2005

Science of Computer Programming

View full text Add to dashboard Cite

The notion of Abstract Data Type (ADT) has served as a foundation model for structured and object oriented programming for some thirty years. The current trend in software engineering toward component based systems requires a foundation model as well. The most basic inherent property of an ADT, i.e., that it provides a set of operations, subverts some highly desirable properties in emerging formal models for components that are based on the object oriented paradigm. We introduce the notion of Abstract Behavior Type (ABT) as a higher-level alternative to ADT and propose it as a proper foundation model for both components and their composition. An ABT defines an abstract behavior as a relation among a set of timed-data-streams, without specifying any detail about the operations that may be used to implement such behavior or the data types it may manipulate for its realization. The ABT model supports a much looser coupling than is possible with the ADT's operational interface, and is inherently amenable to exogenous coordination. We propose that both of these are highly desirable, if not essential, properties for models of components and their composition. To demonstrate the utility of the ABT model, we describe Reo: an exogenous coordination language for compositional construction of component connectors based on a calculus of channels. We show the expressive power of Reo, and the applicability of ABT, through a number of examples.

show abstract

Section: Background and Related Workmentioning

confidence: 99%

Abstract Behavior Types: a foundation model for components and their composition

Arbab

2005

Science of Computer Programming

View full text Add to dashboard Cite

show abstract

A Fully Abstract Semantics for UML Components

Boer

Bonsangue

Steffen

et al. 2005

Formal Methods for Components and Objects

View full text Add to dashboard Cite

Abstract. We present a fully abstract semantics for components. This semantics is formalized in terms of a notion of trace for components, providing a description of the component externally observable behavior inspired by UML sequence diagrams. Such a description abstracts from the actual implementation given by UML state-machines. Our full abstraction result is based on a may testing semantics which involves a composition of components in terms of cross-border dynamic class instantiation through component interfaces.

show abstract

Coordination through Channel Composition

Arbab

Mavaddat

2002

Lecture Notes in Computer Science

View full text Add to dashboard Cite

A Compositional Model for Confluent Dynamic Data-Flow Networks

Cited by 6 publications

References 16 publications

Abstract Behavior Types: a foundation model for components and their composition

Abstract Behavior Types: a foundation model for components and their composition

A Fully Abstract Semantics for UML Components

Coordination through Channel Composition

Contact Info

Product

Resources

About