Safe compositional specification of networking systems

The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging networked systems and applications. By "service composition" we mean that the performance and correctness properties local to the various constituent components of a service can be readily composed into global (end-to-end) properties without re-analyzing any of the constituent components in isolation, or as part of the whole composite service. The set of laws that govern such composition is what will constitute that new science of composition. The heterogeneity and open nature of network systems make composition quite challenging, and thus programming network services has been largely inaccessible to the average user. We identify (and outline) a research agenda in which we aim to develop a specification language that is expressive enough to describe different components of a network service, and that...

• Type: Journal
• Year: 2004
• Where: CCR
• Authors: Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibrahim Matta
• Keywords: CCR 2004, Constituent Components, Network Service, Service Composition