Generating natural language specifications from UML class diagrams

Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to semistructured or formal specifications. Furthermore, consistency checking is seen by many software engineers as the solution to reduce the number of errors occurring during the software development life cycle and allow early verification and validation of software systems. However, this is confined to the models developed during analysis and design and fails to include the early Natural Language requirements. This excludes proper user involvement and creates a gap between the original requirements and the updated and modified models and implementations of the system. To improve this process, we propose a system that generates Natural Language specifications from UML class diagrams. We first investigate the variation of the input language used in naming the components of a class diagram based on the study of a large number of examples from the literature and then develop rules for removing ambiguities in the subset of Natural Language used within UML. We use WordNet,a linguistic ontology, to disambiguate the lexical structures of the UML string names and generate semantically sound sentences. Our system is developed in Java and is tested on an independent though academic case study

The play's the thing

For very understandable reasons phenomenological approaches predominate in the field of sensory urbanism. This paper does not seek to add to that particular discourse. Rather it takes Rorty’s postmodernized Pragmatism as its starting point and develops a position on the role of multi-modal design representation in the design process as a means of admitting many voices and managing multidisciplinary collaboration. This paper will interrogate some of the concepts underpinning the Sensory Urbanism project to help define the scope of interest in multi-modal representations. It will then explore a range of techniques and approaches developed by artists and designers during the past fifty years or so and comment on how they might inform the question of multi-modal representation. In conclusion I will argue that we should develop a heterogeneous tool kit that adopts, adapts and re-invents existing methods because this will better serve our purposes during the exploratory phase(s) of any design project that deals with complexity

Relationship of EMAST and Microsatellite Instability Among Patients with Rectal Cancer

Elevated microsatellite instability at selected tetranucleotide repeats (EMAST) is a genetic signature identified in 60% of sporadic colon cancers and may be linked with heterogeneous expression of the DNA mismatch repair (MMR) protein hMSH3. Unlike microsatellite instability-high (MSI-H) in which hypermethylation of hMLH1 occurs followed by multiple susceptible gene mutations, EMAST may be associated with inflammation and subsequent relaxation of MMR function with the biological consequences not known. We evaluated the prevalence of EMAST and MSI in a population-based cohort of rectal cancers, as EMAST has not been previously determined in rectal cancers. We analyzed 147 sporadic cases of rectal cancer using five tetranucleotide microsatellite markers and National-Cancer-Institute-recommended MSI (mononucleotide and dinucleotide) markers. EMAST and MSI determinations were made on analysis of DNA sequences of the polymerase chain reaction products and determined positive if at least two loci were found to have frame-shifted repeats upon comparison between normal and cancer samples from the same patient. We correlated EMAST data with race, gender, and tumor stage and examined the samples for lymphocyte infiltration. Among this cohort of patients with rectal cancer (mean age 62.2 ± 10.3 years, 36% female, 24% African American), 3/147 (2%) showed MSI (three males, two African American) and 49/147 (33%) demonstrated EMAST. Rectal tumors from African Americans were more likely to show EMAST than Caucasians (18/37, 49% vs. 27/104, 26%, p = 0.014) and were associated with advanced stage (18/29, 62% EMAST vs. 18/53, 37%, non-EMAST p = 0.02). There was no association between EMAST and gender. EMAST was more prevalent in rectal tumors that showed peri-tumoral infiltration compared to those without (30/49, 60% EMAST vs. 24/98, 25% non-EMAST, p = 0.0001). EMAST in rectal cancer is common and MSI is rare. EMAST is associated with African-American race and may be more commonly seen with metastatic disease. The etiology and consequences of EMAST are under investigation, but its association with immune cell infiltration suggests that inflammation may play a role for its development

KRAS Mutations and Primary Resistance of Lung Adenocarcinomas to Gefitinib or Erlotinib

BACKGROUND: Somatic mutations in the gene for the epidermal growth factor receptor (EGFR) are found in adenocarcinomas of the lung and are associated with sensitivity to the kinase inhibitors gefitinib (Iressa) and erlotinib (Tarceva). Lung adenocarcinomas also harbor activating mutations in the downstream GTPase, KRAS, and mutations in EGFR and KRAS appear to be mutually exclusive. METHODS AND FINDINGS: We sought to determine whether mutations in KRAS could be used to further enhance prediction of response to gefitinib or erlotinib. We screened 60 lung adenocarcinomas defined as sensitive or refractory to gefitinib or erlotinib for mutations in EGFR and KRAS. We show that mutations in KRAS are associated with a lack of sensitivity to either drug. CONCLUSION: Our results suggest that treatment decisions regarding use of these kinase inhibitors might be improved by determining the mutational status of both EGFR and KRAS

A foundation for runtime monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitor-ing, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the modal μ-calculus) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated.peer-reviewe

A Foundation for Runtime Monitoring

Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are amenable to runtime monitoring, nor is it clear which monitors effect the required runtime analysis correctly. This exposition targets a foundational understanding of these questions. Particularly, it considers an expressive specification logic (a syntactic variant of the mmucalc) that is agnostic of the verification method used, together with an elemental framework providing an operational semantics for the runtime analysis performed by monitors. The correspondence between the property satisfactions in the logic on the one hand, and the verdicts reached by the monitors performing the analysis on the other, is a central theme of the study. Such a correspondence underpins the concept of monitorability, used to identify the subsets of the logic that can be adequately monitored for by RV. Another theme of the study is that of understanding what should be expected of a monitor in order for the verification process to be correct. We show how the monitor framework considered can constitute a basis whereby various notions of monitor correctness may be defined and investigated