Paper Info
Title
Modeling and Verification of Components and Connectors.
Abstract
Component-based software engineering divides a complex system into smaller logical components with well-defined interfaces. To likewise make the complex interactions between components explicit, exogenous coordination languages like Reo allow the construction of complex coordination glue code in the form of networks of channels and connectors, orchestrating the interactions of the components. In this paper, we present an overview of the modeling concepts for components and connectors using Reo and the underlying constraint automata framework and detail the specification and verification of properties using logics tailored to this framework.
Year
DOI
Venue
2011
10.1007/978-3-642-21455-4_4
Lecture Notes in Computer Science
Field
DocType
Volume
Programming language,Computer science,Automaton,Communication channel,Glue code,Theoretical computer science
Conference
6659
ISSN
Citations 
PageRank 
0302-9743
7
0.47
References 
Authors
26
3
Name
Order
Citations
PageRank
Christel Baier13053185.85
Joachim Klein21189.33
Sascha Klüppelholz328720.48