2006
DOI: 10.1007/s10270-006-0009-9
|View full text |Cite
|
Sign up to set email alerts
|

Abstract: Component-based software engineering advocates construction of software systems through composition of coordinated autonomous components. Significant benefits of this approach include software reuse, simpler and faster construction, enhanced reliability, and dramatic reductions in the complexity of construction of provably correct critical systems, many of which involve real-time concerns. Effective, flexible component composition by itself still poses a challenge today and yet the special nature of real-time … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
48
0

Year Published

2012
2012
2024
2024

Publication Types

Select...
5
1

Relationship

1
5

Authors

Journals

citations
Cited by 49 publications
(48 citation statements)
references
References 33 publications
0
48
0
Order By: Relevance
“…For example, probabilistic Reo channels [12] are used to build communication networks with unreliable links, while timed Reo [6] channels were introduced to specify time-dependent interaction protocols. A deadline t for the availability of some data can be represented using a channel with a FIFO buffer that loses its data item after t units of time.…”
Section: The Reo Coordination Languagementioning
confidence: 99%
See 4 more Smart Citations
“…For example, probabilistic Reo channels [12] are used to build communication networks with unreliable links, while timed Reo [6] channels were introduced to specify time-dependent interaction protocols. A deadline t for the availability of some data can be represented using a channel with a FIFO buffer that loses its data item after t units of time.…”
Section: The Reo Coordination Languagementioning
confidence: 99%
“…Timed constrained automata (TCA) [6] represent constraint automata with clock assignments and timing constraints. They are useful to formally model elements of time-dependent interaction protocols such as timeouts.…”
Section: Timed Constraint Automatamentioning
confidence: 99%
See 3 more Smart Citations