A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

On the Evaluation of a DSL for Architectural Consistency Checking

Software architecture erodes over time and needs to be constantly monitored to be kept consistent with its original intended design. Consistency is rarely monitored using automated techniques. The cost associated to such an activity is typically not considered proportional to its benefits. To improve this situation, we propose Dicto, a uniform DSL for specifying architectural invariants. This language is designed to reduce the cost of consistency checking by offering a framework in which existing validation tools can be matched to newly-defined language constructs. In this paper we discuss how such a DSL can be qualitatively and qualitatively evaluated in practice.

Selecting Contexts. One Method of Selecting Contexts for Theatre Historiography

In principle, the world and life itself are the contexts of theatrical events. The term context is broad and thus seems hardly usable. It only makes sense to use the term when terminologies and methodologies determine which parts of their contexts are to be incorporated and analysed for which theatrical event. This presentation exemplifies a method which is particularly suitable for sensibly selecting the most important contexts for research in theatre history. The complexity of the representation increases continuously from The Presentation of Self in Everyday Life to Brecht’s “Street Scene” and “Everyday Theatre”, portrayals of rulers in feasts and parades to Hamlet productions by the Royal Shakespeare Company or a Wagner opera in Bayreuth. The different forms of theatre thus constitute a continuum which spans from “everyday theatre” to “art theatre”. The representation of the world in this continuum is sometimes questioned by the means of theatre, for example when Commedia dell’arte takes a critical stance towards the representative theatre of the humanists or when playful devices such as reversal, parody and fragmentation challenge the representative character of productions, which is applied by the Vice character for instance. There is a second component that has an impact on the continuum without a theatrical device: attitude, opinion, norms and bans which originate from society. As excerpts of contexts, they refer to single forms of theatre in the continuum. This results in a complex system of four components which evolves from the panorama between the antipodes “everyday theatre” and “art theatre” as well as both spheres of influence of which only one uses theatrical devices. All components interact in a specific time frame in a specific place in a specific way in each case, which can then be described as the theatricality in this time frame. This presentation will deal with what the concept is capable of doing.

Recovery and Analysis of Transaction Scope from Scattered Information in Java Enterprise Applications

Java Enterprise Applications (JEAs) are large systems that integrate multiple technologies and programming languages. Transactions in JEAs simplify the development of code that deals with failure recovery and multi-user coordination by guaranteeing atomicity of sets of operations. The heterogeneous nature of JEAs, however, can obfuscate conceptual errors in the application code, and in particular can hide incorrect declarations of transaction scope. In this paper we present a technique to expose and analyze the application transaction scope in JEAs by merging and analyzing information from multiple sources. We also present several novel visualizations that aid in the analysis of transaction scope by highlighting anomalies in the specification of transactions and violations of architectural constraints. We have validated our approach on two versions of a large commercial case study.

Parochialism or self-consciousness? Internationality in medical history journals 1997-2006

Research councils, universities and funding agencies are increasingly asking for tools to measure the quality of research in the humanities. One of their preferred methods is a ranking of journals according to their supposed level of internationality. Our quantitative survey of seventeen major journals of medical history reveals the futility of such an approach. Most journals have a strong national character with a dominance of native language, authors and topics. The most common case is a paper written by a local author in his own language on a national subject regarding the nineteenth or twentieth century. American and British journals are taken notice of internationally but they only rarely mention articles from other history of medicine journals. Continental European journals show a more international review of literature, but are in their turn not noticed globally. Increasing specialisation and fragmentation has changed the role of general medical history journals. They run the risk of losing their function as international platforms of discourse on general and theoretical issues and major trends in historiography, to international collections of papers. Journal editors should therefore force their authors to write a more international report, and authors should be encouraged to submit papers of international interest and from a more general, transnational and methodological point of view.

TARWIS - A Testbed Management Architecture for Wireless Sensor Network Testbeds

With research on Wireless Sensor Networks (WSNs) becoming more and more mature in the past five years, researchers from universities all over the world have set up testbeds of wireless sensor networks, in most cases to test and evaluate the real-world behavior of developed WSN protocol mechanisms. Although these testbeds differ heavily in the employed sensor node types and the general architectural set up, they all have similar requirements with respect to management and scheduling functionalities: as every shared resource, a testbed requires a notion of users, resource reservation features, support for reprogramming and reconfiguration of the nodes, provisions to debug and remotely reset sensor nodes in case of node failures, as well as a solution for collecting and storing experimental data. The TARWIS management architecture presented in this paper targets at providing these functionalities independent from node type and node operating system. TARWIS has been designed as a re-usable management solution for research and/or educational oriented research testbeds of wireless sensor networks, relieving researchers intending to deploy a testbed from the burden to implement their own scheduling and testbed management solutions from scratch.

HMGA1 and HMGA2 protein expression correlates with advanced tumour grade and lymph node metastasis in pancreatic adenocarcinoma

Pancreatic ductal adenocarcinoma follows a multistep model of progression through precursor lesions called pancreatic intraepithelial neoplasia (PanIN). The high mobility group A1 (HMGA1) and high mobility group A2 (HMGA2) proteins are architectural transcription factors that have been implicated in the pathogenesis and progression of malignant tumours, including pancreatic cancer. The aim of this study was to explore the role of HMGA1 and HMGA2 in pancreatic carcinogenesis.

Leiomyomatoid angiomatous neuroendocrine tumor (LANT) of the pituitary: a distinctive biphasic neoplasm with primitive secretory phenotype and smooth muscle-rich stroma

We describe a hitherto undocumented variant of dimorphic pituitary neoplasm composed of an admixture of neurosecretory cells and profuse leiomyomatous stroma around intratumoral vessels. Radiologically perceived as a macroadenoma of 3.8 cm in diameter, this pituitary mass developed in an otherwise healthy 43-year-old female. At the term of a yearlong history of amenorrhea and progressive bitemporal visual loss, subtotal resection was performed via transsphenoidal microsurgery. Discounting mild hyperprolactinemia, there was no evidence of excess hormone production. Histologically, solid sheets, nests and cords of epithelial-looking, yet cytokeratin-negative cells were seen growing in a richly vascularized stroma of spindle cells. While strong immunoreactivity for NCAM, Synaptophysin and Chromogranin-A was detected in the former, the latter showed both morphological and immunophenotypic hallmarks of smooth muscle, being positive for vimentin, muscle actin and smooth muscle actin. Architectural patterns varied from monomorphous stroma-dominant zones through biphasic neuroendocrine-leiomyomatous areas, to pseudopapillary fronds along vascular cores. Only endothelia were labeled with CD34. Staining for S100 protein and GFAP, characteristics of sustentacular cells, as well as bcl-2 and c-kit was absent. Except for alpha-subunit, anterior pituitary hormones tested negative in tumor cells, as did a panel of peripheral endocrine markers, including serotonin, somatostatin, calcitonin, parathormone and vasoactive intestinal polypeptide. Mitotic activity was absent and the MIB-1 labeling index low (1-2%). While assignment of this lesion to any established neoplastic entity is not forthcoming, we propose it is being considered as a low-grade neuroendocrine tumor possibly related to null cell adenoma.

Package Patterns for Visual Architecture Recovery

Recovering the architecture is the first step towards reengineering a software system. Many reverse engineering tools use top-down exploration as a way of providing a visual and interactive process for architecture recovery. During the exploration process, the user navigates through various views on the system by choosing from several exploration operations. Although some sequences of these operations lead to views which, from the architectural point of view, are mode relevant than others, current tools do not provide a way of predicting which exploration paths are worth taking and which are not. In this article we propose a set of package patterns which are used for augmenting the exploration process with in formation about the worthiness of the various exploration paths. The patterns are defined based on the internal package structure and on the relationships between the package and the other packages in the system. To validate our approach, we verify the relevance of the proposed patterns for real-world systems by analyzing their frequency of occurrence in six open-source software projects.

An Instrument Design for Space-Based Optical Observation of Space Debris

Currently, observations of space debris are primarily performed with ground-based sensors. These sensors have a detection limit at some centimetres diameter for objects in Low Earth Orbit (LEO) and at about two decimetres diameter for objects in Geostationary Orbit (GEO). The few space-based debris observations stem mainly from in-situ measurements and from the analysis of returned spacecraft surfaces. Both provide information about mostly sub-millimetre-sized debris particles. As a consequence the population of centimetre- and millimetre-sized debris objects remains poorly understood. The development, validation and improvement of debris reference models drive the need for measurements covering the whole diameter range. In 2003 the European Space Agency (ESA) initiated a study entitled “Space-Based Optical Observation of Space Debris”. The first tasks of the study were to define user requirements and to develop an observation strategy for a space-based instrument capable of observing uncatalogued millimetre-sized debris objects. Only passive optical observations were considered, focussing on mission concepts for the LEO, and GEO regions respectively. Starting from the requirements and the observation strategy, an instrument system architecture and an associated operations concept have been elaborated. The instrument system architecture covers the telescope, camera and onboard processing electronics. The proposed telescope is a folded Schmidt design, characterised by a 20 cm aperture and a large field of view of 6°. The camera design is based on the use of either a frame-transfer charge coupled device (CCD), or on a cooled hybrid sensor with fast read-out. A four megapixel sensor is foreseen. For the onboard processing, a scalable architecture has been selected. Performance simulations have been executed for the system as designed, focussing on the orbit determination of observed debris particles, and on the analysis of the object detection algorithms. In this paper we present some of the main results of the study. A short overview of the user requirements and observation strategy is given. The architectural design of the instrument is discussed, and the main tradeoffs are outlined. An insight into the results of the performance simulations is provided.

Astroblastoma in a child

BACKGROUND: Astroblastoma, an uncommon neuroepithelial tumor, typically presents in young adults as a well-circumscribed cortical or subcortical spherical mass. Astroblastoma may cause a diagnostic problem to anyone unfamiliar with its architectural and histological features. CASE HISTORY: We report the case of a 4-year-old boy who was referred for complaints of progressive deficits of balance and difficulty with walking during the previous 3 months. A large fronto-parietal cystic mass with solid mural nodule was discovered. Total removal of the tumor mass was performed, and a diagnosis of high grade (malignant) variant of astroblastoma was made. Postoperatively, the patient received radiation therapy, for a period of 11 weeks, followed by chemotherapy. He is in a good neurological recovery without any evidence of recurrence for 8 months. PROGNOSIS: The best treatment modality for astroblastoma is surgical resection if possible, whereas adjuvant therapy (radiotherapy and/or chemotherapy) can be considered in high-grade astroblastomas, with a close follow-up for all cases.

Neer Award 2007: Reversion of structural muscle changes caused by chronic rotator cuff tears using continuous musculotendinous traction. An experimental study in sheep

HYPOTHESIS: Chronic rotator cuff tears are associated with irreversible architectural muscle changes and a high rate of repair failure. The changes observed in man and their irreversibility with a single stage repair can be reproduced in sheep. It was the purpose of this experiment to test the hypothesis that slow, continuous elongation of a retracted musculotendinous unit allows reversal of the currently irreversible structural muscle changes. MATERIALS AND METHODS: The infraspinatus tendon of 12 sheep was released using a greater tuberosity osteotomy and allowed to retract for 4 months. Then, a new device was mounted on the scapular spine and used to extend the infraspinatus muscuculotendinous unit transcutaneously by 1 mm per day. Thereafter, the tendon was repaired back to the greater tuberosity. We assessed the muscular architecture using magnetic resonance imaging, macroscopic dissection, histology, and electron microscopy. Fatty infiltration (in Hounsfield units 1/4 HU) and muscular cross-sectional area (in % of the control side) were monitored with computed tomography at tendon release, initiation of elongation, repair, and at sacrifice. RESULTS: Sixteen weeks after tendon release, the mean tendon retraction was 29 +/- 6 mm (14% of original length, P = .008). In 8 sheep, elongation was achieved as planned (group I), but in 4, the elongation failed technically (group II). The mean traction time was 24 +/- 6 days with a mean traction distance of 19 +/- 4 mm. At sacrifice, the mean pennation angle in the infraspinatus of group I was not different from the control side (29.8 degrees +/-7.5 degrees vs. 30 degrees +/-6 degrees , P = .575). In group II, the pennation angle had increased from 30 degrees +/-6 degrees to 55 degrees +/-14 degrees (P = .035). There was no fatty infiltration at the time of tendon release. After retraction, there was a significant increase in fatty infiltration of the infraspinatus muscle and a decrease of its cross-sectional area to 57% of the contralateral side (P = .0001). During traction, the degree of fatty infiltration remained unchanged (36 HU to 38 HU, P = .381), and atrophy improved to a muscle square area of 78% of the contralateral side (P = .0001) in group I. In group II, an increase of fatty infiltration was measured from 36 HU to 28 HU; however, this increase was not significant (P = .144). Atrophy did not change in group II (57-55%, P = .946). At sacrifice, the remaining muscle mass was 64% in group I and 46% in group II (P = .019). DISCUSSION: Our preliminary results document, that continuous elongation of a retracted, fatty infiltrated and atrophied musculotendinous unit is technically feasible. CONCLUSION: In the sheep, continuous elongation can lead to restoration of normal muscle architecture, to partial reversal of muscle atrophy, and to arrest of the progression of fatty infiltration. LEVEL OF EVIDENCE: Basic science level 2; Prospective comparative therapeutic study.