Model-Centric, Context-Aware Software Adaptation

Software must be constantly adapted to changing requirements. The time scale, abstraction level and granularity of adaptations may vary from short-term, fine-grained adaptation to long-term, coarse-grained evolution. Fine-grained, dynamic and context-dependent adaptations can be particularly difficult to realize in long-lived, large-scale software systems. We argue that, in order to effectively and efficiently deploy such changes, adaptive applications must be built on an infrastructure that is not just model-driven, but is both model-centric and context-aware. Specifically, this means that high-level, causally-connected models of the application and the software infrastructure itself should be available at run-time, and that changes may need to be scoped to the run-time execution context. We first review the dimensions of software adaptation and evolution, and then we show how model-centric design can address the adaptation needs of a variety of applications that span these dimensions. We demonstrate through concrete examples how model-centric and context-aware designs work at the level of application interface, programming language and runtime. We then propose a research agenda for a model-centric development environment that supports dynamic software adaptation and evolution.

Taking an Object-Centric View on Dynamic Information with Object Flow Analysis

A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap snapshots. However, they do not capture how objects are passed through the system at runtime. We refer to the exchange of objects as the object flow, and we claim that object flow is necessary to analyze if we are to understand the runtime of an object-oriented application. We propose and detail Object Flow Analysis, a novel dynamic analysis technique that takes this new information into account. To evaluate its usefulness, we present a visual approach that allows a developer to study classes and components in terms of how they exchange objects at runtime. We illustrate our approach on three case studies.

Flow-Centric, Back-In-Time Debugging

Conventional debugging tools present developers with means to explore the run-time context in which an error has occurred. In many cases this is enough to help the developer discover the faulty source code and correct it. However, rather often errors occur due to code that has executed in the past, leaving certain objects in an inconsistent state. The actual run-time error only occurs when these inconsistent objects are used later in the program. So-called back-in-time debuggers help developers step back through earlier states of the program and explore execution contexts not available to conventional debuggers. Nevertheless, even back-in-time debuggers do not help answer the question, ``Where did this object come from?'' The Object-Flow Virtual Machine, which we have proposed in previous work, tracks the flow of objects to answer precisely such questions, but this VM does not provide dedicated debugging support to explore faulty programs. In this paper we present a novel debugger, called Compass, to navigate between conventional run-time stack-oriented control flow views and object flows. Compass enables a developer to effectively navigate from an object contributing to an error back-in-time through all the code that has touched the object. We present the design and implementation of Compass, and we demonstrate how flow-centric, back-in-time debugging can be used to effectively locate the source of hard-to-find bugs.

Conserved leucine residue in the head region of morbillivirus fusion protein regulates the large conformational change during fusion activity

Paramyxovirus cell entry is controlled by the concerted action of two viral envelope glycoproteins, the fusion (F) and the receptor-binding (H) proteins, which together with a cell surface receptor mediate plasma membrane fusion activity. The paramyxovirus F protein belongs to class I viral fusion proteins which typically contain two heptad repeat regions (HR). Particular to paramyxovirus F proteins is a long intervening sequence (IS) located between both HR domains. To investigate the role of the IS domain in regulating fusogenicity, we mutated in the canine distemper virus (CDV) F protein IS domain a highly conserved leucine residue (L372) previously reported to cause a hyperfusogenic phenotype. Beside one F mutant, which elicited significant defects in processing, transport competence, and fusogenicity, all remaining mutants were characterized by enhanced fusion activity despite normal or slightly impaired processing and cell surface targeting. Using anti-CDV-F monoclonal antibodies, modified conformational F states were detected in F mutants compared to the parental protein. Despite these structural differences, coimmunoprecipitation assays did not reveal any drastic modulation in F/H avidity of interaction. However, we found that F mutants had significantly enhanced fusogenicity at low temperature only, suggesting that they folded into conformations requiring less energy to activate fusion. Together, these data provide strong biochemical and functional evidence that the conserved leucine 372 at the base of the HRA coiled-coil of F(wt) controls the stabilization of the prefusogenic state, restraining the conformational switch and thereby preventing extensive cell-cell fusion activity.

Phylogeny of horse chromosome 5q in the genus Equus and centromere repositioning

Horses, asses and zebras belong to the genus Equus and are the only extant species of the family Equidae in the order Perissodactyla. In a previous work we demonstrated that a key factor in the rapid karyotypic evolution of this genus was evolutionary centromere repositioning, that is, the shift of the centromeric function to a new position without alteration of the order of markers along the chromosome. In search of previously undiscovered evolutionarily new centromeres, we traced the phylogeny of horse chromosome 5, analyzing the order of BAC markers, derived from a horse genomic library, in 7 Equus species (E. caballus, E. hemionus onager, E. kiang, E. asinus, E. grevyi, E. burchelli and E. zebra hartmannae). This analysis showed that repositioned centromeres are present in E. asinus (domestic donkey, EAS) chromosome 16 and in E. burchelli (Burchell's zebra, EBU) chromosome 17, confirming that centromere repositioning is a strikingly frequent phenomenon in this genus. The observation that the neocentromeres in EAS16 and EBU17 are in the same chromosomal position suggests that they may derive from the same event and therefore, E. asinus and E. burchelli may be more closely related than previously proposed; alternatively, 2 centromere repositioning events, involving the same chromosomal region, may have occurred independently in different lineages, pointing to the possible existence of hot spots for neocentromere formation. Our comparative analysis also showed that, while E. caballus chromosome 5 seems to represent the ancestral configuration, centric fission followed by independent fusion events gave rise to 3 different submetacentric chromosomes in other Equus lineages.

Illusions of fusions: assessing cervical vertebral fusion on lateral cephalograms, multidetector computed tomographs, and cone-beam computed tomographs

INTRODUCTION The aims of this study were to compare lateral cephalograms with other radiologic methods for diagnosing suspected fusions of the cervical spine and to validate the assessment of congenital fusions and osteoarthritic changes against the anatomic truth. METHODS Four cadaver heads were selected with fusion of vertebrae C2 and C3 seen on a lateral cephalogram. Multidetector computed tomography (MDCT) and cone-beam computed tomography (CBCT) were performed and assessed by 5 general radiologists and 5 oral radiologists, respectively. Vertebrae C2 and C3 were examined for osseous fusions, and the left and right facet joints were diagnosed for osteoarthritis. Subsequently, the C2 and C3 were macerated and appraised by a pathologist. Descriptive analysis was performed, and interrater agreements between and within the groups were computed. RESULTS All macerated specimens showed osteoarthritic findings of varying degrees, but no congenital bony fusion. All observers agreed that no fusion was found on MDCT or CBCT. They disagreed on the prevalence of osteoarthritic deformities (general radiologists/MDCT, 100%; oral radiologists/CBCT, 93.3%) and joint space assessment in the facet joints (kappa = 0.452). The agreement within the rater groups differed considerably (general radiologists/MDCT, kappa = 0.612; oral radiologists/CBCT, kappa = 0.240). CONCLUSIONS Lateral cephalograms do not provide dependable data to assess the cervical spine for fusions and cause false-positive detections. Both MDCT interpreted by general radiologists and CBCT interpreted by oral radiologists are reliable methods to exclude potential fusions. Degenerative osteoarthritic changes are diagnosed more accurately and consistently by general radiologists evaluating MDCT.

Opportunistic Content-Centric Data Transmission During Short Network Contacts

In this paper, we investigate content-centric data transmission in the context of short opportunistic contacts and base our work on an existing content-centric networking architecture. In case of short interconnection times, file transfers may not be completed and the received information is discarded. Caches in content-centric networks are used for short-term storage and do not guarantee persistence. We implemented a mechanism to extend caching on persistent storage enabling the completion of disrupted content transfers. The mechanisms have been implemented in the CCNx framework and have been evaluated on wireless mesh nodes. Our evaluations using multicast and unicast communication show that the implementation can support content transfers in opportunistic environments without significant processing and storing overhead.

Comparison of the biomechanical properties of a ventral cervical intervertebral anchored fusion device with locking plate fixation applied to cadaveric canine cervical spines

OBJECTIVE: To evaluate fixation properties of a new intervertebral anchored fusion device and compare these with ventral locking plate fixation. STUDY DESIGN: In vitro biomechanical evaluation. ANIMALS: Cadaveric canine C4-C7 cervical spines (n = 9). METHODS: Cervical spines were nondestructively loaded with pure moments in a nonconstraining testing apparatus to induce flexion/extension while angular motion was measured. Range of motion (ROM) and neutral zone (NZ) were calculated for (1) intact specimens, (2) specimens after discectomy and fixation with a purpose-built intervertebral fusion cage with integrated ventral fixation, and (3) after removal of the device and fixation with a ventral locking plate. RESULTS: Both fixation techniques resulted in a decrease in ROM and NZ (P < .001) compared with the intact segments. There were no significant differences between the anchored spacer and locking plate fixation. CONCLUSION: An anchored spacer appears to provide similar biomechanical stability to that of locking plate fixation.