Web Services Workflows—Composition, Co-Ordination, and Transactions in Service-Oriented Computing

Web services can be seen as a newly emerging research area for Service-oriented Computing and their implementation in Service-oriented Architectures. Web services are self-contained, self-describing modular applications or components providing services. Web services may be dynamically aggregated, composed, and enacted as Web services Workflows. This requires frameworks and interaction protocols for their co-ordination and transaction support. In a Service-oriented Computing setting, transactions are more complex, involve multiple parties (roles), span many organizations, and may be long-running, consisting of a highly decentralized service partner and performed by autonomous entities. A Service-oriented Transaction Model has to provide comprehensive support for long-running propositions including negotiations, conversations, commitments, contracts, tracking, payments, and exception handling. Current transaction models and mechanisms including their protocols and primitives do not sufficiently cater for quality-aware and long running transactions comprising loosely-coupled (federated) service partners and resources. Web services transactions require co-ordination behavior provided by a traditional transaction mechanism to control the operations and outcome of an application. Furthermore, Web services transactions require the capability to handle the co-ordination of processing outcomes or results from multiple services in a more flexible manner. This requires more relaxed forms of transactions—those that do not strictly have to abide by the ACID properties—such as loosely-coupled collaboration and workflows. Furthermore, there is a need to group Web services into applications that require some form of correlation, but do not necessarily require transactional behavior. The purpose of this paper is to provide a state-of-the-art review and overview of some proposed standards surrounding Web services composition, co-ordination, and transaction. In particular the Business Process Execution Language for Web services (BPEL4WS), its co-ordination, and transaction frameworks (WS-Co-ordination and WS-Transaction) are discussed.

yet another meta-language for programming language processing

The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.

Optical image processing using the photoinduced anisotropy of pyrrylfulgide

A synthesized photochromic compound-pyrrylfulgide-is prepared as a thin film doped in a polymethylmethacrylate (PMMA) matrix. Under irradiation by UV light, the film converts from the bleached state into a colored state that has a maximum absorption at 635 nm and is thermally stable at room temperature. When the colored state is irradiated by a linearly polarized 650 nm laser, the film returns to the bleached state; photoinduced anisotropy is produced during this process. Application of optical image processing methods using the photoinduced anisotropy of the pyrrylfulgide/PMMA film is described. Examples in non-Fourier optical image processing, such as contrast reversal and image subtraction and summation, as well as in Fourier optical image processing, such as low-pass filtering and edge enhancement, are presented. (c) 2006 Optical Society of America.

A new method for spectrum reproduction and interferogram processing

On the basis of researchon the theory and mathe matics of interference data collection of the spatially modulated polarization interference imaging spectrometer designed by us, this paper mainly analyses and compares three different methods of spectrum reconstruction and interferogram processing. Specially, the authors introduce the nonparametric model of Music algorithm which is maturely used in power spectrum estimation into the spectrum reconstruction processing for the first time. This method prodigiously improves the resolution of reproduced spectrum, and provides a better math matic model for the improvement of resolving power in spectrum reproduction.

Real-time data processing of interferential imaging spectrometer based on FPGA

Based on the data processing technologies of interferential spectrometer, a sort of real-time data processing system on chip of interferential imaging spectrometer was studied based on large capacitance and high speed field programmable gate array( FPGA) device. The system integrates both interferograrn sampling and spectrum rebuilding on a single chip of FPGA and makes them being accomplished in real-time with advantages such as small cubage, fast speed and high reliability. It establishes a good technical foundation in the applications of imaging spectrometer on target detection and recognition in real-time.

Liquid encapsulated-melt zone processing of GaAs

A liquid encapsulated melt Bone process has been developed for single crystal growth of GaAs. Single crystals of 40 mm long have been grown with this technique. To avoid unwanted nucleation events and maintain a constant crystal diameter, from top to bottom growth using a short zone with a convex zone surface was found to give the best results. An arsenic overpressure was used to in conjunction with a B2O3 encapsulant in order to suppress arsenic dissociation from the melt and maintain the stoichiometry of the crystal.

Structural properties of polycrystalline silicon films formed by pulsed rapid thermal processing

A novel pulsed rapid thermal processing (PRTP) method has been used for realizing the solid-phase crystallization of amorphous silicon films prepared by PECVD. The microstructure and surface morphology of the crystallized films are investigated by X-ray diffraction (XRD) and atomic force microscopy (AFM). The results indicate that this PRTP is a suitable post-crystallization technique for fabricating large-area polycrystalline silicon films with good structural qualities such as large grain size, small lattice microstain and smooth surface morphology on low-cost substrate.

JFET SOS devices: Processing and gamma radiation effects

A process for fabricating n channel JFET/SOS (junction field-effect transistors on silicon-on-sapphire) has been researched. The gate p(+)n junction was obtained by diffusion, and the conductive channel was gotten by a double ion implantation. Both enhancement and depletion mode transistors were fabricated in different processing conditions. From the results of the Co-50 gamma ray irradiation experimental we found that the devices had a good total dose radiation-hardness. When the tot;ll dose was 5Mrad(Si), their threshold voltages shift was less than 0.1V. The variation of transconductance and the channel leakage current were also little.