Entity

Time filter

Source Type

Genova, Italy

Andre E.,University of Paris 13 | Choppy C.,University of Paris 13 | Reggio G.,DIBRIS
Studies in Computational Intelligence | Year: 2014

Designing and analyzing business processes is the starting point of the development of enterprise applications, especially when following the SOA (Service Oriented Architecture) paradigm. UML activity diagrams are often used to model business processes. Unfortunately, their rich syntax favors mistakes by designers; furthermore, their informal semantics prevents the use of automated verification techniques. In this paper, (i) we propose activity diagram patterns for modeling business processes, (ii) we devise a modular mechanism to compose diagram fragments into a UML activity diagram, and (iii) we propose a semantics for the produced activity diagrams, formalized by colored Petri nets. Our approach guides the modeler task (helping to avoid common mistakes), and allows for automated verification. © 2014 Springer International Publishing Switzerland. Source


Morro A.,DIBRIS
International Journal of Engineering Science | Year: 2014

Upon a review of the balance equations for a mixture, diffusion fluxes are shown to satisfy an evolution equation which, with slight differences, describes diffusion relative to a constituent or relative to the barycentric reference. As a consequence, the particular case of binary mixtures is considered with the view of establishing a connection with the current models. The fact that the diffusion flux is governed by a balance (evolution) equation is quite unusual in the literature since customary models are based on constitutive equations (Fick's law, Soret and Dufour models). This in turn motivates the analysis for a more appropriate thermodynamic setting. The second law for the whole mixture, along with some constitutive assumptions in classical (nonequilibrium) thermodynamics, is shown to provide the constitutive equations which are currently applied in the literature. Instead, the model of diffusion flux through a balance equation proves to be fully consistent with rational thermodynamics and the assumption that the functions, relative to a single constituent, depend on variables pertaining to that constituent whereas interaction terms are allowed to depend also on quantities pertaining to the other constituents. © 2014 Elsevier Ltd. All rights reserved. Source


Morro A.,DIBRIS
Journal of Elasticity | Year: 2016

A chemically reacting mixture of elastic solids is considered. As a constitutive assumption, the peculiar functions (such as the free energy, the entropy, and the stress) of a constituent are taken to be functions of a set of variables pertaining to that constituent. The interaction terms, namely the growth of mass, linear momentum, and energy, are allowed to depend on the set of variables pertaining to all of the constituents. While the dependence on the mass density is usually disregarded, the paper accounts also for such a dependence, which seems to be in order especially in connection with reacting mixtures where the mass densities change also in the reference configuration. The thermodynamic restrictions are derived by starting from the non-negative value of the sum of entropy growths and involving the properties of the peculiar functions. The results so obtained for stresses and chemical potentials are examined in connection with similar schemes (swelling solids). While the correct relations for the mass diffusion flux arise from balance equations, an analysis is given of whether and how Fick-type models are acceptable possibly depending on the fluid or solid character of the mixture. © 2015, Springer Science+Business Media Dordrecht. Source


Prestes E.,Federal University of Rio Grande do Sul | Carbonera J.L.,Federal University of Rio Grande do Sul | Rama Fiorini S.,Federal University of Rio Grande do Sul | M. Jorge V.A.,Federal University of Rio Grande do Sul | And 11 more authors.
Robotics and Autonomous Systems | Year: 2013

In this paper, we present the current results of the newly formed IEEE-RAS Working Group, named Ontologies for Robotics and Automation. In particular, we introduce a core ontology that encompasses a set of terms commonly used in Robotics and Automation along with the methodology we have adopted. Our work uses ISO/FDIS 8373 standard developed by the ISO/TC184/SC2 Working Group as a reference. This standard defines, in natural language, some generic terms which are common in Robotics and Automation such as robot, robotic device, etc. Furthermore, we discuss the ontology development process employed along with the problems and decisions taken. © 2013 Elsevier B.V. All rights reserved. Source


Masecchia S.,DIBRIS | Salzo S.,DIBRIS | Barla A.,DIBRIS | Verri A.,DIBRIS
ESANN 2013 proceedings, 21st European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning | Year: 2013

The starting point of our work is to devise a model for segmentation of aCGH data. We propose an optimization method based on dictionary learning and regularization and we compare it with a state- of-the-art approach, presenting our experimental results on synthetic data. Source

Discover hidden collaborations