A Middleware Approach for Behavior Consistent Composition of Services in Smart Space

In recent years, service-oriented computing and pervasive computing are emerging as the next computing paradigms. Applying service-oriented technologies in smart space, a typical pervasive environment, facilitates the interaction of heterogeneous service components and the construction of pervasive applications. However, it also raises the new challenge of extending service specifications, composing available services and designing a supported middleware. To meet the challenge, we introduce a service-oriented component model which extends service specification with behavior and capability information. Based on it, we propose an approach of modeling composite services by UML activity diagrams and ensuring behavior consistency with respect to control flow. To support behavior consistent composition of services in smart space, SOBECA (service- oriented, behavior and capability supported architecture) system is designed and implemented.