Translating standard process models to BPEL

Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation language, namely BPEL, and two fundamentally similar process modelling notations, namely UML Activity Diagram (UML AD) and BPMN. This paper presents a technique for generating BPEL code from process models expressed in a core subset of BPMN and UML AD. This model-to-code translation is a necessary ingredient to the emergence of model-driven business process development environments based on these standards. The proposed translation has been implemented as an open source tool

A Tool for Integer Homology Computation: Lambda-At Model

In this paper, we formalize the notion of lambda-AT-model (where $\lambda$ is a non-null integer) for a given chain complex, which allows the computation of homological information in the integer domain avoiding using the Smith Normal Form of the boundary matrices. We present an algorithm for computing such a model, obtaining Betti numbers, the prime numbers p involved in the invariant factors of the torsion subgroup of homology, the amount of invariant factors that are a power of p and a set of representative cycles of generators of homology mod p, for each p. Moreover, we establish the minimum valid lambda for such a construction, what cuts down the computational costs related to the torsion subgroup. The tools described here are useful to determine topological information of nD structured objects such as simplicial, cubical or simploidal complexes and are applicable to extract such an information from digital pictures.Comment: Journal Image and Vision Computing, Volume 27 Issue 7, June, 200

From Bloch model to the rate equations II: the case of almost degenerate energy levels

Bloch equations give a quantum description of the coupling between an atom and a driving electric force. In this article, we address the asymptotics of these equations for high frequency electric fields, in a weakly coupled regime. We prove the convergence towards rate equations (i.e. linear Boltzmann equations, describing the transitions between energy levels of the atom). We give an explicit form for the transition rates. This has already been performed in [BFCD03] in the case when the energy levels are fixed, and for different classes of electric fields: quasi or almost periodic, KBM, or with continuous spectrum. Here, we extend the study to the case when energy levels are possibly almost degenerate. However, we need to restrict to quasiperiodic forcings. The techniques used stem from manipulations on the density matrix and the averaging theory for ordinary differential equations. Possibly perturbed small divisor estimates play a key role in the analysis. In the case of a finite number of energy levels, we also precisely analyze the initial time-layer in the rate aquation, as well as the long-time convergence towards equilibrium. We give hints and counterexamples in the infinite dimensional case

The Resolved Asteroid Program - Size, shape, and pole of (52) Europa

With the adaptive optics (AO) system on the 10 m Keck-II telescope, we acquired a high quality set of 84 images at 14 epochs of asteroid (52) Europa on 2005 January 20. The epochs covered its rotation period and, by following its changing shape and orientation on the plane of sky, we obtained its triaxial ellipsoid dimensions and spin pole location. An independent determination from images at three epochs obtained in 2007 is in good agreement with these results. By combining these two data sets, along with a single epoch data set obtained in 2003, we have derived a global fit for (52) Europa of diameters (379x330x249) +/- (16x8x10) km, yielding a volume-equivalent spherical-diameter of 315 +/- 7 km, and a rotational pole within 7 deg of [RA; Dec] = [257,+12] in an Equatorial J2000 reference frame (ECJ2000: 255,+35). Using the average of all mass determinations available forEuropa, we derive a density of 1.5 +/- 0.4, typical of C-type asteroids. Comparing our images with the shape model of Michalowski et al. (A&A 416, 2004), derived from optical lightcurves, illustrates excellent agreement, although several edge features visible in the images are not rendered by the model. We therefore derived a complete 3-D description of Europa's shape using the KOALA algorithm by combining our imaging epochs with 4 stellar occultations and 49 lightcurves. We use this 3-D shape model to assess these departures from ellipsoidal shape. Flat facets (possible giant craters) appear to be less distinct on (52) Europa than on other C-types that have been imaged in detail. We show that fewer giant craters, or smaller craters, is consistent with its expected impact history. Overall, asteroid (52) Europa is still well modeled as a smooth triaxial ellipsoid with dimensions constrained by observations obtained over several apparitions.Comment: Accepted for publication in Icaru

Hyper-Raman scattering analysis of the vibrations in vitreous boron oxide

Hyper-Raman scattering has been measured on vitreous boron oxide, $v-$B$_2$O$_3$. This spectroscopy, complemented with Raman scattering and infrared absorption, reveals the full set of vibrations that can be observed with light. A mode analysis is performed based on the local D$_{3h}$ symmetry of BO$_3$ triangles and B$_3$O$_3$ boroxol rings. The results show that in $v-$B$_2$O$_3$ the main spectral components can be succesfully assigned using this relatively simple model. In particular, it can be shown that the hyper-Raman boson peak arises from external modes that correspond mainly to librational motions of rigid boroxol rings.Comment: 13 pages, 11 figures, 2 table

Avaliação da atividade celulásica e quitinásica de estirpes de Bacillus thuringiensis ativas contra Spodoptera frugiperda, Anticarsia gemmatalis e Anthonomus grandis.

bitstream/CENARGEN/29753/1/bp211.pd

Chain Homotopies for Object Topological Representations

This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique) algebraic-topological format called AM-model. An AM-model for a given object K is determined by a concrete chain homotopy and it provides, in particular, integer (co)homology generators of K and representative (co)cycles of these generators. An algorithm for computing an AM-model and the cohomological invariant HB1 (derived from the rank of the cohomology ring) with integer coefficients for a finite simplicial complex in any dimension is designed here. A concept of generators which are "nicely" representative cycles is also presented. Moreover, we extend the definition of AM-models to 3D binary digital images and we design algorithms to update the AM-model information after voxel set operations (union, intersection, difference and inverse)