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.

Transmathematical basis of infinitely scalable pipeline machines

We describe infinitely scalable pipeline machines with perfect parallelism, in the sense that every instruction of an inline program is executed, on successive data, on every clock tick. Programs with shared data effectively execute in less than a clock tick. We show that pipeline machines are faster than single or multi-core, von Neumann machines for sufficiently many program runs of a sufficiently time consuming program. Our pipeline machines exploit the totality of transreal arithmetic and the known waiting time of statically compiled programs to deliver the interesting property that they need no hardware or software exception handling.

Caracterizando os fluxos excepcionais em linhas de produto de software: um estudo exploratório

The Exception Handling (EH) is a widely used mechanism for building robust systems. In Software Product Line (SPL) context it is not different. As EH mechanisms are embedded in most of mainstream programming languages (like Java, C# and C++), we can find exception signalers and handlers spread over code assets associated to common and variable SPL features. When exception signalers and handlers are added to an SPL in an unplanned way, one of the possible consequences is the generation of faulty family instances (i.e., instances on which common or variable features signal exceptions that are mistakenly caught inside the system). In this context, some questions arise: How exceptions flow between the optional and alternative features an LPS? Aiming at providing answers to these questions, this master thesis conducted an exploratory study, based on code inspection and static analysis code, whose goal was to categorize the main ways which exceptions flow in LPSs. To support the study, we developed an static analysis tool called PLEA (Product Line Exception Analyzer) that calculates the exceptional flows of LPSs, and categorize these flows according to the features associated with handlers and signalers. Preliminary results showed that some types of exceptional flows have more potential to yield failures in exceptional behavior of SLPs

Uma abordagem para a verificação do comportamento excepcional a partir de regras de designe e testes

Checking the conformity between implementation and design rules in a system is an important activity to try to ensure that no degradation occurs between architectural patterns defined for the system and what is actually implemented in the source code. Especially in the case of systems which require a high level of reliability is important to define specific design rules for exceptional behavior. Such rules describe how exceptions should flow through the system by defining what elements are responsible for catching exceptions thrown by other system elements. However, current approaches to automatically check design rules do not provide suitable mechanisms to define and verify design rules related to the exception handling policy of applications. This paper proposes a practical approach to preserve the exceptional behavior of an application or family of applications, based on the definition and runtime automatic checking of design rules for exception handling of systems developed in Java or AspectJ. To support this approach was developed, in the context of this work, a tool called VITTAE (Verification and Information Tool to Analyze Exceptions) that extends the JUnit framework and allows automating test activities to exceptional design rules. We conducted a case study with the primary objective of evaluating the effectiveness of the proposed approach on a software product line. Besides this, an experiment was conducted that aimed to realize a comparative analysis between the proposed approach and an approach based on a tool called JUnitE, which also proposes to test the exception handling code using JUnit tests. The results showed how the exception handling design rules evolve along different versions of a system and that VITTAE can aid in the detection of defects in exception handling code

Avaliando a robustez e manutenibilidade do comportamento excepcional de aplicações C#

Mainstream programming languages provide built-in exception handling mechanisms to support robust and maintainable implementation of exception handling in software systems. Most of these modern languages, such as C#, Ruby, Python and many others, are often claimed to have more appropriated exception handling mechanisms. They reduce programming constraints on exception handling to favor agile changes in the source code. These languages provide what we call maintenance-driven exception handling mechanisms. It is expected that the adoption of these mechanisms improve software maintainability without hindering software robustness. However, there is still little empirical knowledge about the impact that adopting these mechanisms have on software robustness. This work addresses this gap by conducting an empirical study aimed at understanding the relationship between changes in C# programs and their robustness. In particular, we evaluated how changes in the normal and exceptional code were related to exception handling faults. We applied a change impact analysis and a control flow analysis in 100 versions of 16 C# programs. The results showed that: (i) most of the problems hindering software robustness in those programs are caused by changes in the normal code, (ii) many potential faults were introduced even when improving exception handling in C# code, and (iii) faults are often facilitated by the maintenance-driven flexibility of the exception handling mechanism. Moreover, we present a series of change scenarios that decrease the program robustness

On the Integration of Smalltalk and Java

After decades of development in programming languages and programming environments, Smalltalk is still one of few environments that provide advanced features and is still widely used in the industry. However, as Java became prevalent, the ability to call Java code from Smalltalk and vice versa becomes important. Traditional approaches to integrate the Java and Smalltalk languages are through low-level communication between separate Java and Smalltalk virtual machines. We are not aware of any attempt to execute and integrate the Java language directly in the Smalltalk environment. A direct integration allows for very tight and almost seamless integration of the languages and their objects within a single environment. Yet integration and language interoperability impose challenging issues related to method naming conventions, method overloading, exception handling and thread-locking mechanisms. In this paper we describe ways to overcome these challenges and to integrate Java into the Smalltalk environment. Using techniques described in this paper, the programmer can call Java code from Smalltalk using standard Smalltalk idioms while the semantics of each language remains preserved. We present STX:LIBJAVA - an implementation of Java virtual machine within Smalltalk/X - as a validation of our approach

Managing change and time in dynamic workflow processes

Business environments have become exceedingly dynamic and competitive in recent times. This dynamism is manifested in the form of changing process requirements and time constraints. Workflow technology is currently one of the most promising fields of research in business process automation. However, workflow systems to date do not provide the flexibility necessary to support the dynamic nature of business processes. In this paper we primarily discuss the issues and challenges related to managing change and time in workflows representing dynamic business processes. We also present an analysis of workflow modifications and provide feasibility considerations for the automation of this process.

Refining exceptions using King and Morgan's exit construct

In this paper we discuss the refinement of exceptions. We extend the Guarded Command Language normally used in the refinement calculus, with a simple exception handling statement, which we model using King and Morgan's exit statement (1995). We derive some variants of King and Morgan's refinement laws for their exit statement, and illustrate the approach with an example of a refinement of a simple program.

Uma abordagem para avaliação e tratamento de exceções propagadas no uso de serviços Web em .Net

High dependability, availability and fault-tolerance are open problems in Service-Oriented Architecture (SOA). The possibility of generating software applications by integrating services from heterogeneous domains, in a reliable way, makes worthwhile to face the challenges inherent to this paradigm. In order to ensure quality in service compositions, some research efforts propose the adoption of verification techniques to identify and correct errors. In this context, exception handling is a powerful mechanism to increase SOA quality. Several research works are concerned with mechanisms for exception propagation on web services, implemented in many languages and frameworks. However, to the extent of our knowledge, no works found evaluates these mechanisms in SOA with regard to the .NET framework. The main contribution of this paper is to evaluate and to propose exception propagation mechanisms in SOA to applications developed within the .NET framework. In this direction, this work: (i)extends a previous study, showing the need to propose a solution to the exception propagation in SOA to applications developed in .NET, and (ii) show a solution, based in model obtained from the results found in (i) and that will be applied in real cases through of faults injections and AOP techniques.

Taurine Supplementation Increases K(atp) Channel Protein Content, Improving Ca2+ Handling And Insulin Secretion In Islets From Malnourished Mice Fed On A High-fat Diet.

Pancreatic β-cells are highly sensitive to suboptimal or excess nutrients, as occurs in protein-malnutrition and obesity. Taurine (Tau) improves insulin secretion in response to nutrients and depolarizing agents. Here, we assessed the expression and function of Cav and KATP channels in islets from malnourished mice fed on a high-fat diet (HFD) and supplemented with Tau. Weaned mice received a normal (C) or a low-protein diet (R) for 6 weeks. Half of each group were fed a HFD for 8 weeks without (CH, RH) or with 5% Tau since weaning (CHT, RHT). Isolated islets from R mice showed lower insulin release with glucose and depolarizing stimuli. In CH islets, insulin secretion was increased and this was associated with enhanced KATP inhibition and Cav activity. RH islets secreted less insulin at high K(+) concentration and showed enhanced KATP activity. Tau supplementation normalized K(+)-induced secretion and enhanced glucose-induced Ca(2+) influx in RHT islets. R islets presented lower Ca(2+) influx in response to tolbutamide, and higher protein content and activity of the Kir6.2 subunit of the KATP. Tau increased the protein content of the α1.2 subunit of the Cav channels and the SNARE proteins SNAP-25 and Synt-1 in CHT islets, whereas in RHT, Kir6.2 and Synt-1 proteins were increased. In conclusion, impaired islet function in R islets is related to higher content and activity of the KATP channels. Tau treatment enhanced RHT islet secretory capacity by improving the protein expression and inhibition of the KATP channels and enhancing Synt-1 islet content.

Age polyethism in Plebeia emerina (Friese) (Hymenoptera: Apidae) colonies related to propolis handling

Stingless bees collect plant resins and make it into propolis, although they have a wider range of use for this material than do honey bees (Apis spp.). Plebeia spp. workers employ propolis mixed with wax (cerumen) for constructing and sealing nest structures, while they use viscous (sticky) propolis for defense by applying it onto their enemies. Isolated viscous propolis deposits are permanently maintained at the interior of their colonies, as also seen in other Meliponini species. Newly-emerged Plebeia emerina (Friese) workers were observed stuck to and unable to escape these viscous propolis stores. We examined the division of labor involved in propolis manipulation, by observing marked bees of known age in four colonies of P. emerina from southern Brazil. Activities on brood combs, the nest involucrum and food pots were observed from the first day of life of the marked bees. However, work on viscous propolis deposits did not begin until the 13th day of age and continued until the 56th day (maximum lifespan in our sample). Although worker bees begin to manipulate cerumen early, they seem to be unable to handle viscous propolis till they become older.

Angiotensin receptor blockade improves the net balance of cardiac Ca(2+) handling-related proteins in sympathetic hyperactivity-induced heart failure

Aims: The clinical benefits of angiotensin II type 1 (AT1) receptor blockers (ARB) in heart failure (HF) include cardiac anti-remodeling and improved ventricular function. However, the cellular mechanisms underlying the benefits of ARB on ventricular function need to be better clarified. In the present manuscript, we evaluated the effects of AT1 receptor blockade on the net balance of Ca(2+) handling proteins in hearts of mice lacking alpha(2A) and alpha(2C) adrenoceptors (alpha(2A)/alpha(2C)ARKO), which develop sympathetic hyperactivity (SH) induced-HF. Main methods: A cohort of male wild-type (WT) and congenic alpha(2A)/alpha(2C)ARKO mice in a C57BL6/J genetic background (5-7 mo of age) was randomly assigned to receive either placebo or ARB (Losartan, 10 mg/kg for 8wks). Ventricular function (VF) was assessed by echocardiography, and cardiac myocyte width and ventricular fibrosis by a computer-assisted morphometric system. Sarcoplasmic reticulum Ca(2+) ATPase (SERCA2), phospholamban (PLN), phospho-Ser(16)-PLN, phospho-Thr(17)-PLN, phosphatase 1 (PP1), Na(+)-Ca(2+) exchanger (NCX), Ca(2+)/calmodulin-dependent protein kinase 11 (CaMKII) and phospho-Thr(286)-CaMKII were analyzed by Western blot. Key findings: alpha(2A)/alpha(2C)ARKO mice displayed ventricular dysfunction, cardiomyocyte hypertrophy and cardiac fibrosis paralleled by decreased SERCA2 and increased phospho-Thr(17)-PLN, CaMKII, phospho-Thr(286)-CaMKII and NCX levels. ARB induced anti-cardiac remodeling effect and improved VF in alpha(2A)/alpha(2C)ARKO associated with increased SERCA2 and phospho-Ser(16)-PLN levels, and SERCA2:NCX ratio. Additionally, ARB decreased phospho-Thr(17)-PLN levels as well as reestablished NCX, CaMKII and phospho-Thr(286)-CaMKII toward WT levels. Significance: Altogether, these data provide new insights on intracellular Ca(2+) regulatory mechanisms underlying improved ventricular function by ARB therapy in HF. (c) 2011 Elsevier Inc. All rights reserved.

Exercise training and caloric restriction prevent reduction in cardiac Ca(2+)-handling protein profile in obese rats

Previous studies show that exercise training and caloric restriction improve cardiac function in obesity. However, the molecular mechanisms underlying this effect on cardiac function remain unknown. Thus, we studied the effect of exercise training and/or caloric restriction on cardiac function and Ca(2+) handling protein expression in obese rats. To accomplish this goal, male rats fed with a high-fat and sucrose diet for 25 weeks were randomly assigned into 4 groups: high-fat and sucrose diet, high-fat and sucrose diet and exercise training, caloric restriction, and exercise training and caloric restriction. An additional lean group was studied. The study was conducted for 10 weeks. Cardiac function was evaluated by echocardiography and Ca(2+) handling protein expression by Western blotting. Our results showed that visceral fat mass, circulating leptin, epinephrine, and norepinephrine levels were higher in rats on the high-fat and sucrose diet compared with the lean rats. Cardiac nitrate levels, reduced/oxidized glutathione, left ventricular fractional shortening, and protein expression of phosphorylated Ser(2808)-ryanodine receptor and Thr(17-)phospholamban were lower in rats on the high-fat and sucrose diet compared with lean rats. Exercise training and/or caloric restriction prevented increases in visceral fat mass, circulating leptin, epinephrine, and norepinephrine levels and prevented reduction in cardiac nitrate levels and reduced: oxidized glutathione ratio. Exercise training and/or caloric restriction prevented reduction in left ventricular fractional shortening and in phosphorylation of the Ser(2808)-ryanodine receptor and Thr(17)-phospholamban. These findings show that exercise training and/or caloric restriction prevent cardiac dysfunction in high-fat and sucrose diet rats, which seems to be attributed to decreased circulating neurohormone levels. In addition, this nonpharmacological paradigm prevents a reduction in the Ser(2808)-ryanodine receptor and Thr(17-)phospholamban phosphorylation and redox status. (Hypertension. 2010;56:629-635.)

Aerobic exercise training improves skeletal muscle function and Ca(2+) handling-related protein expression in sympathetic hyperactivity-induced heart failure

Bueno CR Jr, Ferreira JC, Pereira MG, Bacurau AV, Brum PC. Aerobic exercise training improves skeletal muscle function and Ca(2+) handling-related protein expression in sympathetic hyperactivity-induced heart failure. J Appl Physiol 109: 702-709, 2010. First published July 1, 2010; doi: 10.1152/japplphysiol.00281.2010.-The cellular mechanisms of positive effects associated with aerobic exercise training on overall intrinsic skeletal muscle changes in heart failure (HF) remain unclear. We investigated potential Ca(2+) abnormalities in skeletal muscles comprising different fiber compositions and investigated whether aerobic exercise training would improve muscle function in a genetic model of sympathetic hyperactivity-induced HF. A cohort of male 5-mo-old wild-type (WT) and congenic alpha(2A)/alpha(2C) adrenoceptor knockout (ARKO) mice in a C57BL/6J genetic background were randomly assigned into untrained and trained groups. Exercise training consisted of a 8-wk running session of 60 min, 5 days/wk (from 5 to 7 mo of age). After completion of the exercise training protocol, exercise tolerance was determined by graded treadmill exercise test, muscle function test by Rotarod, ambulation and resistance to inclination tests, cardiac function by echocardiography, and Ca(2+) handling-related protein expression by Western blot. alpha(2A)/alpha(2C)ARKO mice displayed decreased ventricular function, exercise intolerance, and muscle weakness paralleled by decreased expression of sarcoplasmic Ca(2+) release-related proteins [alpha(1)-, alpha(2)-, and beta(1)-subunits of dihydropyridine receptor (DHPR) and ryanodine receptor (RyR)] and Ca(2+) reuptake-related proteins [sarco(endo) plasmic reticulum Ca(2+)-ATPase (SERCA) 1/2 and Na(+)/Ca(2+) exchanger (NCX)] in soleus and plantaris. Aerobic exercise training significantly improved exercise tolerance and muscle function and reestablished the expression of proteins involved in sarcoplasmic Ca(2+) handling toward WT levels. We provide evidence that Ca(2+) handling-related protein expression is decreased in this HF model and that exercise training improves skeletal muscle function associated with changes in the net balance of skeletal muscle Ca(2+) handling proteins.

Aerobic exercise training improves Ca(2+) handling and redox status of skeletal muscle in mice

Exercise training is known to promote relevant changes in the properties of skeletal muscle contractility toward powerful fibers. However, there are few studies showing the effect of a well-established exercise training protocol on Ca(2+) handling and redox status in skeletal muscles with different fiber-type compositions. We have previously standardized a valid and reliable protocol to improve endurance exercise capacity in mice based on maximal lactate steady-state workload (MLSSw). The aim of this study was to investigate the effect of exercise training, performed at MLSSw, on the skeletal muscle Ca(2+) handling-related protein levels and cellular redox status in soleus and plantaris. Male C57BL/6J mice performed treadmill training at MLSSw over a period of eight weeks. Muscle fiber-typing was determined by myosin ATPase histochemistry, citrate synthase activity by spectrophotometric assay, Ca(2+) handling-related protein levels by Western blot and reduced to oxidized glutathione ratio (GSH:GSSG) by high-performance liquid chromatography. Trained mice displayed higher running performance and citrate synthase activity compared with untrained mice. Improved running performance in trained mice was paralleled by fast-to-slow fiber-type shift and increased capillary density in both plantaris and soleus. Exercise training increased dihydropyridine receptor (DHPR) alpha 2 subunit, ryanodine receptor and Na(+)/Ca(2+) exchanger levels in plantaris and soleus. Moreover, exercise training elevated DHPR beta 1 subunit and sarcoplasmic reticulum Ca(2+)-ATPase (SERCA) 1 levels in plantaris and SERCA2 levels in soleus of trained mice. Skeletal muscle GSH content and GSH:GSSG ratio was increased in plantaris and soleus of trained mice. Taken together, our findings indicate that MLSSw exercise-induced better running performance is, in part, due to increased levels of proteins involved in skeletal muscle Ca(2+) handling, whereas this response is partially dependent on specificity of skeletal muscle fiber-type composition. Finally, we demonstrated an augmented cellular redox status and GSH antioxidant capacity in trained mice.