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.

异常处理机制研究

介绍了异常处理机制,包括异常的抛出、捕获、传播,并描述了异常的处理模式、传播机制、处理环境。不同应用领域的异常处理机制不同,以Java语言和工作流管理系统为例,分别介绍和讨论了程序设计语言层面和企业层面上的异常处理机制。

Physiological responses to capture and handling of free-ranging male Yangtze finless porpoises (Neophocaena phocaenoides asiaeorientalis)

We captured free-ranging male Yangtze finless porpoises over three seasons and assayed leukocytes and serum biochemistry to investigate physiological responses to the capture and handlings. Serum thyroid hormones (THs) declined sharply in those porpoises compared with hormone variation in a captive male finless porpoise. Hypernatremia and hypokalemia were also significant in the free-ranging animals suggesting that conservation of serum sodium might be acutely vital for this freshwater subspecies. The animals captured in spring showed more significant neutrophilia and eosinopenia than those captured in autumn suggesting that they may be more affected by capture during the breeding season. Furthermore, physical examination of porpoises when out of the water was apparently stressful, particularly when they were kept out of the water for longer periods. However, an increase in circulating THs may be an adaptive response to accommodate these short-term stresses.

Real-time PCR microfluidic devices with concurrent electrochemical detection

Electrochemistry-based detection methods hold great potential towards development of hand-held nucleic-acid analyses instruments. In this work, we demonstrate the implementation of in situ electrochemical (EC) detection method in a microfluidic flow-through EC-qPCR (FTEC-qPCR) device, where both the amplification of the target nucleic-acid sequence and subsequent EC detection of the PCR amplicon are realized simultaneously at selected PCR cycles in the same device. The FTEC-qPCR device utilizes methylene blue (MB), an electroactive DNA intercalator, for electrochemical signal measurements in the presence of PCR reagent components. Our EC detection method is advantageous, when compared to other existing EC methods for PCR amplicon analysis, since FTEC-qPCR does not require probe-modified electrodes, or asymmetric PCR, or solid-phase PCR. Key technical issues related to surface passivation, electrochemical measurement, PCR inhibition by metal electrode, bubble-free PCR, were investigated. By controlling the concentration of MB and the exposure of PCR mixture to the bare metal electrode, we successfully demonstrated electrochemical measurement of MB in solution-phase, symmetric PCR by amplifying a fragment of lambda phage DNA.