Article is made available in accordance with the publisher's policy and may be subject to US copyright law. Please refer to the publisher's site for terms of use. The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.

One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...

A static approach is proposed to study secure composition of services. We extend the λ-calculus with primitives for selecting and invoking services that respect given security requirements. Security-critical code is enclosed in policy framings with a possibly nested, local scope. Policy framings enforce safety and liveness properties. The actual run-time behaviour of services is over-approximat...

In this paper, we address some of the challenges raised by the emerging serviceoriented computing paradigm in what concerns the ability to define dynamic interactions between core services for flexible and agile business processes. We claim that, from this point of view, service interaction and composition is well beyond the reach of object-oriented and componentbased techniques. We argue inste...

! #"$ %& ' ( ) * * + -, ./ 0 ,1 2,3 4 5.6 # 7)8 ./ 4 /,* 9 :<; = 2,* 9 > = ,* ?7@ A *; B C ( 2 ,# D C B9 ) C FEG ( 0 ) 2H ?I=./ 4 2,* J ) : "K * L,J%*,# NMO *"P %& QJRAH ,* ( S #"P ; ? 4 % T,1 SU V: 4 B 8W C ; O X8X,* CM ( Y ,# X8 ?,* & B 8Z,* ,* ? B Q=[5 T \ ,* ) 28*.6 ],# B*; P ,1 ^ 6[5 C ^[5 V [N "0 ?,* _ ; 4 ; >EG`Na I C 6 ...

RESTful services are becoming a popular technology for providing and consuming cloud services. The idea of cloud computing is based on on-demand services and their agile usage. This implies that also personal service compositions and workflows should be supported. Some approaches for RESTful service compositions have been proposed. In practice, such compositions typically present mashup applica...

In this paper we study the issue of service composition, for services that export a representation of their behavior in the form of a finite deterministic transition system. In particular, given a specification of the target service requested by the client as a finite deterministic transition system, the problem we face is how we can exploit the computations of the available services for realiz...

A major challenge in web service composition is that there will be a large number of often redundant web services that can be used. Furthermore, the set of services is unbounded and changes dynamically. Consequently, web service composition methods have to be tightly integrated with directories or search engines for such services. We introduce an approach for creating scalable directories of we...

The advent of Web services is enabling a move towards service– oriented computing. In order for this new computing paradigm to scale, choreography standards that enable one to aggregate or compose existing services into new services are critical. Such standards would allow third–parties to provide value–added services very much like in real–world service–oriented economies. In this paper, we ex...

Selecting the most appropriate semantic web service is one of the important components of the semantic web service composition process. Most aspects of the Semantic Web Service (SWS) composition process such as automatic discovery, selection, and composition are tightly related to the quality of semantic web services (QoS). QoS can be defined as a part of service description and is an especiall...