Computer Science – Software Engineering
Scientific paper
2011-08-11
EPTCS 61, 2011, pp. 17-33
Computer Science
Software Engineering
In Proceedings WWV 2011, arXiv:1108.2085
Scientific paper
10.4204/EPTCS.61.2
Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract. Moreover, they do not use formal methods for specifying services, contracts, and compositions. Without a formal basis it is not possible to justify through formal verification the correctness conditions for service compositions and the satisfaction of contractual obligations in service provisions. We remedy this situation in this paper. We present a formal definition of services with context-dependent contracts. We define a composition theory of services with context-dependent contracts taking into consideration functional, nonfunctional, legal and contextual information. Finally, we present a formal verification approach that transforms the formal specification of service composition into extended timed automata that can be verified using the model checking tool UPPAAL.
Alagar Vangalur
Ibrahim Naseem
Mohammad Mubarak
No associations
LandOfFree
Specification and Verification of Context-dependent Services 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 Specification and Verification of Context-dependent Services, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Specification and Verification of Context-dependent Services will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-275763