A Component-oriented Framework for Autonomous Agents

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components

Partially distributed coordination with Reo and constraint automata

Algorithms and the Foundations of Software technolog

Service orchestration with priority constraints

Business process management is an operational management approach that focuses on improving business processes. Business processes, i.e., collections of important activities in an organization, are represented in the form of a workflow, an orchestrated and repeatable pattern of activities amenable to automated analysis and control. Priority is an important concept in modeling workflows. We need priority to model cancelable and compensable tasks within transactional business processes. We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo. We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem

Algebraic service composition for user-centric IoT applications

The Internet of Things (IoT) requires a shift in our way of building applications, as it is aimed at providing many services to society in general. Non-developer people require increasingly complex IoT applications and support for their ever changing run-time requirements. Although service composition allows the combination of functionality into more complex behaviours, current approaches provide support for dealing with one IoT scenario at a time, as they allow the definition of only one workflow. In this paper, we present DX-MAN, an algebraic model for static service composition that allows the definition of composite services that encompass multiple workflows for run-time scenarios. We evaluate our proposal on an example in the domain of smart homes

A Reo model of Software Defined Networks

Reo is a compositional coordination language for component connectors with a formal semantics based on automata. In this paper, we propose a formal model of software defined networks (SDNs) based on Reo where declarative constructs comprising of basic Reo primitives compose to specify descriptive models of both data and control planes of SDNs. We first describe the model of an SDN switch which can be compactly represented as a single state constraint automaton with a memory storing its flow table. A full network can then be compositionally constructed by composing the switches with basic communication channels. The reactive and proactive behaviour of the controllers in the control plane of an SDN can also be modelled by Reo connectors, which can compose the connectors representing data plane. The resulting model is suitable for testing, simulation, visualization, verification, and ultimately compilation into SDN switch code using the standard tools already available for Reo

Recommendations on Surveillance for Differentiated Thyroid Carcinoma in Children with PTEN Hamartoma Tumor Syndrome

BACKGROUND: PTEN hamartoma tumor syndrome (PHTS) represents a group of syndromes caused by a mutation in the PTEN gene. Children with a germline PTEN mutation have an increased risk of developing differentiated thyroid carcinoma (DTC). Several guidelines have focused on thyroid surveillance in these children, but studies substantiating these recommendations are lacking. OBJECTIVE: The present study intends to provide the available evidence for a thyroid carcinoma surveillance program in children with PHTS. METHODS: An extensive literature search was performed to identify all studies on DTC in pediatric PHTS patients. Two pediatric cases are presented to illustrate the pros and cons of thyroid carcinoma surveillance. Recommendations for other patient groups at risk for DTC were evaluated. Consensus within the study team on recommendations for children with PHTS was reached by balancing the incidence and behavior of DTC with the pros and cons of thyroid surveillance, and the different surveillance methods. RESULTS: In 5 cohort studies the incidence of DTC in childhood ranged from 4 to 12%. In total 57 cases of DTC and/or benign nodular disease in pediatric PHTS patients were identified, of which 27 had proven DTC, with a median age of 12 years (range 4-17). Follicular thyroid carcinoma (FTC) was diagnosed in 52% of the pediatric DTC patients. No evidence was found for a different clinical behavior of DTC in PHTS patients compared to sporadic DTC. CONCLUSIONS: Children with PHTS are at increased risk for developing DTC, with 4 years being the youngest age reported at presentation and FTC being overrepresented. DTC in pediatric PHTS patients does not seem to be more aggressive than sporadic DTC. RECOMMENDATIONS: Surveillance for DTC in pediatric PHTS patients seems justified, as early diagnosis may decrease morbidity. Consensus within the study team was reached to recommend surveillance from the age of 10 years onwards, since at that age the incidence of DTC seems to reach 5%. Surveillance for DTC should consist of yearly neck palpation and triennial thyroid ultrasound. Surveillance in children with PHTS should be performed in a center of excellence for pediatric thyroid disease or PHTS

The Results of CHD7 Analysis in Clinically Well-Characterized Patients with Kallmann Syndrome

Item does not contain fulltextCONTEXT: Kallmann syndrome (KS) and CHARGE syndrome are rare heritable disorders in which anosmia and hypogonadotropic hypogonadism co-occur. KS is genetically heterogeneous, and there are at least eight genes involved in its pathogenesis, whereas CHARGE syndrome is caused by autosomal dominant mutations in only one gene, the CHD7 gene. Two independent studies showed that CHD7 mutations can also be found in a minority of KS patients. OBJECTIVE: We aimed to investigate whether CHD7 mutations can give rise to isolated KS or whether additional features of CHARGE syndrome always occur. DESIGN: We performed CHD7 analysis in a cohort of 36 clinically well-characterized Dutch patients with KS but without mutations in KAL1 and with known status for the KS genes with incomplete penetrance, FGFR1, PROK2, PROKR2, and FGF8. RESULTS: We identified three heterozygous CHD7 mutations. The CHD7-positive patients were carefully reexamined and were all found to have additional features of CHARGE syndrome. CONCLUSION: The yield of CHD7 analysis in patients with isolated KS seems very low but increases when additional CHARGE features are present. Therefore, we recommend performing CHD7 analysis in KS patients who have at least two additional CHARGE features or semicircular canal anomalies. Identifying a CHD7 mutation has important clinical implications for the surveillance and genetic counseling of patients

The Study of Education Effect on Knowledge of, and Attitudes Toward Electroconvulsive Therapy Among Iranian Nurses and Patients’ Relatives in a Psychiatric Hospital, 2009-2010

AbstractElectroconvulsive therapy (ECT) is a cost effective method in the treatment of some psychiatric disorders. Although, service users such as health providers and nurses, also patients and their relatives may refuse ECT when indicated, due to the myths and little or lack of knowledge about the procedure. The knowledge of and attitudes toward ECT among nurses, may reflect on patients and influence treatment choice. For doing this procedure relatives informed consent is necessary, so their knowledge of and attitude toward ECT is important for getting informed consent and following treatment sessions. Objective: This research was conducted as a quasi-experimental study to measure knowledge of and attitudes toward ECT in 2 groups: relatives and nursing. Also, to study the effect of education on knowledge of and attitudes toward ECT in 2 groups. Methods: In this research the pre and post test self – administered questionnaires were completed by 46 relatives and 46 nurses before and after education about ECT. Results: Nurses in this research received a mean score of X=34.97 knowledge before education and X=39.78 after education (t=2.02, p<0.05), and a mean score of X=33.41 attitude before education and, X=42.82 after education (t=-14.25, p<0.001). Relatives received a mean score of X=23.41 knowledge before education and X=30.15 after education (t=-12.44, p<0.001), and a mean score of X=33.39 attitude before education and, X=41.13 after education (t=-9.10, p<0.001). The differences between the 2 means among two groups were found to be statistically significant. Conclusion: Education given to nurses and relatives about ECT increased their knowledge of, and improved their attitudes toward ECT. For this reason it is recommended that continuing education about ECT process should be planned and given at regular intervals

Clinical and Molecular Characteristics and Outcome of Cystic Partially Differentiated Nephroblastoma and Cystic Nephroma: A Narrative Review of the Literature

In children presenting with a predominantly cystic renal tumor, the most likely diagnoses include cystic partially differentiated nephroblastoma (CPDN) and cystic nephroma (CN). Both entities are rare and limited information on the clinical and molecular characteristics, treatment, and outcome is available since large cohort studies are lacking. We performed an extensive literature review, in which we identified 113 CPDN and 167 CN. The median age at presentation for CPDN and CN was 12 months (range: 3 weeks–4 years) and 16 months (prenatal diagnosis–16 years), respectively. No patients presented with metastatic disease. Bilateral disease occurred in both entities. Surgery was the main treatment for both. Two/113 CPDN patients and 26/167 CN patients had previous, concomitant, or subsequent other tumors. Unlike CPDN, CN was strongly associated with somatic (n = 27/29) and germline (n = 12/12) DICER1-mutations. Four CPDN patients and one CN patient relapsed. Death was reported in six/103 patients with CPDN and six/118 CN patients, none directly due to disease. In conclusion, children with CPDN and CN are young, do not present with metastases, and have an excellent outcome. Awareness of concomitant or subsequent tumors and genetic testing is important. International registration of cystic renal tumor cohorts is required to enable a better understanding of clinical and genetic characteristics