Transaction of Service Composition in Pervasive Computing and Its Correctness Analysis Based on ASM

Service-oriented computing (SOC) is an emerging paradigm to design applications in the pervasive computing environment. Service composition mechanisms are being employed to deliver support to complex user tasks within service-oriented environments. The mechanism of combining two or more services together to form a complex service is known as service composition. Most of complex applications need the support of the transaction. This paper proposes a pervasive computing transaction service (Per_Comp_TS) for service composition in pervasive computing environment. The Per_Comp_TS can discover pervasive services dynamically to perform sub-transactions, execute coordination algorithms of the atomic or cohesion transaction for these services to achieve expected consistency, according to the type of a transaction. An ASM-based approach is proposed to model the coordination algorithms, and validates their correctness. The Per_Comp_TS can provide powerful ability to manage transaction and hide users from the complex process, and provide effective supports for pervasive applications.