Cited By
View all- Anisetti MArdagna CDamiani E(2011)Certifying Security and Privacy Properties in the Internet of ServicesTrustworthy Internet10.1007/978-88-470-1818-1_17(221-234)Online publication date: 15-Jun-2011
Model checking is a well known formal technique for systems verification and its main challenge is state explosion. Assume-guarantee is a promising way to deal with this challenge, but in the compositional reasoning process we should provide assumption ...
Assume-guarantee reasoning (AGR) is a promising compositional verification technique that can address the state space explosion problem associated with model checking. Since the construction of assumptions usually requires nontrivial human efforts, a ...
In this paper we propose a technique for the automated synthesisof new composite web services. Given a set of abstract BPEL4WSdescriptions of component services, and a composition requirement,we automatically generate an executable BPEL4WS process that,...
Association for Computing Machinery
New York, NY, United States
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in