This section contains extended versions of selected papers from the 9 International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA’10). Computer systems combining concurrent, distributed, mobile and heterogenous components are omnipresent and managing the complexity of their interaction raises challenging problems for system designers and integrators. ...

Service level agreements (SLAs) are designed to be monitorable contracts between a provider and consumer of a service. It is of interest to determine if such SLAs can also be used as input to a predictive model, e.g., a discrete-event stochastic model. For that purpose we study in this paper WSLA, the web service level agreement language, an SLA specification language tailored to web services. ...

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version ...

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing servic...

Many computer networks such as wireless networks are stochastic in nature. In order to perform performance guarantee analysis of such networks, a theory, called stochastic network calculus, has evolved. In the stochastic network calculus literature, most results are based on space-domain traffic and service models where the arrival process and the service process are respectively characterized ...

in this research, both resource allocation and reactive resource allocation problems in multi-server dynamic pert networks are analytically modeled, where new projects are expected to arrive according to a poisson process, and activity durations are also known as independent random variables with exponential distributions. such system is represented as a queuing network, where multi servers at ...