Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Is the unfolding of the group discussion off-pattern? Improving coordination support in educational forums using mobile devices

A forum is a valuable tool to foster reflection in an in-depth discussion; however, it forces the course mediator to continually pay close attention in order to coordinate learners` activities. Moreover, monitoring a forum is time consuming given that it is impossible to know in advance when new messages are going to be posted. Additionally, a forum may be inactive for a long period and suddenly receive a burst of messages forcing forum mediators to frequently log on in order to know how the discussion is unfolding to intervene whenever it is necessary. Mediators also need to deal with a large amount of messages to identify off-pattern situations. This work presents a piece of action research that investigates how to improve coordination support in a forum using mobile devices for mitigating mediator`s difficulties in following the status of a forum. Based on summarized information extracted from message meta-data, mediators consult visual information summaries on PDAs and receive textual notifications in their mobile phone. This investigation revealed that mediators used the mobile-based coordination support to keep informed on what is taking place within the forum without the need to log on their desktop computer. (C) 2009 Elsevier Ltd. All rights reserved.

Towards a Methodology for Coordination Mechanism Selection in Open Systems

Agent-oriented software engineering (AOSE) is a promising approach to developing applications for dynamic open systems. If well developed, these applications can be opportunistic, taking advantage of services implemented by other developers at appropriate times. However, methodologies are needed to aid the development of systems that are both flexible enough to be opportunistic and tightly defined by the application requirements. In this paper, we investigate how developers can choose the coordination mechanisms of agents so that the agents will best fulfil application requirements in an open system.

Novel catalyst systems based on Ni(II), Ti(IV), and Cr(III) complexes for oligo-and polymerization of ethylene

The complex of Brookhart Ni(α-diimine)Cl2 (1) (α-diimine = 1,4-bis(2,6- diisopropylphenyl)-acenaphthenediimine) has been characterized after impregnation on silica (S1) and MAO-modified silicas (4.0, 8.0 and 23.0 wts.% Al/SiO2 called S2, S3 and S4, respectively). The treatment of these heterogeneous systems with MAO produces some active catalysts for the polymerization of the ethylene. A high catalytic activity has been gotten while using the system supported 1/S3 (196 kg of PE/mol[Ni].h.atm; toluene, Al/Ni = 1000, 30ºC, 60 min and atmospheric pressure of ethylene). The effects of polymerization conditions have been tested with the catalyst supported in S2 and the best catalytic activity has been gotten with solvent hexane, MAO as cocatalyst, molar ratio Al/Ni of 1000 and to the temperature of 30°C (285 kg of PE/mol[Ni].h.atm). When the reaction has been driven according to the in situ methodology, the activity practically doubled and polymers showed some similar properties. Polymers products by the supported catalysts showed the absence of melting fusion, results similar to those gotten with the homogeneous systems by DSC analysis. But then, polymers gotten with the transplanted system present according to the GPC’s curves the polydispersity (MwD) varies between 1.7 and 7.0. A polyethylene blend (BPE/LPE) was prepared using the complex Ni(α-diimine)Cl2 (1) (α-diimine = 1,4-bis(2,6-diisopropylphenyl)-acenaphthenediimine) and {TpMs*}TiCl3 (2) (TpMs* = hydridobis(3-mesitylpyrazol-1-yl)(5-mesitylpyrazol-1-yl)) supported in situ on MAO-modified silica (4.0 wts. -% Al/SiO2, S2). Reactions of polymerization of ethylene have been executed in the toluene in two different temperatures (0 and 30°C), varying the molars fraction of nickel (xNi), and using MAO as external cocatalyst. To all temperatures, the activities show a linear variation tendency with xNi and indicate the absence of the effect synergic between the species of nickel and the titanium. The maximum of activity have been found at 0°C. The melting temperature for the blends of polyethylene produced at 0 °C decrease whereas xNi increases indicating a good compatibility between phases of the polyethylene gotten with the two catalysts. The melting temperature for the blends of polyethylene showed be depend on the order according to which catalysts have been supported on the MAO-modified silica. The initial immobilization of 1 on the support (2/1/S2) product of polymers with a melting temperature (Tm) lower to the one of the polymer gotten when the titanium has been supported inicially (1/2/S2). The observation of polyethylenes gotten with the two systems (2/1/S2 and 1/2/S2) by scanning electron microscopy (SEM) showed the spherical polymer formation showing that the spherical morphology of the support to been reproduced. Are described the synthesis, the characterization and the catalytic properties for the oligomerization of the ethylene of four organometallics compounds of CrIII with ligands ([bis[2-(3,5-dimethyl-1-pyrazolyl)ethyl]amine] chromium (III) chloride (3a), [bis[2-(3,5- dimethyl-l-pyrazolyl)ethyl]benzylamine] chromium (III) chloride (3b), [bis[2-(3,5-dimethyl-lpyrazolyl) ethyl]ether] chromiun(III)chloride (3c), [bis[2-(3-phenyl-lpyrazolyl) ethyl]ether]chromiun(III)chloride (3d)). In relation of the oligomerization, at exception made of the compounds 3a, all complex of the chromium showed be active after activation with MAO and the TOF gotten have one effect differentiated to those formed with CrCl3(thf)3. The coordination of a tridentate ligand on the metallic center doesn't provoke any considerable changes on the formation of the C4 and C6, but the amount of C8 are decrease and the C10 and C12+ have increased. The Polymers produced by the catalyst 3a to 3 and 20 bar of ethylene have, according to analyses by DSC, the temperatures of fusion of 133,8 and 136ºC respectively. It indicates that in the two cases the production of high density polyethylene. The molar mass, gotten by GPC, is 46647 g/mols with MwD = 2,4 (3 bar). The system 3c/MAO showed values of TOF, activity and selectivity to different α-olefins according to the pressure of ethylene uses. Himself that shown a big sensibility to the concentration of ethylene solubilized.

The effect of options on coordination

This paper studies how constraints on the timing of actions affect equilibrium in intertemporal coordination problems. The model exhibits a unique symmetric equilibrium in cut-o¤ strategies. The risk-dominant action of the underlying one-shot game is selected when the option to delay effort is commensurate with the option to wait longer for others' actions. The possibility of waiting longer for the actions of others enhances coordination, but the option of delaying one s actions can induce severe coordination failures: if agents are very patient, they might get arbitrarily low expected payoffs even in cases where coordination would yield arbitrarily large returns.

Coordination in the use of money

Fundamental models of money, while explicit about the frictions that render money essential, are silent on how agents actually coordinate in its use. This paper studies this coordination problem, providing an endogenous map between the primitives of the environment and the beliefs on the acceptability of money. We show that an increase in the frequency of trade meetings, besides its direct impact on payo¤s, facilitates coordination. In particular, for a large enough frequency of trade meetings, agents always coordinate in the use of money.

Investment coordination failures and the confidence channel of fiscal policy

Este trabalho desenvolve um novo "canal de Confiança" da política fiscal e caracteriza a política ótima quando esse canal é levado em consideração. Para esse objetivo, utilizamos um modelo estático com (i) concorrência monopolística, (ii) custos de ajustamento fixos para investir, (iii) complementaridade estratégica devido a informação imperfeita com respeito a produtividade agregada, e (iv) bens privados como substitutos imperfeitos de bens privados. Este arcabouço acomoda a possibilidade de falhas de coordenação nos investimentos, mas apresenta um equilíbrio único. Mostramos que a política fiscal tem efeitos importantes na coordenação. Um aumento dos gastos do governo leva a uma maior demanda por bens privados. Mais importante, este também afeta as expectativas de ordem superior com relação a demanda das demais firmas, que amplifica os efeitos do aumento inicial da demanda devido a complementaridade estratégica nas decisões de investimento. Como as demais firmas estão se deparam com uma demanda maior, espera-se que estas invistam mais, que por sua vez, aumenta a demanda individual de cada firma, que aumenta os incentivos a investir. Denominamos isto como o "canal de confiança" da política fiscal. Sob a ameaça de falhas de coordenação, a política fiscal ótima prescreve produzir além do ponto em que o benefício marginal resultante do consumo de bens públicos é igual ao custo marginal desses bens. Este benefício adicional vem do fato de que a política fiscal pode ampliar a coordenação dos investimentos.

Inflation targeting, credibility and coordination aspects

There are plenty of economic studies pointing out some requirements, like the inexistence of fiscal dominance, for inflation targeting framework be implemented in successful (credible) way. Essays on how public targets could be used in the absence of such requirements are unusual. In this papel' we appraise how central banks could use inflation targeting before soundness economic fundamentaIs have been achieved. First, based on concise framework, where confidence crises and imperfect information are neglected, we conclude that less ambitious (greater) target for inflation increases the credibility in the precommitment. Optimal target is higher than the one obtained using the Cukierman-Liviatan [7] model, where increasing credibility effect is not considered. Second, extending the model to make confidence crises possible, multiple equilibria solutions becomes possible too. In this case, to set greater targets for inflation may stimulate confidence crises and reduce the policymaker credibility. On the other hand, multiple (bad) equilibria may be avoided. The optimal target depends on the likelihood of each equilibrium be selected. Finally, when perturbing common knowledge uniqueness is restored even considering confidence crises, as in Morris-Shin[ 14]. The first result, i.e. less ambitious target for inflation increases credibility in precommitment, is also recovered. Adding a precise public signal, cOOl'dinated self-fulfilling actions and equilibrium multiplicity may still exist for some lack of common knowledge (as in Angeleto and Weming[l]). In this case, to set greater targets for inflation may stimulate confidence crisis again, reducing the policymaker credibility. From another aspect, multiple (bad) equilibria may be avoided. Optimal policy prescriptions depend on the likelihood of each equilibrium be selected. Results also indicate that more precise public information may open the door for bad equilibrium, contrary to the conventional wisdom that more central oank transparency is always good when considering inflation targeting framework.

Dynamic coordination among heterogeneous agents

We study a dynamic model of coordination with timing frictions and payoff heterogeneity. There is a unique equilibrium, characterized by thresholds that determine the choices of each type of agent. We characterize equilibrium for the limiting cases of vanishing timing frictions and vanishing shocks to fundamentals. A lot of conformity emerges: despite payoff heterogeneity, agents’ equilibrium thresholds partially coincide as long as there exists a set of beliefs that would make this coincidence possible – though they never fully coincide. In case of vanishing frictions, the economy behaves almost as if all agents were equal to an average type. Conformity is not inefficient. The efficient solution would have agents following others even more often and giving less importance to the fundamental

A coordination approach to the essentiality of money

The essentiality of money is commonly justi ed on e¢ ciency grounds. In this paper, we propose an alternative view on the essentiality of money. We consider an economy with llimited monitoring where agents have to coordinate on the use of two alternative technologies of exchange, money and credit. We show that although credit strictly dominates money from an e¢ ciency perspective, money is essential for coordination reasons. If agents are patient, the region of parameters where they coordinate in the use of money strictly contains the region of parameters where they coordinate in the use of credit

Coordination in brazilian pharmaceutical supply chains

Supply chain coordination (SCC) can be a challenge for many organizations as different firms in the same chain has different expectations and interdependencies (Arshinder & Deshmukh, 2008). Lack of SCC can result in the bullwhip effect and poor performance for a firm and its partners. By investigating the phenomenon in the Brazilian pharmaceutical supply chain using a qualitative research, this paper aims to understand the main issues that avoid a better integrated chain. Results of 21 interviews suggested that the lack of coordination in this environment was influenced by the network design and the history of the sector in Brazil, as well as scarce resources

Spatial spillovers and political coordination in public health provision

We estimate the impact of the main unconditional federal grant (Fundo de Participaçãodos Municípios - FPM) to Brazilian municipalities as well as its spillover from the neighboring cities on local health outcomes. We consider data from 2002 to 2007 (Brollo et al, 2013) and explore the FPM distribution rule according to population brackets to apply a fuzzy Regression Discontinuity Design (RDD) using cities near the thresholds. In elasticity terms, we nd a reduction on infant mortality rate (-0.18) and on morbidity rate (- 0.41), except in the largest cities of our sample. We also nd an increase on the access to the main program of visiting the vulnerable families, the Family Health Program (Programa Sa ude da Família - PSF). The e ects are stronger for the smallest cities of our sample and we nd increase: (i) On the percentage of residents enrolled in the program (0.36), (ii) On the per capita number of PSF visits (1.59), and (iii) On the per capita number of PSF visits with a doctor (1.8) and nurse (2). After we control for the FPM spillover using neighboring cities near diferent thresholds, our results show that the reduction in morbidity and mortality is largely due to the spillover e ect, but there are negative spillover on preventive actions, as PSF doctors visits and vaccination. Finally, the negative spillover e ect on health resources may be due free riding or political coordination problems, as in the case of the number of hospital beds, but also due to to competition for health professionals, as in the case of number of doctors (-0.35 and -0.87, respectively), specially general practitioners and surgeons (-1.84 and -2.45).

Hudumia: a platform to support spontaneous volunteers' situational awareness, coordination and safety underemergency scenarios

Spontaneous volunteers always emerge under emergency scenarios and are vital to a successful community response, yet some uncertainty subsists around their role and its inherent acceptance by official entities under emergency scenarios. In our research we have identified that most of the spontaneous volunteers do have none or little support from official entities, hence they end up facing critical problems as situational awareness, safety instructions and guidance, motivation and group organization. We argue that official entities still play a crucial role and should change some of their behaviors regarding spontaneous volunteerism. We aim with this thesis to design a software architecture and a framework in order to implement a solution to support spontaneous volunteerism under emergency scenarios along with a set of guidelines for the design of open information management systems. Together with the collaboration from both citizens and emergency professionals we have been able to attain several important contributions, as the clear identification of the roles taken by both spontaneous volunteers and professionals, the importance of volunteerism in overall community response and the role which open collaborative information management systems have in the community volunteering efforts. These conclusions have directly supported the design guidelines of our software solution proposal. In what concerns to methodology, we first review literature on technologies support to emergencies and how spontaneous volunteers actually challenge these systems. Following, we have performed a field research where we have observed that the emerging of spontaneous volunteer’s efforts imposes new requirements for the design of such systems, which leaded to the creation of a cluster of design guidelines that supported our software solution proposal to address the volunteers’ requirements. Finally we have architected and developed an online open information management tool which has been evaluated via usability engineering methods, usability user tests and heuristic evaluations.