Sciweavers

167 search results - page 1 / 34
» Towards a Connector Algebra
Sort
View
ISOLA
2010
Springer
13 years 3 months ago
Towards a Connector Algebra
Interoperability of heterogeneous networked systems has yet to reach the maturity required by ubiquitous computing due to the technology-dependent nature of solutions. The Connect ...
Marco Autili, Chris Chilton, Paola Inverardi, Mart...
SIGSOFT
2005
ACM
14 years 5 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
EMSOFT
2007
Springer
13 years 10 months ago
The algebra of connectors: structuring interaction in BIP
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
Simon Bliudze, Joseph Sifakis
TC
2008
13 years 4 months ago
The Algebra of Connectors - Structuring Interaction in BIP
We provide an algebraic formalization of connectors in the BIP component framework. A connector relates a set of typed ports. Types are used to describe different modes of synchron...
Simon Bliudze, Joseph Sifakis
ICSE
2000
IEEE-ACM
13 years 8 months ago
Towards a taxonomy of software connectors
Software systems of today are frequently composed from prefabricated, heterogeneous components that provide complex functionality and engage in complex interactions. Existing rese...
Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke