Compositional Binding in Network Domains

This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindings. Five patterns represent the different ways that identifier binding can be accomplished. A formal model incorporating these patterns is used to compare the properties of the patterns, to define desirable network properties related to identifier binding, and to establish sufficient conditions for guaranteeing them. The results provide new insights into connections between mobile endpoints.

• Type: Conference
• Year: 2006
• Where: FM
• Authors: Pamela Zave
• Keywords: Desirable Network Properties, FM 2006, Formal Methods, Identifier Binding, Paper Considers Network