COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications

Discovering coordination patterns

A large and growing amount of software systems rely on non-trivial coordination logic for making use of third party services or components. Therefore, it is of outmost importance to understand and capture rigorously this continuously growing layer of coordination as this will make easier not only the veri cation of such systems with respect to their original speci cations, but also maintenance, further development, testing, deployment and integration. This paper introduces a method based on several program analysis techniques (namely, dependence graphs, program slicing, and graph pattern analysis) to extract coordination logic from legacy systems source code. This process is driven by a series of pre-de ned coordination patterns and captured by a special purpose graph structure from which coordination speci cations can be generated in a number of di erent formalisms

Domain-Specific Language for Coordination patterns

The integration and composition of software systems requires a good architectural design phase to speed up communications between (remote) components. However, during implementation phase, the code to coordinate such components often ends up mixed in the main business code. This leads to maintenance problems, raising the need for, on the one hand, separating the coordination code from the business code, and on the other hand, providing mechanisms for analysis and comprehension of the architectural decisions once made. In this context our aim is at developing a domain-specific language, CoordL, to describe typical coordination patterns. From our point of view, coordination patterns are abstractions, in a graph form, over the composition of coordination statements from the system code. These patterns would allow us to identify, by means of pattern-based graph search strategies, the code responsible for the coordination of the several components in a system. The recovering and separation of the architectural decisions for a better comprehension of the software is the main purpose of this pattern language

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation

Extracting and verifying coordination models from source code

Current software development relies increasingly on non-trivial coordination logic for com- bining autonomous services often running on di erent platforms. As a rule, however, in typical non-trivial software systems, such a coordination layer is strongly weaved within the application at source code level. Therefore, its precise identi cation becomes a major methodological (and technical) problem which cannot be overestimated along any program understanding or refactoring process. Open access to source code, as granted in OSS certi cation, provides an opportunity for the devel- opment of methods and technologies to extract, from source code, the relevant coordination information. This paper is a step in this direction, combining a number of program analysis techniques to automatically recover coordination information from legacy code. Such information is then expressed as a model in Orc, a general purpose orchestration language

Molybdenum Complexes Bearing the Tris(1-pyrazolyl)methanesulfonate Ligand: Synthesis, Characterization and Electrochemical Behaviour

The tris(1-pyrazolyl)methanesulfonate lithium salt Li(Tpms) [Tpms = SO3C(pz)(3)-] reacts with [Mo(CO)(6)] in NCMe heated at reflux to yield Li[Mo(Tpms)(CO)(3)] (1), which, upon crystallization from thf, forms the coordination polymer [Mo(Tpms)(CO)(2)(mu-CO)Li(thf)(2)](n) (2). Reaction of 1 with I-2, HBF4 or AgBF4 yields [Mo(Tpms)I(CO)(3)] (3), (Mo(Tpms)-H(CO)(3)] (5) or (Mo(Tpms)O-2](2)(mu-O) (7), respectively. The high-oxidation-state dinuclear complexes [{Mo(Tpms)O(mu-O)}(2)] (4) and [{Mo(tpms)OCl)(2)](mu-O) (6) are formed upon exposure to air of solutions of 3 and 5, respectively. Compounds 1-7, which appear to be the first tris(pyrazolyl)methanesulfonate complexes of molybdenum to be reported, were characterized by IR, H-1 and C-13 NMR spectroscopy, ESI-MS, elemental analysis, cyclic voltammetry and, in the cases of Li(Tpms) and compounds 2, 4.2CH(3)CN, 6.6CHCl(3) and 7, by X-ray diffraction analyses. Li(Tpms) forms a 1D polymeric structure (i.e., [Li(tpms)](n)} with Tpms as a tetradentate N2O2 chelating ligand that bridges two Li cations with distorted tetrahedral coordination. Compound 2 is a 1D coordination polymer in which Tpms acts as a bridging tetradentate N3O ligand and each Li(thf)(2)(+) moiety is coordinated by one bridging CO ligand and by the sulfonyl group of a contiguous monomeric unit. In 4, 6 and 7, the Tpms ligand is a tridentate chelator either in the NNO (in 4) or in the NNN (in 6 and 7) fashion. Complexes 1, 3 and 5 exhibit, by cyclic voltammetry, a single-electron oxidation at oxidation potential values that indicate that the Tpms ligand has an electron-donor character weaker than that of cyclopentadienyl.

Synthesis, characterization and redox behaviour of benzoyldiazenido- and oxorhenium complexes bearing N,N- and S,S-type ligands

The reactions of [ReCl2{eta(2)-N2C(O)Ph}(PPh3)(2)](1) with 2-aminopyrimidine (H(2)Npyrm), 2,2'-bipyridine (bpy) and tetraethylthiuram disulfide (tds), in MeOH upon reflux, lead to the new eta(1)-(benzoyldiazenido)-rhenium(III) complexes [ReCl{eta(1)-N2C(O)Ph}(HNpyrm)(PPh3)(2)](2)and [ReCl2{eta(1)-N2C(O)Ph}(bpy)(PPh3)] (3), and the known oxo(diethyldithiocarbamato)dirhenium(v)complex [Re2O2(mu O){Et2NC(S)S}(4)](4), respectively. The Et2NC(S)S ligands in 4 result from S-S bond rupture of tds molecules. The obtained compounds have been characterized by IR, H-1, P-31{H-1} and C-13{H-1} NMR spectroscopies, FAB(+)-MS, elemental and single-crystal X-ray diffraction (for 2 and 4)analyses. Complex 2 represents the first structurally characterized Re compound derived from 2-aminopyrimidine. Besides, the redox behaviour of 2-4 in CH2Cl2 solution has been studied by cyclic voltammetry, and the Lever electrochemical ligand parameter (E-L)has been estimated, for the first time, for HNpyrm. The electrochemical results are discussed in terms of electronic properties of the Re centres and the ligands.

Copper Bis(oxazoline) Encapsulated in Zeolites and Its Application as Heterogeneous Catalysts for the Cyclopropanation of Styrene

A copper C(2)-symmetric bis(oxazoline), CuBox, was introduced in two forms of commercial Y zeolite: a sodium form (NaY) and an ultrastable form (NaUSY). CuBox was introduced by first partially exchanging the sodium cations of both zeolites for copper and then by refluxing the obtained materials with a solution of bis(oxazoline) (Box). Two different loadings were prepared for each form of zeolite. The materials were characterized by copper ICP-AES, elemental analysis, XPS, FTIR, TG, and nitrogen adsorption isotherms at -196 degrees C. Evidence for Box ligand location in the supercages of NaY and NaUSY zeolites and its coordination to the exchanged copper(II) was obtained by the several techniques used. The materials were all active in the cyclopropanation of styrene with ethyldiazoacetate at room temperature and diastereoselective toward trans cydopropanes. Although the materials containing Box showed low enantioselectivities, their catalytic activities were higher than the parent copper exchanged zeolites, and did not decrease with reuse, at least during three consecutive cycles.

Coordination between mid-term maintenance outage decisions and short-term security-constrained scheduling in smart distribution systems

Distribution systems are the first volunteers experiencing the benefits of smart grids. The smart grid concept impacts the internal legislation and standards in grid-connected and isolated distribution systems. Demand side management, the main feature of smart grids, acquires clear meaning in low voltage distribution systems. In these networks, various coordination procedures are required between domestic, commercial and industrial consumers, producers and the system operator. Obviously, the technical basis for bidirectional communication is the prerequisite of developing such a coordination procedure. The main coordination is required when the operator tries to dispatch the producers according to their own preferences without neglecting its inherent responsibility. Maintenance decisions are first determined by generating companies, and then the operator has to check and probably modify them for final approval. In this paper the generation scheduling from the viewpoint of a distribution system operator (DSO) is formulated. The traditional task of the DSO is securing network reliability and quality. The effectiveness of the proposed method is assessed by applying it to a 6-bus and 9-bus distribution system.

Trends in properties of para-substituted 3-(phenylhydrazo)pentane-2,4-diones

Trends between the Hammett's sigma(p) and related normal sigma(n)(p), inductive sigma(I), resonance sigma(R), negative sigma(-)(p) and positive sigma(+)(p) polar conjugation and Taft's sigma(o)(p) substituent constants and the N-H center dot center dot center dot O distance, delta(N-H) NMR chemical shift, oxidation potential (E-p/2(ox), measured in this study by cyclic voltammetry (CV)) and thermodynamic parameters (pK, Delta G(0), Delta H-0 and Delta S-0) of the dissociation process of unsubstituted 3-(phenylhydrazo)pentane-2,4-dione (HL1) and its para-substituted chloro (HL2), carboxy (HL3), fluoro (HL4) and nitro (HL5) derivatives were recognized. The best fits were found for sigma(p) and/or sigma(-)(p) in the cases of d(N center dot center dot center dot O), delta(N-H) and E-p/2(ox), showing the importance of resonance and conjugation effects in such properties, whereas for the above thermodynamic properties the inductive effects (sigma(I)) are dominant. HL2 exists in the hydrazo form in DMSO solution and in the solid state and contains an intramolecular H-bond with the N center dot center dot center dot O distance of 2.588(3)angstrom. It was also established that the dissociation process of HL1-5 is non-spontaneous, endothermic and entropically unfavourable, and that the increase in the inductive effect (sigma(I)) of para-substitutents (-H < -Cl < -COOH < -F < -NO2) leads to the corresponding growth of the N center dot center dot center dot O distance and decrease of the pK and of the changes of Gibbs free energy, of enthalpy and of entropy for the HL1-5 acid dissociation process. The electrochemical behaviour of HL1-5 was interpreted using theoretical calculations at the DFT/HF hybrid level, namely in terms of HOMO and LUMO compositions, and of reactivities induced by anodic and cathodic electron-transfers. Copyright (C) 2010 John Wiley & Sons, Ltd.

Comparison of Py-GC/FID and Wet Chemistry Analysis for Lignin Determination in Wood and Pulps from Eucalyptus globulus

The kraft pulps produced from heartwood and sapwood of Eucalyptus globulus at 130 degrees C, 150 degrees C, and 170 degrees C were characterized by wet chemistry (total lignin as sum of Klason and soluble lignin fractions) and pyrolysis (total lignin denoted as py-lignin). The total lignin content obtained with both methods was similar. In the course of delignification, the py-lignin values were higher (by 2 to 5%) compared to Klason values, which is in line with the importance of soluble lignin for total lignin determination. Pyrolysis analysis presents advantages over wet chemical procedures, and it can be applied to wood and pulps to determine lignin contents at different stages of the delignification process. The py-lignin values were used for kinetic modelling of delignification, with very high predictive value and results similar to those of modelling using wet chemical determinations.

Homogeneous and heterogenised new gold C-scorpionate complexes as catalysts for cyclohexane oxidation

Gold(III) complexes of type [AuCl2{eta(2)-RC(R'pz)(3)}]Cl [R = R' = H (1), R = CH2OH, R' = H (2) and R = H, R' = 3,5-Me-2(3), pz = pyrazol-1-yl] were supported on carbon materials (activated carbon, carbon xerogel and carbon nanotubes) and used for the oxidation of cyclohexane to cyclohexanol and cyclohexanone, with aqueous H2O2, under mild conditions.

Interlimb coordination during the stance phase of gait in subjects with stroke

Objective: To analyze the relation between contralesional and ipsilesional limbs in subjects with stroke during step-to-step transition of walking. Design: Observational, transversal, analytical study with a convenience sample. Setting: Physical medicine and rehabilitation clinic. Participants: Subjects (nZ16) with poststroke hemiparesis with the ability to walk independently and healthy controls (nZ22). Interventions: Not applicable. Main Outcome Measures: Bilateral lower limbs electromyographic activity of the soleus (SOL), gastrocnemius medialis, tibialis anterior, biceps femoris, rectus femoris, and vastus medialis (VM) muscles and the ground reaction force were analyzed during double-support and terminal stance phases of gait. Results: The propulsive impulse of the contralesional trailing limb was negatively correlated with the braking impulse of the leading limb during double support (rZ .639, PZ.01). A moderate functional relation was observed between thigh muscles (rZ .529, PZ.035), and a strong and moderate dysfunctional relation was found between the plantar flexors of the ipsilesional limb and the vastus medialis of the contralesional limb, respectively (SOL-VM, rZ .80, P<.001; gastrocnemius medialis-VM, rZ .655, PZ.002). Also, a functional moderate negative correlation was found between the SOL and rectus femoris muscles of the ipsilesional limb during terminal stance and between the SOL (rZ .506, PZ.046) and VM (rZ .518, PZ.04) muscles of the contralesional limb during loading response, respectively. The trailing limb relative impulse contribution of the contralesional limb was lower than the ipsilesional limb of subjects with stroke (PZ.02) and lower than the relative impulse contribution of the healthy limb (PZ.008) during double support. Conclusions: The findings obtained suggest that the lower performance of the contralesional limb in forward propulsion during gait is related not only to contralateral supraspinal damage but also to a dysfunctional influence of the ipsilesional limb.

A feedback-based decentralised coordination model for distributed open real-time systems

Moving towards autonomous operation and management of increasingly complex open distributed real-time systems poses very significant challenges. This is particularly true when reaction to events must be done in a timely and predictable manner while guaranteeing Quality of Service (QoS) constraints imposed by users, the environment, or applications. In these scenarios, the system should be able to maintain a global feasible QoS level while allowing individual nodes to autonomously adapt under different constraints of resource availability and input quality. This paper shows how decentralised coordination of a group of autonomous interdependent nodes can emerge with little communication, based on the robust self-organising principles of feedback. Positive feedback is used to reinforce the selection of the new desired global service solution, while negative feedback discourages nodes to act in a greedy fashion as this adversely impacts on the provided service levels at neighbouring nodes. The proposed protocol is general enough to be used in a wide range of scenarios characterised by a high degree of openness and dynamism where coordination tasks need to be time dependent. As the reported results demonstrate, it requires less messages to be exchanged and it is faster to achieve a globally acceptable near-optimal solution than other available approaches.

Wind-CSP short-term coordination by MILP approach

This paper is on the maximization of total profit in a day-ahead market for a price-taker producer needing a short-term scheduling for wind power plants coordination with concentrated solar power plants, having thermal energy storage systems. The optimization approach proposed for the maximization of profit is a mixed-integer linear programming problem. The approach considers not only transmission grid constraints, but also technical operating constraints on both wind and concentrated solar power plants. Then, an improved short-term scheduling coordination is provided due to the more accurate modelling presented in this paper. Computer simulation results based on data for the Iberian wind and concentrated solar power plants illustrate the coordination benefits and show the effectiveness of the approach.