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 tog...

Full description

Saved in:
Bibliographic Details
Main Authors: Ruonan Rao, Jiankun Wu, Dejun Wang, Linpeng Huang
Format: Conference Proceeding
Language:English
Subjects:
Application software
ASM
Assembly
Computer applications
Computer architecture
Computer science
Distributed computing
Energy management
Information analysis
Information science
Pervasive computing
Service Composition
Transaction
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/ICIS.2009.86