Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B

International audienceThis paper introduces a formal architecture-centric approach, which allows first to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. We implement our approach under the Rodin platform which we use to prove model consistency

An Approach for Modeling and Formalizing SOA Design Patterns

11 pagesInternational audienceAlthough design patterns has become increasingly popular, most of them are presented in an informal way, which can give rise to ambiguity and may lead to their incorrect usage. Patterns proposed by the SOA design pattern community are described with informal visual notations. Modeling SOA design patterns with a standard formal notation contributes to avoid misunderstanding by software architects and helps endowing design methods with refinement approaches for mastering system architectures complexity. In this paper, we present a formal architecture-centric approach that aims, first, to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction patternbased software architectures. Our approach is experimented through an example we present in this paper. We implemented our approach under the Rodin platform, which we use to prove model consistency

Towards an Approach for Modeling and Formalizing SOA Design Patterns with Event-B

International audienceThis paper introduces a formal architecture-centric approach, which allows first to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the Event-B method. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. We implement our approach under the Rodin platform which we use to prove model consistency

Modeling and refinement SOA design patterns with Event-B method

20 pagesUsing design patterns has become increasingly popular. Most design patterns are proposed in an informal way, which can give rise to ambiguity and may lead to incorrect usage. Patterns, proposed by the SOA design pattern community, are described with an appropriate notation. So they require modeling with a standard notation and then formalization. In this paper, we propose a formal architecture-centric approach that aims first to model message-oriented SOA design patterns with the SoaML standard language and second to formally specify these patterns at a high level of abstraction using the Event-B language. These two steps are performed before undertaking the effective coding of a design pattern providing correct by design solutions. Our approach is experimented through an example we present in this paper. We implemented our approach under the Rodin platform which we use to prove model consistency

A Refinement-Based Approach for Building Valid SOA Design Patterns

Although design patterns have become increasingly popular, most of them are proposed in an informal way, which can give rise to ambiguity and may lead to their incorrect usage. Patterns proposed by the SOA design pattern community are described with informal visual notations. Modeling SOA design patterns with a standard formal notation contributes to avoid misunderstanding by software architects and helps endowing design methods with refinement approaches for mastering system architectures complexity. In this paper, we present a formal refinement-based approach that aims, rst, to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a highlevel of abstraction using the Event-B method. These two steps are performed before under-taking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is experimented through an example we present in thispaper. We implemented our approach under the Rodin platform, which we use to prove model consistency

Synthesis of silver nanoparticles using Bacillus velezensis M3-7 lipopeptides: Enhanced antifungal activity and potential use as a biocontrol agent against Fusarium crown rot disease of wheat seedlings

Bacillus velezensis M3-7 is a hyperactive mutant, 12-fold improved in its antifungal activity, obtained during a previous study from the wild strain BLB371 after a combination of random mutagenesis and medium component optimization. This study explores the use of this mutant in synthesizing silver nanoparticles (Ag-NPs) for the control of Fusarium crown rot disease (FCR) in wheat seedlings. LC-MS/MS analysis proved that both strains co-produced different families of lipopeptides and that mutagenesis caused the hyper-production of iturin A C14 and C15, the liberation of iturin A C10 and C12, and the inhibition of fengycin release. Our aim was a further improvement in the antifungal activity of the wild strain and the mutant M3-7 in order to control Fusarium crown rot disease (FCR) in wheat seedlings. Therefore, a nanotechnology approach was adopted, and different lipopeptide concentrations produced by the wild strain and the mutant M3-7 were used as capping agents to synthesize silver nanoparticles (Ag-NPs) with enhanced antifungal activity. Ag-NPs formed using 3 mg·mL−1 of the mutant lipopeptides were found to exhibit a good distribution, improved antifungal activity, a promising potential to be used as a biofortified agent for seed germination, and an effective compound to control FCR in wheat seedlings.This work was supported by grants from the Tunisian Ministry of Higher Education and Scientific Research. This research was supported in part by the Centre for Sustainable Development, Qatar University. TEM analysis was accomplished in the Central Laboratories unit, Qatar University. Open Access funding provided by the Qatar National Library

A refinement-based approach for specifying multi-scale software architectures

International audienc

Using SoaML Models and Event-B Specifications for Modeling SOA Design Patterns

International audienceAlthough design patterns have become increasingly popular, most of them are presented in an informal way. Patterns, proposed by the SOA design pattern community, are described with a proprietary informal notation, which can raise ambiguity and may lead to their incorrect usage. Modeling SOA design patterns with a standard formal notation avoids misunderstanding by software architects and helps endow design methods. In this paper, we present an approach that aims, first, to model message-oriented SOA design patterns with the SoaML language, and second to transform them to Event-B specifications. These two steps are performed before undertaking the effective coding of a design pattern providing correct by construction pattern-based software architectures. Our approach is enhanced with a tool supporting it. Specification results are imported under the Rodin platform which we use to prove model consistency

Effect of heavy metals mixture on the growth and physiology of Tetraselmis sp.: Applications to lipid production and bioremediation

International audienc