Contracts for Abstract Processes in Service Composition

Contracts are a well-established approach for describing and analyzing behavioral aspects of web service compositions. The theory of contracts comes equipped with a notion of compatibility between clients and servers that ensures that every possible interaction between compatible clients and servers will complete successfully. It is generally agreed that real applications often require the ability of exposing just partial descriptions of their behaviors, which are usually known as abstract processes. We propose a formal characterization of abstraction as an extension of the usual symbolic bisimulation and we recover the notion of abstraction in the context of contracts.Comment: In Proceedings FIT 2010, arXiv:1101.426

Improved Adaptation and Survivability via Dynamic Service Composition of Ubiquitous Computing Middleware

These days, ubiquitous computing has radically changed the way users access and interact with services and content on the Internet: novel smart mobile devices and broadband wireless communication channels allow users to seamlessly access them anytime and anywhere. Middleware infrastructures to support ubiquitous computing need to support an extremely dynamic and ever-changing scenario, where novel contents/services, devices, formats, and media channels become available. Service-oriented architectures and service composition techniques have proven to be the key in designing flexible and extensible platforms that are able to reliably support ubiquitous computing. However, current trends in service composition for ubiquitous computing tend to be either too formal and, therefore, poorly used by average final users, or too vertical and poorly flexible and extensible. This paper proposes novel service composition middleware for ubiquitous computing that relies on a translucent composition model to achieve a flexible, extensible, highly-available, but also easily understandable and usable platform. The proposed system has been widely tested, benchmarked, and deployed on a number of different and heterogeneous ubiquitous scenarios

Fabrication of transparent conducting amorphous Zn–Sn–In–O thin films by direct current magnetron sputtering

Amorphous ZnO–SnO2–In2O3 films were grown by direct current magnetron sputtering from vacuum hot pressed ceramic oxide targets of Zn:In:Sn cation ratios 1:2:1 and 1:2:1.5 onto glass substrates. X-ray diffraction analysis showed that the microstructure remained amorphous during annealing at 200 °C for up to 5 hours. By monitoring the electrical resistivity, oxygen content and substrate temperature were optimized during deposition. The optimal films were characterized by Hall Effect, work function and optical spectroscopy measurements. Films of 1:2:1 composition showed the lowest resistivity (7.6×10−4 Ω-cm), when deposited onto substrates preheated to 300 °C. Transmissivity of all films exceeded 80% in the visible spectral region. The energy gap was 3.52–3.74 eV, and the work function ranged 5.08–5.22 eV, suitable for cathode applications in organic light emitting diodes. Overall, the film characteristics were comparable or superior to those of amorphous tin-doped indium oxide and zinc-doped indium oxide films and may serve as viable, lower-cost alternatives

A Calculus for Orchestration of Web Services

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore, many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent, reactive, and distributed systems. In this paper, we follow this approach and introduce CWS, a process calculus expressly designed for specifying and combining service-oriented applications, while modelling their dynamic behaviour. We show that CWS can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We illustrate the specification style that CWS supports by means of a large case study from the automotive domain and a number of more specific examples drawn from it

Phase equilibria and phase transformations in the Ti-rich corner of the Fe-Ni-Ti system

While the main features of the Fe-Ni-Ti system are well known at low Ti content, literature review of the Ti-rich corner revealed inconsistencies between experimental reports. This investigation presents new experimental results, defined to remove the uncertainties concerning melting behavior and solid-state phase equilibria of the (Ni,Fe)Ti2 phase with the adjacent (Fe,Ni)Ti (B2, CsCl-type structure) and Beta-Ti (A2, W-type) phases. Six samples have been prepared and examined by differential thermal analysis performed in yttria and alumina crucibles, and by scanning electron microscopy in the as-cast state as well as equilibrated at 900°C

Combinatorial synthesis of oxysulfides in the lanthanum-bismuth-copper system

Establishing synthesis methods for a target material constitutes a grand challenge in materials research, which is compounded with use-inspired specifications on the format of the material. Solar photochemistry using thin film materials is a promising technology for which many complex materials are being proposed, and the present work describes application of combinatorial methods to explore the synthesis of predicted La–Bi–Cu oxysulfide photocathodes, in particular alloys of LaCuOS and BiCuOS. The variation in concentration of three cations and two anions in thin film materials, and crystallization thereof, is achieved by a combination of reactive sputtering and thermal processes including reactive annealing and rapid thermal processing. Composition and structural characterization establish composition-processing-structure relationships that highlight the breadth of processing conditions required for synthesis of LaCuOS and BiCuOS. The relative irreducibility of La oxides and limited diffusion indicate the need for high temperature processing, which conflicts with the temperature limits for mitigating evaporation of Bi and S. Collectively the results indicate that alloys of these phases will require reactive annealing protocols that are uniquely tailored to each composition, motivating advancement of dynamic processing capabilities to further automate discovery of synthesis routes