Models and temporal logics for timed component connectors
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 constraints makes component-based construction of real-time systems even more demanding. The coordination language Reo supports compositional system construction through connectors that exogenously coordinate the interactions among the constituent components which unawarely comprise a complex system, into a coherent collaboration. The simple, yet surprisingly rich, calculus of channel composition that underlies Reo offers a flexible framework for compositional construction of coordinating component connectors with real-time properties. In this paper, we present an operational semantics for the channel-based component connectors of Reo in terms of Timed Constraint Automata and introduce a temporal-logic for specification and verification of their real-time properties.
|Distributed Systems (acm C.2.4), Concurrent Programming (acm D.1.3), Software/Program Verification (acm D.2.4), Programming Environments (acm D.2.6), Languages (acm D.2.1.1), Tools (acm D.2.1.3), Language Classifications (acm D.3.2), Language Constructs and Features (acm D.3.3), Modes of Computation (acm F.1.2), Specifying and Verifying and Reasoning about Programs (acm F.3.1), Semantics of Programming Languages (acm F.3.2), Studies of Program Constructs (acm F.3.3)|
|Software (theme 1)|
|Software Engineering [SEN]|
Arbab, F, Baier, C, de Boer, F.S, & Rutten, J.J.M.M. (2004). Models and temporal logics for timed component connectors. Software Engineering [SEN]. CWI.