Computer Science – Software Engineering
Scientific paper
2010-07-29
EPTCS 30, 2010, pp. 62-77
Computer Science
Software Engineering
In Proceedings FOCLASA 2010, arXiv:1007.4993
Scientific paper
10.4204/EPTCS.30.5
Dependency analysis is a technique to identify and determine data dependencies between service protocols. Protocols evolving concurrently in the service composition need to impose an order in their execution if there exist data dependencies. In this work, we describe a model to formalise context-aware service protocols. We also present a composition language to handle dynamically the concurrent execution of protocols. This language addresses data dependency issues among several protocols concurrently executed on the same user device, using mechanisms based on data semantic matching. Our approach aims at assisting the user in establishing priorities between these dependencies, avoiding the occurrence of deadlock situations. Nevertheless, this process is error-prone, since it requires human intervention. Therefore, we also propose verification techniques to automatically detect possible inconsistencies specified by the user while building the data dependency set. Our approach is supported by a prototype tool we have implemented.
Canal Carlos
Cubo Javier
Pimentel Ernesto
Salaün Gwen
No associations
LandOfFree
Handling Data-Based Concurrency in Context-Aware Service Protocols does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Handling Data-Based Concurrency in Context-Aware Service Protocols, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Handling Data-Based Concurrency in Context-Aware Service Protocols will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-450530