1-0 Transformation Form of UTF-8

PACLIC 20 / Wuhan, China / 1-3 November, 200

A GROOVE Solution for the BPMN to BPEL Model Transformation

In this paper we present a solution of a model transformation between two standard languages for business process modeling BPMN and BPEL, using the GROOVE tool set. GROOVE is a tool for graph transformations that uses directed, edge labelled simple graphs and the SPO approach [Ren04]. Given a graph grammar (G, P), composed of a start graph G and a set of production rules P, the tool allows to compute a labelled transition system (LTS) corresponding to all possible derivations in this grammar. The tool is freely available for download. The latest version and documentation can be found on the website http://sourceforge.net/projects/groove. The graph grammar presented here as well as detailed description of the sample realization to the case study is available in the attachment

Compact Gaussian quantum computation by multi-pixel homodyne detection

We study the possibility of producing and detecting continuous variable cluster states in an optical set-up in an extremely compact fashion. This method is based on a multi-pixel homodyne detection system recently demonstrated experimentally, which includes classical data post-processing. It allows to incorporate the linear optics network, usually employed in standard experiments for the production of cluster states, in the stage of the measurement. After giving an example of cluster state generation by this method, we further study how this procedure can be generalized to perform gaussian quantum computation.Comment: Eqs.(20)-(21) correcte

The Heisenberg Relation - Mathematical Formulations

We study some of the possibilities for formulating the Heisenberg relation of quantum mechanics in mathematical terms. In particular, we examine the framework discussed by Murray and von Neumann, the family (algebra) of operators affiliated with a finite factor (of infinite linear dimension)

Multi-gradient fluids

An internal energy function of the mass density, the volumetric entropy and their gradients at n-order generates the representation of multi-gradient fluids. Thanks to Hamilton's principle, we obtain a thermodynamical form of the equation of motion which generalizes the case of perfect compressible fluids. First integrals of flows are extended cases of perfect compressible fluids. The equation of motion and the equation of energy are written for dissipative cases, and are compatible with the second law of thermodynamics.Comment: Ricerche di matematica, Springer Verlag, In pres