From 13.01. to 18.01.2008, the Dagstuhl Seminar 08031 Software Engineering for Self-Adaptive Systems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of sem...

The recent evolution of internet technologies, mainly guided by the Extensible Markup Language (XML) and its related technologies, are extending the role of the World Wide Web from information interaction to service interaction. This next wave of the internet era is being driven by a concept named Web services. The Web services technology provides the underpinning to a new business opportunity,...

Service-oriented architectures are emerging as a solution to integrate components in unstable and evolving contexts. The discovery phase supports flexible and dynamic component bindings. Bindings can occur either at deployment time or at run-time. Because of dynamicity, however, bindings can fail. The paper identifies and classifies the main faults of service-oriented systems and sketches some ...

Integer partitions may be encoded as either ascending or descending compositions for the purposes of systematic generation. Many algorithms exist to generate all descending compositions, yet none have previously been published to generate all ascending compositions. We develop three new algorithms to generate all ascending compositions and compare these with descending composition generators fr...

This paper shows how the study of colored compositions of integers reveals some unexpected and original connection with the Invert operator. The Invert operator becomes an important tool to solve the problem of directly counting the number of colored compositions for any coloration. The interesting consequences arising from this relationship also give an immediate and simple criterion to determ...

Web service compositions (WS compositions) coordinate Web services of different enterprises. They are expected to constitute the foundation of service-oriented architectures, to improve business processes as well as to foster intraand inter-organizational integration. Especially in inter-organizational contexts, quality of service referring to non-functional requirements and conformance to func...

Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Composition of these components is generally done in an ad-hoc manner. As compositions of services become more widely used and, inevitably, more complex, there is a need to ensure that compositions of services obey constraints....

In this paper, we give two new identities for compositions, or ordered partitions, of integers. These two identities are based on closely-related integer partition functions which have recently been studied. Thanks to the structure inherent in integer compositions, we are also able to extensively generalize both of these identities. Bijective proofs are given and generating functions are provid...

A composition of a positive integer n consists of an ordered sequence of positive integers whose sum is n. We investigate compositions in which the summand 2 is not allowed, and count the total number of such compositions and the number of occurrences of the summand i in all such compositions. Furthermore, we explore patterns in the values for Cj(n, 2̂), the number of compositions of n without 2...