Formal Verification and Validation of UML 2.0 Sequence Diagrams using Source and Destination of Messages

AbstractA major challenge in software development process is to advance error detection to early phases of the software life cycle. For this purpose, the Verification and Validation (V&V) of UML diagrams play a very important role in detecting flaws at the design phase. It has a distinct importance for software security, where it is crucial to detect security flaws before they can be exploited. This paper presents a formal V&V technique for one of the most popular UML diagrams: sequence diagrams. The proposed approach creates a PROMELA-based model from UML interactions expressed in sequence diagrams, and uses SPIN model checker to simulate the execution and to verify properties written in Linear Temporal Logic (LTL). The whole technique is implemented as an Eclipse plugin, which hides the model-checking formalism from the user. The main contribution of this work is to provide an efficient mechanism to be able to track the execution state of an interaction, which allows designers to write relevant properties involving send/receive events and source/destination of messages using LTL. Another important contribution is the definition of the PROMELA structure that provides a precise semantics of most of the newly UML 2.0 introduced combined fragments, allowing the execution of complex interactions. Finally, we illustrate the benefits of our approach through a security-related case study in a real world scenario

Retention and diffusion of radioactive and toxic species on cementitious systems: Main outcome of the CEBAMA project

Cement-based materials are key components in radioactive waste repository barrier systems. To improve the available knowledge base, the European CEBAMA (Cement-based materials) project aimed to provide insight on general processes and phenomena that can be easily transferred to different applications. A bottom up approach was used to study radionuclide retention by cementitious materials, encompassing both individual cement mineral phases and hardened cement pastes. Solubility experiments were conducted with Be, Mo and Se under high pH conditions to provide realistic solubility limits and radionuclide speciation schemes as a prerequisite for meaningful adsorption studies. A number of retention mechanisms were addressed including adsorption, solid solution formation and precipitation of radionuclides within new solid phases formed during cement hydration and evolution. Sorption/desorption experiments were carried out on several anionic radionuclides and/or toxic elements which have received less attention to date, namely: Be, Mo, Tc, I, Se, Cl, Ra and 14C. Solid solution formation between radionuclides in a range of oxidation states (Se, I and Mo) with the main aqueous components (OH−, SO4 −2, Cl−) of cementitious systems on AFm phases were also investigated

Contribution to the development of sustainable synthesis of the adipic acid

SSCI-VIDE+CDFA+LMH:NESNational audienceL.Mouheba, b, c, N. Essayemc, L. Dermechea, b et C. Rabiab a : Département de Chimie, Facultés des Sciences, Université Mouloud Mammeri, Tizi-Ouzou, Algérie.b : Laboratoire de Chimie du Gaz Naturel, Faculté de Chimie, USTHB, BP32, El-Alia, 16111Bab-Ezzouar, Alger, Algérie.c : Institut de recherche sur la catalyse et l’environnement, CNRS 2 Avenue Albert Einstein, 69100 Villeurbanne, Lyon, France.E-mail : [email protected] order to minimize the negative chemical impact on the environment, the efforts were gathered for the valorization of renewable resources and in the search of a more ecological and economic synthesis processes.In the current chemical industry, adipic acid, an important precursor in the nylon production, is obtained from oxidation of a mixture of cyclohexanone and cyclohexanol by nitric acid [1, 2]. However, the nitric acid reduction leads to nitrogen oxides gases as by-products. Among them, N2O is produced, contributing to global warming and ozone depletion [3, 4]. The challenge is to find a cleaner method of AA synthesis [5].In this context, the purpose of our work is to develop a sustainable catalytic synthesis of adipic acid, based on the use of a greener oxidant, H2O2 and POM as catalysts .The best yield of adipic acid, 59%, was obtained with H1Sn1PMo12; this chemical composition provides an acidic centers necessary for required cleavage of the C-C bond of the substrate as well as a oxidizing sites favoring the formation of AA with the oxidation of terminal carbons. Bifunctional POM, with acid and redox sites, appear as catalytic systems of high potential which might substitute the use of nitric acid oxidant in the AA synthesis. These results are very promising and emphasize our contribution to the development of a way for sustainable synthesis of adipic acid, using POM catalyst and H2O2 as green oxidant.References[1] AF. Lindsay, Nitric acid oxidation design in the manufacture of adipic acid from cyclohexanol and cyclohexanone, Spec Suppl Chem Eng Sci. 1954, (8), 78.[2] A. Castellan, JCJ. Bart and S. Cavallaro, Nitric acid reaction of cyclohexanol to adipic acid, Catal Today. 1991, (9), 255.[3] van Duren and al. Biotechnology and bioengineering, 2011, (108) 1298-1306. [4] Polen and al. Journal of Biotechnology, 2013, (167), 75-84.[5] K. Nomiya, M. Miwa, Y. Sugaya, Catalysis by heteropolyacid-VII. Catalytic oxidation of cyclohexanol by dodecamolybdate, Polyhedron, 1984, (3), 607-610

Contribution to the development of sustainable synthesis of the adipic acid

SSCI-VIDE+CDFA+LMH:NESNational audienceL.Mouheba, b, c, N. Essayemc, L. Dermechea, b et C. Rabiab a : Département de Chimie, Facultés des Sciences, Université Mouloud Mammeri, Tizi-Ouzou, Algérie.b : Laboratoire de Chimie du Gaz Naturel, Faculté de Chimie, USTHB, BP32, El-Alia, 16111Bab-Ezzouar, Alger, Algérie.c : Institut de recherche sur la catalyse et l’environnement, CNRS 2 Avenue Albert Einstein, 69100 Villeurbanne, Lyon, France.E-mail : [email protected] order to minimize the negative chemical impact on the environment, the efforts were gathered for the valorization of renewable resources and in the search of a more ecological and economic synthesis processes.In the current chemical industry, adipic acid, an important precursor in the nylon production, is obtained from oxidation of a mixture of cyclohexanone and cyclohexanol by nitric acid [1, 2]. However, the nitric acid reduction leads to nitrogen oxides gases as by-products. Among them, N2O is produced, contributing to global warming and ozone depletion [3, 4]. The challenge is to find a cleaner method of AA synthesis [5].In this context, the purpose of our work is to develop a sustainable catalytic synthesis of adipic acid, based on the use of a greener oxidant, H2O2 and POM as catalysts .The best yield of adipic acid, 59%, was obtained with H1Sn1PMo12; this chemical composition provides an acidic centers necessary for required cleavage of the C-C bond of the substrate as well as a oxidizing sites favoring the formation of AA with the oxidation of terminal carbons. Bifunctional POM, with acid and redox sites, appear as catalytic systems of high potential which might substitute the use of nitric acid oxidant in the AA synthesis. These results are very promising and emphasize our contribution to the development of a way for sustainable synthesis of adipic acid, using POM catalyst and H2O2 as green oxidant.References[1] AF. Lindsay, Nitric acid oxidation design in the manufacture of adipic acid from cyclohexanol and cyclohexanone, Spec Suppl Chem Eng Sci. 1954, (8), 78.[2] A. Castellan, JCJ. Bart and S. Cavallaro, Nitric acid reaction of cyclohexanol to adipic acid, Catal Today. 1991, (9), 255.[3] van Duren and al. Biotechnology and bioengineering, 2011, (108) 1298-1306. [4] Polen and al. Journal of Biotechnology, 2013, (167), 75-84.[5] K. Nomiya, M. Miwa, Y. Sugaya, Catalysis by heteropolyacid-VII. Catalytic oxidation of cyclohexanol by dodecamolybdate, Polyhedron, 1984, (3), 607-610

Keggin-Type Mixed Polyoxomolybdates Catalyzed Cyclohexanone Oxidation by Hydrogen Peroxide: In Situ IR Pyridine Adsorption

SSCI-VIDE+CDFA+NESInternational audiencePolyoxometalate

Clean Adipic Acid Synthesis from Liquid-Phase Oxidation of Cyclohexanone and Cyclohexanol Using (NH4)(x)A(y)PMo(12)O(40) (A: Sb, Sn, Bi) Mixed Heteropolysalts and Hydrogen Peroxide in Free Solvent

SSCI-VIDE+CDFA+LMH:NESInternational audienceOxidatio

Applicabilité du concept d'analyse du cycle de vie à l'agriculture irriguée avec des eaux usées traitées, l'exemple de Tipaza, Algérie

International audienceAlgeria is in the category of water-scarce countries according to the scarcity threshold set by the United Nations Development Program (UNDP) or the World Bank, which is 1,000 cubic meters per capita and year. The resource is currently estimated at 500 m3 and will only be 430 m3 in 2020, according GIECC projections. Accessible resources in Algeria are estimated at 18 billion m3, of which 10 billion are superficial resources (MRE, 2015). Agriculture is the largest consumer of water using about 64% of total water resources (Benmouffok, 2004). The controlled reuse of treated wastewater (Reuse) is seen as a solution for the future, requiring the implementation of a new interdisciplinary approach. These practices may impact the environment and a life-cycle analysis (LCA) approach makes it possible to understand and evaluate the technological options with regard to their respective impacts

Short-term effect of reclaimed wastewater quality gradient on soil microbiome during irrigation

International audienceTo investigate the effect of wastewater (WW) treatment on soil bacterial communities, water of different quality was used to irrigate eight lettuces per tank: raw municipal wastewater (RWW), WW treated with an aerated constructed wetland (CWW) and WW treated with a membrane bioreactor (MBW), and tap water (TW). The physicochemical and microbiological characteristics (quality indicators) of these water types were characterized, and the water and soil bacterial communities were monitored by quantitative PCR (qPCR) and 16S rRNA gene sequencing. Despite marked differences in microbial load and diversity of waters, soil communities remained remarkably stable after irrigation. Microbial biomass was increased only in soils irrigated with RWW. At the end of the irrigation period (day 84), soil and water shared a large fraction of their bacterial communities, from 43 % to 70 %, depending on the water quality, indicating a transfer of bacterial communities from water to soil. Overall, the relative abundance of Proteobacteria and Acidobacteria was increased and that of Actinobacteria was decreased in soils irrigated with MBW, CWW and even more with RWW. Multivariate ordination clearly separated soils in three groups: soils irrigated with the cleanest water (TW), with treated WW (MBW and CWW), and with untreated WW (RWW). Nitrifying, denitrifying, and nitrogen-fixing bacteria were quantified by qPCR targeting amoA, narG, and nifH, respectively. Nitrifying bacteria were the most affected by the water quality, as indicated by amoA copy number increase in RWW-irrigated soil and decrease in CWW-irrigated soil. Overall, the abundance of all three genes was positively influenced by RWW treatment. In conclusion, the 84 days of irrigation influenced the soil microbial communities, and the impact depended on the quality of the used water