Lightweight coarse-grained coordination: a scalable system-level approach

In this paper, our solution to the problem of modelling functionally complex communication systems at the application level, based on lightweight coordination, is extended to seamlessly capture system-level testing as well. This extension could be realized simply by self-application: the bulk of the work for integrating system-level testing into our development environment, the ABC, concerned domain modelling, which can be done using the ABC. Therefore, the extension of the ABC to cover system-level testing was merely an application development on the basis of the ABC, illustrated here in the domain of Computer Telephony Integration. Here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment, is the enabling aspect for system-level test automation. Together with our lightweight coordination approach this induces an understandable modelling paradigm of system-wide test cases that is adequate for the needs and requirements of industrial test engineers. In particular, it enables test engineers to graphically design complex test cases that, in addition, can even be automatically checked for their intended purposes via model checking.     

A constraint-based variability modeling framework

Constraint-based variability modeling is a flexible, declarative approach to managing solution-space variability. Product variants are defined in a top-down manner by successively restricting the admissible combinations of product artifacts until a specific product variant is determined. In this paper, we illustrate the range of constraint-based variability modeling by discussing two of its extreme flavors: constraint-guarded variability modeling and constraint-driven variability modeling. The former applies model checking to establish the global consistency of product variants which are built by manual specification of variations points, whereas the latter uses synthesis technology to fully automatically generate product variants that satisfy all given constraints. Each flavor is illustrated by means of a concrete case study.     

Service Engineering: Linking Business and IT

With its strong emphasis on modularization, service-oriented computing radically alters the way business processes are modeled, realized, and maintained. Domain-specific services virtualize complex functions of the underlying business applications so that they can be loosely coupled to form transorganizational processes. This level of abstraction fosters agility and lessens traditional provider dependence. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, visualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services     

Tool-supported enhancement of diagnosis in model-driven verification

We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing. We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate automatically generated winning strategies for the games, by this way exploring the connection between the property, the system, and the proof. This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at . This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007.     

Use of native species and biodegradable chelating agents in the phytoremediation of abandoned mining areas

BACKGROUND: The application of phytostabilization and assisted phytoextraction to the remediation of abandoned mining areas can be a valuable method to reclaim these areas without modifying soil and landscape characteristics. An in situ application of a continuous phytoextraction technique was carried out in the area of Campo Pisano (Sardinia, Italy), followed by a laboratory assisted phytoextraction test using the biodegradable chelating agents methylglycine diacetic acid (MGDA) and iminodissuccinic acid (IDSA). The plants used were Scrophularia canina subsp. bicolor, Cistus salviifolius and Teucrium flavum subsp. glaucum. RESULTS: The plant that accumulated more Pb was T. glaucum (353 mg kg^?1) while C. salviifolius demonstrated better ability to accumulate Zn (1560 mg kg^?1). S. bicolor showed a better tolerance to metals but accumulated 119 mg kg^?1 of Pb. Accumulation of metals immediately after chelant application was up to 300 mg kg^?1 of Pb and 3000 mg kg^?1 of Zn which did not further increase during the assisted phytoextraction experiment. CONCLUSION: The plant that demonstrated to be most suitable for phytoremediation application was S. bicolor due to its higher biomass production and tolerance to metals. The low cation exchange capacity and the high concentration of Ca and Mg in soil determined a low chelant effectiveness. Copyright © 2009 Society of Chemical Industry     

Relevant chiroptical and thermal properties in optically active methacrylic copolymers containing carbazole and azoaromatic chromophores in the side-chain

Novel optically active methacrylic copolymers, bearing carbazole and azoaromatic moieties linked to the main chain with a rigid (S)-hydroxysuccinimide residue of one prevailing absolute configuration, have been prepared and characterized with the aim to establish the effects of the chiral group and of the dipolar interactions between the two side-chain chromophores on their properties.In particular, the observed chiroptical properties suggest the presence of ordered chiral conformations at least for chain segments of the macromolecules. Spectroscopic, thermal and chiroptical characterizations of these copolymers demonstrate the occurrence of significant electronic interactions between carbazole chromophores and azobenzene moieties. These interactions are related to the unusual partially alternating structure of the investigated copolymers and the relevant chiroptical and thermal properties. In fact, the polymeric derivates show high glass transition temperatures and good thermal stability, thus opening the way to a variety of potential applications based on photoconductive and optoelectronic properties.