FlexiNet: A Flexible, Component-Oriented Middleware System

Hayton, Richard; Herbert, Andrew

doi:10.1007/3-540-46475-1_21

Cited by 6 publications

(6 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…in the pervasive computing environment as discussed in [25]. Existing mobile middleware is inefficient in handling the multi-dimensional variabilities in all aspects of the pervasive environment.…”

Section: Survey Summarymentioning

confidence: 99%

Enhancing intelligence and dependability of a product line enabled pervasive middleware

Zhang¹,

Hansen²,

Kunz³

2010

Pervasive and Mobile Computing

View full text Add to dashboard Cite

Section: Survey Summarymentioning

confidence: 99%

Enhancing intelligence and dependability of a product line enabled pervasive middleware

Zhang¹,

Hansen²,

Kunz³

2010

Pervasive and Mobile Computing

View full text Add to dashboard Cite

“…Various projects have support for dynamic protocol updates [20], [21] or study how protocols should be adapted [12], [10]. In [38], [34], the authors consider a stack of network protocols where each layer of the stack can be dynamically changed.…”

Section: Related Workmentioning

confidence: 99%

A diversified and correct-by-construction broadcast service

Rahli

Schiper

Renesse

et al. 2012

2012 20th IEEE International Conference on Network Protocols (ICNP)

View full text Add to dashboard Cite

We present a fault-tolerant ordered broadcast service that is correct-by-construction. Our broadcast service allows for diversity in space, whereby the participants in the broadcast protocol run different code, as well as in time, whereby the protocol itself is changed periodically. We use the Nuprl proof assistant to specify the service, prove correctness, and synthesize the code. The paper includes initial performance results.

show abstract

“…The ANSA FlexiNet framework [12] allows dynamic pluggability and selection of binders, [3] adds the concept of pluggable and replaceable policies for binding activation. The OpenORB binding model [14] focuses on extensibility wrt.…”

Section: Related Workmentioning

confidence: 99%

“…The basis of our investigation is the family of binding models of ANSA [12], FlexiBind [3], OpenORB [13,14], etc.…”

Section: Binding Modelmentioning

confidence: 99%

Towards declarative characterisation and negotiation of bindings

Hanssen

2005

Proceedings of the 4th Workshop on Reflective and Adaptive Middleware Systems - ARM '05

View full text Add to dashboard Cite

This paper addresses negotiation of bindings in open systems, and in particular how to characterise the capabilities of heterogeneous platforms, and communication channels. Based on a middleware architecture supporting policy-governed binding, negotiation is about selecting suitable policies for bindings at run-time. We propose a model for declarative expressions based on a hybrid of declared and rule-based conformance, and composition operators. We also propose a scheme for how the middleware can support automatic characterisation of resources or other relevant capabilities and composition of these, based on the declarative expression model.

show abstract

FlexiNet: A Flexible, Component-Oriented Middleware System

Cited by 6 publications

References 1 publication

Enhancing intelligence and dependability of a product line enabled pervasive middleware

Enhancing intelligence and dependability of a product line enabled pervasive middleware

A diversified and correct-by-construction broadcast service

Towards declarative characterisation and negotiation of bindings

Contact Info

Product

Resources

About