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

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

Promoter methylation of RASSF1A and DAPK and mutations of K-ras, p53, and EGFR in lung tumors from smokers and never-smokers

<p>Abstract</p> <p>Background</p> <p>Epidemiological studies indicate that some characteristics of lung cancer among never-smokers significantly differ from those of smokers. Aberrant promoter methylation and mutations in some oncogenes and tumor suppressor genes are frequent in lung tumors from smokers but rare in those from never-smokers. In this study, we analyzed promoter methylation in the <it>ras-association domain isoform A (RASSF1A) </it>and the <it>death-associated protein kinase (DAPK) </it>genes in lung tumors from patients with primarily non-small cell lung cancer (NSCLC) from the Western Pennsylvania region. We compare the results with the smoking status of the patients and the mutation status of the K-<it>ras</it>, <it>p53</it>, and <it>EGFR </it>genes determined previously on these same lung tumors.</p> <p>Methods</p> <p>Promoter methylation of the <it>RASSF1A </it>and <it>DAPK </it>genes was analyzed by using a modified two-stage methylation-specific PCR. Data on mutations of K-<it>ras</it>, <it>p53</it>, and <it>EGFR </it>were obtained from our previous studies.</p> <p>Results</p> <p>The <it>RASSF1A </it>gene promoter methylation was found in tumors from 46.7% (57/122) of the patients and was not significantly different between smokers and never-smokers, but was associated significantly in multiple variable analysis with tumor histology (p = 0.031) and marginally with tumor stage (p = 0.063). The <it>DAPK </it>gene promoter methylation frequency in these tumors was 32.8% (40/122) and did not differ according to the patients' smoking status, tumor histology, or tumor stage. Multivariate analysis adjusted for age, gender, smoking status, tumor histology and stage showed that the frequency of promoter methylation of the <it>RASSF1A </it>or <it>DAPK </it>genes did not correlate with the frequency of mutations of the K<it>-ras, p53</it>, and <it>EGFR </it>gene.</p> <p>Conclusion</p> <p>Our results showed that <it>RASSF1A </it>and <it>DAPK </it>genes' promoter methylation occurred frequently in lung tumors, although the prevalence of this alteration in these genes was not associated with the smoking status of the patients or the occurrence of mutations in the K-<it>ras</it>, <it>p53 </it>and <it>EGFR </it>genes, suggesting each of these events may represent independent event in non-small lung tumorigenesis.</p