物件導向軟體之架構(Object-Oriented Software Construction)探討

[서평]「Component Software」 - Beyond Object-Oriented Programming -

A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of ``coordination''''. The purpose of a coordination model and associated language is to provide a means of integrating a number of possibly heterogeneous components together, by interfacing with each component in such a way that the collective set forms a single application that can execute on and take advantage of parallel and distributed systems. In this chapter we initially define and present in sufficient detail the fundamental concepts of what constitutes a coordination model or language. We then go on to classify these models and languages as either ``data-driven'''' or ``control-driven'''' (also called ``process-'''' or ``task-oriented''''). Next, the main existing coordination models and languages are described in sufficient detail to let the reader appreciate their features and put them into perspective with respect to each other. The chapter ends with a discussion comparing the various models and some conclusions.

/pdf/coordination-models-and-languages-4p4lzj3oar.pdf

Coordination models and languages

A super-peer is a node in a peer-to-peer network that operates both as a server to a set of clients, and as an equal in a network of super-peers. Super-peer networks strike a balance between the efficiency of centralized search, and the autonomy, load balancing and robustness to attacks provided by distributed search. Furthermore, they take advantage of the heterogeneity of capabilities (e.g., bandwidth, processing power) across peers, which recent studies have shown to be enormous. Hence, new and old P2P systems like KaZaA and Gnutella are adopting super-peers in their design. Despite their growing popularity, the behavior of super-peer networks is not well understood. For example, what are the potential drawbacks of super-peer networks? How can super-peers be made more reliable? How many clients should a super-peer take on to maximize efficiency? we examine super-peer networks in detail, gaming an understanding of their fundamental characteristics and performance tradeoffs. We also present practical guidelines and a general procedure for the design of an efficient super-peer network.

Designing an Super-Peer Network

All one needs to know about fog computing and related edge computing paradigms: A complete survey

How to deploy and manage, in an ecient and adaptive way, complex applications across multiple heterogeneous cloud platforms is one of the problems that have emerged with the cloud revolution. In this paper we present context, motivations and objectives of the EU research project SeaClouds, which aims at enabling a seamless adaptive multi-cloud management of complex applications by supporting the distribution, monitoring and migration of application modules over multiple heterogeneous cloud platforms. After positioning SeaClouds with respect to related cloud initiatives, we present the SeaClouds architecture and discuss some of its aspect, such as the use of the OASIS standard TOSCA and the compatibility with the OASIS CAMP initiative.

/pdf/adaptive-management-of-applications-across-multiple-clouds-1xwkdxm7g9.pdf

Adaptive management of applications across multiple clouds: The SeaClouds Approach

Lightweight self-organising distributed monitoring of Fog infrastructures

On the expressiveness of coordination via shared dataspaces

Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether two services can be used interchangeably in any context. This paper illustrates -- through a concrete scenario from banking systems -- how a suitable notion of behavioural equivalence over Petri nets can be effectively employed for checking the correctness of service specifications and the replaceability of (sub)services.

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

While OWL-S advertisements provide a rich (ontological and behavioural) description of Web services, there are no tools that support formal analyses of OWL-S services. In this paper we present a translator from OWL-S descriptions to Petri nets which makes such analyses possible thanks to the many tools available for Petri nets.

/pdf/from-owl-s-descriptions-to-petri-nets-372eqcw5fs.pdf

Antonio Brogi

Papers

Adaptive management of applications across multiple clouds: The SeaClouds Approach

Lightweight self-organising distributed monitoring of Fog infrastructures

On the expressiveness of coordination via shared dataspaces

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study

From OWL-S Descriptions to Petri Nets