Paper Info
Title
Specification And Verification Of Context-Dependent Services
Abstract
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.
Year
DOI
Venue
2011
10.4204/EPTCS.61.2
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
Keywords
Field
DocType
context dependent,formal verification,formal specification,formal method,software engineering,model checking
Service design,Computer science,Correctness,Service provider,Formal specification,Formal methods,Service discovery,Service delivery framework,Database,Formal verification
Journal
Issue
ISSN
Citations 
61
2075-2180
1
PageRank 
References 
Authors
0.46
14
3
Name
Order
Citations
PageRank
Naseem Ibrahim1836.78
Vangalur S. Alagar216439.10
Mubarak Mohammad311810.64