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

Ruonan Rao,Jiankun Wu,Dejun Wang,Linpeng Huang
DOI: https://doi.org/10.1109/ICIS.2009.86
2009-01-01
Abstract: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.
What problem does this paper attempt to address?