Computational support for the process of software requirement specification

The software industry has become more and more concerned with the appropriate application of activities that composes requirement engineering as a way to improve the quality of its products. In order to support these activities, several computational tools have been available in the market, although it is still possible to find a lack of resources related to some activities. In this context, this paper proposes the inclusion of a module to aid in the requirements specification to a tool called Requirements Elicitation Support Tool. This module allows to specify requirements in accordance with IEEE 830 standard, thus contributing to the documentation of the requirements established for a software system, besides supporting the learning of concepts related to the requirements specification, which improves the skills of users of the tool. © 2012 IEEE.

Transmissable Dog Cancer Genome Reveals the Origin and History of an Ancient Cell Lineage

Canine transmissible venereal tumor (CTVT) is the oldest known somatic cell lineage. It is a transmissible cancer that propagates naturally in dogs. We sequenced the genomes of two CTVT tumors and found that CTVT has acquired 1.9 million somatic substitution mutations and bears evidence of exposure to ultraviolet light. CTVT is remarkably stable and lacks subclonal heterogeneity despite thousands of rearrangements, copy-number changes, and retrotransposon insertions. More than 10,000 genes carry nonsynonymous variants, and 646 genes have been lost. CTVT first arose in a dog with low genomic heterozygosity that may have lived about 11,000 years ago. The cancer spawned by this individual dispersed across continents about 500 years ago. Our results provide a genetic identikit of an ancient dog and demonstrate the robustness of mammalian somatic cells to survive for millennia despite a massive mutation burden.

Methicillin-resistant Staphylococcus aureus of lineage ST398 as cause of mastitis in cows

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Identification of the notothenioid sister lineage illuminates the biogeographic history of an Antarctic adaptive radiation

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Influence of lineage of oocyte donor on the yield and morphology of oocytes recovered by ultrasound-guided follicular aspiration in nellore cows

The objective of this study was to investigate the influence of lineage of oocytes donors on the number and quality of oocytes obtained through ultrasound-guided follicular aspiration in Nellore breed cows derived from two lineages of bulls (Karvadi; K and Taj-Mahal; T). Both maternal (Km and Tm) and paternal (Kp and Tp) lineages, as well as their combinations were investigated. Oocyte aspirations were repeatedly performed with an aspiration interval of 15 days in 56 donor females. Recovered cumulus oocyte-complexes (COCs) were counted, morphologically examined and classified into seven categories (grades from I to VII) according to the number of layers of the cumulus oocyte and cytoplasm appearance. The mean number of oocytes retrieved from donors of lineage Tp-Tm was significantly higher (28.23±1.92, P<0.05) than those obtained from lineages Kp-Tm, Kp-Km, and Tp-Km (21.34±1.32, 21.28±1.73, and 16.72±1.31, respectively). There was no significant difference in the mean number of recovered oocytes between donors of lineages Kp-Km and Kp-Tm, whereas animals of lineage Tp-Km yielded the lowest number of oocytes. Higher mean number of grade III oocytes was recovered from donors of lineage Kp than lineage Tp (10.11±0.66 versus 8.79±0.58, respectively), with more grade III oocytes being obtained in both lineages as compared to the others. Paternal lineage did not influence the quality of recovered oocytes in any other category, but both Kp and Tp yielded a great mean number of oocytes graded as I, II, and III (3.14±0.21; 4.93±0.33, and 10.11±0.66 versus 3.19±0.21, 5.59±0.44, and 8.79±0.58, respectively) than those classified as IV, V, VI, and VII. However, when considering the data from the maternal lineage significantly more oocytes (P<0.05) of grade I, II and III were obtained from Taj-Mahal (11.67 ± 0.67, 5.9±0.42 and 3.64±0.25, respectively) than for lineage Karvadi, with similar results for oocytes of grades IV, V, VI, and VII. Similarly to the paternal lineage, the number of oocytes of grade III was superior (P<0.05) when compared to other categories for both lineages. In conclusion, we demonstrate here a direct influence of lineage of oocyte donor on the production and quality of oocytes obtained through ultrasound-guided follicular aspiration in Nellore cows.

Extrinsic Purinergic Regulation of Neural Stem/Progenitor Cells: Implications for CNS Development and Repair

There has been tremendous progress in understanding neural stem cell (NSC) biology, with genetic and cell biological methods identifying sequential gene expression and molecular interactions guiding NSC specification into distinct neuronal and glial populations during development. Data has emerged on the possible exploitation of NSC-based strategies to repair adult diseased brain. However, despite increased information on lineage specific transcription factors, cell-cycle regulators and epigenetic factors involved in the fate and plasticity of NSCs, understanding of extracellular cues driving the behavior of embryonic and adult NSCs is still very limited. Knowledge of factors regulating brain development is crucial in understanding the pathogenetic mechanisms of brain dysfunction. Since injury-activated repair mechanisms in adult brain often recapitulate ontogenetic events, the identification of these players will also reveal novel regenerative strategies. Here, we highlight the purinergic system as a key emerging player in the endogenous control of NSCs. Purinergic signalling molecules (ATP, UTP and adenosine) act with growth factors in regulating the synchronized proliferation, migration, differentiation and death of NSCs during brain and spinal cord development. At early stages of development, transient and time-specific release of ATP is critical for initiating eye formation; once anatomical CNS structures are defined, purinergic molecules participate in calcium-dependent neuron-glia communication controlling NSC behaviour. When development is complete, some purinergic mechanisms are silenced, but can be re-activated in adult brain after injury, suggesting a role in regeneration and self-repair. Targeting the purinergic system to develop new strategies for neurodevelopmental disorders and neurodegenerative diseases will be also discussed.

Characterization of Bean Necrotic Mosaic Virus: A Member of a Novel Evolutionary Lineage within the Genus Tospovirus

Background: Tospoviruses (Genus Tospovirus, Family Bunyaviridae) are phytopathogens responsible for significant worldwide crop losses. They have a tripartite negative and ambisense RNA genome segments, termed S (Small), M (Medium) and L (Large) RNA. The vector-transmission is mediated by thrips in a circulative-propagative manner. For new tospovirus species acceptance, several analyses are needed, e. g., the determination of the viral protein sequences for enlightenment of their evolutionary history. Methodology/Principal Findings: Biological (host range and symptomatology), serological, and molecular (S and M RNA sequencing and evolutionary studies) experiments were performed to characterize and differentiate a new tospovirus species, Bean necrotic mosaic virus (BeNMV), which naturally infects common beans in Brazil. Based upon the results, BeNMV can be classified as a novel species and, together with Soybean vein necrosis-associated virus (SVNaV), they represent members of a new evolutionary lineage within the genus Tospovirus. Conclusion/Significances: Taken together, these evidences suggest that two divergent lineages of tospoviruses are circulating in the American continent and, based on the main clades diversity (American and Eurasian lineages), new tospovirus species related to the BeNMV-SVNaV clade remain to be discovered. This possible greater diversity of tospoviruses may be reflected in a higher number of crops as natural hosts, increasing the economic impact on agriculture. This idea also is supported since BeNMV and SVNaV were discovered naturally infecting atypical hosts (common bean and soybean, respectively), indicating, in this case, a preference for leguminous species. Further studies, for instance a survey focusing on crops, specifically of leguminous plants, may reveal a greater tospovirus diversity not only in the Americas (where both viruses were reported), but throughout the world.

Ecology of an uncultured heterotrophic flagellate lineage: MAST-4

Programa de oceanografía

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Investigations on formation and specification of neural precursor cells in the central nervous system of the Drosophila melanogaster embryo

Investigations on formation and specification of neural precursor cells in the central nervous system of the Drosophila melanogaster embryoSpecification of a unique cell fate during development of a multicellular organism often is a function of its position. The Drosophila central nervous system (CNS) provides an ideal system to dissect signalling events during development that lead to cell specific patterns. Different cell types in the CNS are formed from a relatively few precursor cells, the neuroblasts (NBs), which delaminate from the neurogenic region of the ectoderm. The delamination occurs in five waves, S1-S5, finally leading to a subepidermal layer consisting of about 30 NBs, each with a unique identity, arranged in a stereotyped spatial pattern in each hemisegment. This information depends on several factors such as the concentrations of various morphogens, cell-cell interactions and long range signals present at the position and time of its birth. The early NBs, delaminating during S1 and S2, form an orthogonal array of four rows (2/3,4,5,6/7) and three columns (medial, intermediate, and lateral) . However, the three column and four row-arrangement pattern is only transitory during early stages of neurogenesis which is obscured by late emerging (S3-S5) neuroblasts (Doe and Goodman, 1985; Goodman and Doe, 1993). Therefore the aim of my study has been to identify novel genes which play a role in the formation or specification of late delaminating NBs.In this study the gene anterior open or yan was picked up in a genetic screen to identity novel and yet unidentified genes in the process of late neuroblast formation and specification. I have shown that the gene yan is responsible for maintaining the cells of the neuroectoderm in an undifferentiated state by interfering with the Notch signalling mechanism. Secondly, I have studied the function and interactions of segment polarity genes within a certain neuroectodermal region, namely the engrailed (en) expressing domain, with regard to the fate specification of a set of late neuroblasts, namely NB 6-4 and NB 7-3. I have dissected the regulatory interaction of the segment polarity genes wingless (wg), hedgehog (hh) and engrailed (en) as they maintain each other’s expression to show that En is a prerequisite for neurogenesis and show that the interplay of the segmentation genes naked (nkd) and gooseberry (gsb), both of which are targets of wingless (wg) activity, leads to differential commitment of NB 7-3 and NB 6-4 cell fate. I have shown that in the absence of either nkd or gsb one NB fate is replaced by the other. However, the temporal sequence of delamination is maintained, suggesting that formation and specification of these two NBs are under independent control.

Analyse der temporären Neuroblastenbildung und der segmentalen Spezifizierung des Neuroblasten 6-4 im embryonalen zentralen Nervensystem von Drosophila melanogaster

Die vorliegende Arbeit gewährte neue Einblicke in zwei fundamentale Vorgänge der frühen Neurogenese von Drosophila melanogaster. Der erste Teil untersuchte die zeitliche Spezifizierung der Neuroblastenidentitäten. Durch die Expression verschiedener Gene entlang der Dorsoventral- und der Anterioposteriorachse wird ein kartesisches Koordinatensystem aufgebaut, indem ein Neuroblast (NB), der in einem bestimmten Quadranten entsteht, eine spezifische Identität erhält. Die Delamination der NBs erfolgt in fünf Segregationswellen, wobei in jeder Welle die gleiche Population NBs gebildet wird. In dieser Arbeit konnte nun gezeigt werden, dass es nicht nur einen räumlichen, sondern auch einen zeitlichen Aspekt bei der Entstehung der NBs gibt: So zeigten Transplantationsexperimente, dass sowohl im frühen als auch im späten Neuroektoderm extrinsische induktive Signale an der Spezifizierung der Neuroblastenidentität beteiligt sind. Die Natur dieser Signale bleibt noch unklar. Allerdings stellen die Segmentpolaritätsgene aufgrund ihrer dynamischen Expression eine potenzielle Kandidatengruppe dar. Der zweite Teil beschäftigte sich mit der segmentalen Spezifizierung der Neuroblasten. Für diesen Prozess zeigten frühere Genexpressionsstudien, dass NBs, die zwar an korrespondierenden Positionen innerhalb des kartesischen Systems, aber in unterschiedlichen Segmenten gebildet werden, die gleichen Genexpressionsmuster aufweisen und fast identische Zellstammbäume hervorbringen. Einige dieser seriell homologen NBs generieren jedoch segmentspezifische Zellstammbäume – ein solches Beispiel ist der NB6-4, der als Modellsystem benutzt wurde. Für die thorakale Variante dieses NBs konnte ich zeigen, dass die Homöotischen Gene zur Spezifizierung nicht notwendig sind – thorakales Schicksal ist eine Grundidentität. Diese wird in abdominalen Segmenten jedoch durch die Funktion der Homöotischen Gene abdominal-A (abd-A) und Abdominal-B (Abd-B) in abdominales Schicksal transformiert. Dieser segmentale Unterschied wird durch die Regulation des Zellzyklusgens CycE bewerkstelligen. Genauer: CycE ist notwendig, um neurogliales Schicksal in thorakalen Segmenten zu generieren und ausreichend, dieses Schicksal ebenfalls in abdominalen Segmenten zu erzeugen. Eine direkte Inhibierung der Expression von CycE durch Abd-A in abdominalen Segmenten führt dagegen zu einer differenziellen Expression von CycE im neuronalen thorakalen Anteil des Zellstammbaums. Weiterhin konnten in einem Enhancerelement, das für die Expression von CycE im Nervensystem verantwortlich ist, mehrere Bindestellen für Abd-A und Abd-B gefunden werden. Die gewonnen Daten legen – in Verbindung mit bereits bekannten Ergebnissen – den Schluss nahe, dass diese neuronspezifizierende Funktion von CycE unabhängig von seiner Rolle im Zellzyklus ist.

Role of the Transcription Factor Sox2 in the Osteogenic Lineage

The Sox2 transcription factor is modified by sumoylation at the K247 position although the addition of SUMO1 and Pias1 promotes the sumoylation of Sox2 at the additional K123 site. The role of sumoylation on Sox2 biological functions was analyzed by comparing the activity of WT and sumoylation mutants on the transcription of the FGF4 gene in HeLa cells and on the downregulation of the Wnt pathwayvin 293T cells. When SUMO1 and PIAS1 promote the sumoylation of WT Sox2, the transcriptional activity of the FGF4 promoter is inhibited showing that Sox2 sumoylation is necessary for the repression function. However, there is no effect of Sox2 sumoylation on β-Catenin activity. Since we were interested in osteoblast differentiation we set up an inducible system for Sox2 in primary osteoblasts. Following Sox2 doxycycline induction, 158 genes were differentially expressed: 120 up-regulated and 38 down-regulated. We annotated as direct Sox2 targets a number of genes involved in osteoblast biology and we further analyzed 3 of them involved in the BMP pathway. The results show that Sox2 regulates the BMP pathway without affecting SMAD phosphorylation, and that Sox2 sumoylation is not necessary for this function. We also found that genes involved in the Hippo pathway were direct Sox2 targets. As the Hippo pathway is activated by Sox2 and Sox2 interacts with the NF2 promoter, we checked the effect of Sox2 on the expression of NF2. We showed that Sox2 down-regulates the transcriptional activity of the NF2 promoter, allowing the transcription of the YAP/TEAD genes in osteoblasts, thus acting as an upstream regulator of the Hippo pathway. We conclude that Sox2 induction in osteoblasts triggers FGF dependent inhibition of the BMP, Wnt and Hippo pathways.

Klonale Analysen im embryonalen Gehirn von Drosophila mit besonderem Fokus auf die Entwicklung der Pilzkörper

Eine wichtige Voraussetzung für das Verständnis der Spezifizierungsmechanismen unterschiedlicher Zelltypen im embryonalen Gehirn ist die detaillierte Kenntnis des neuroektodermalen Ursprungs seiner neuralen Stammzellen (Neuroblasten, NB), sowie der Morphologie und zellulären Komposition der daraus hervorgehenden Zellstammbäume (ZSBe). In der vorliegenden Arbeit wurde die Entstehung und Topologie von 21 embryonalen ZSBen im anteriorsten Gehirnteil, dem Protocerebrum, charakterisiert, mit besonderem Fokus auf solche ZSBe, die den Pilzkörper konstituieren. Pilzkörper sind prominente, paarige Neuropilzentren, die eine wichtige Rolle bei der Verarbeitung olfaktorischer Informationen, beim Lernen und bei der Gedächtnisbildung spielen. In dieser Arbeit konnte erstmalig die Embryonalentwicklung der Pilzkörper ab dem Zeitpunkt der Entstehung ihrer NBen im procephalen Neuroektoderm (pNE), bis hin zum funktionellen Gehirnzentrum in der frühen Larve auf Ebene individueller ZSBe bzw. einzelner Neurone beschrieben werden. Mittels der klonalen Di-Markierungstechnik konnte ich zeigen, dass die vier NBen der Pilzkörper (PKNBen) jeder Gehirnhemisphäre innerhalb des NE aus dem ventralen Bereich der mitotischen Domäne B (δB) hervorgehen. Ein in diesem Bereich liegendes proneurales Feld beherbergt etwa 10-12 Zellen, die alle das Potential haben sich zu PKNBen zu entwickeln. Des Weiteren zeigen diese Untersuchungen, dass die PKNBen (und weitere NBen der δB) aus benachbarten NE-Zellen hervorgehen. Dieser Befund impliziert, dass der Mechanismus der lateralen Inhibition in diesem Bereich des NE keine Rolle spielt. Weiterhin stellte sich heraus, dass jeder PKNB eine ihm eigene Position im sich entwickelnden Pilzkörperkortex besetzt und eine spezifische Kombination der Transkriptionsfaktoren Dachshund, Eyeless und Retinal homeobox exprimiert. Dadurch konnte jeder der vier PKNBen in den betreffenden frühembryonalen NB-Karten einem der ca. 105 NBen pro Gehirnhemisphäre zugeordnet werden. Die PKNBen bringen individuelle ZSBe hervor, die Pilzkörper-intrinsische γ-Neurone beinhalten, aber auch jeweils charakteristische Sets an Interneuronen, die nicht am Aufbau des Pilzkörpers beteiligt sind. Diese verschiedenen Neuronentypen entstehen in einer zeitlichen Abfolge, die für jeden PKNBen spezifisch ist. Ihre embryonalen ZSBe sind aber nicht nur durch individuelle Sets an frühgeborenen ni-Neuronen charakterisiert, sondern auch durch spezifische Unterschiede in der Anzahl ihrer γ-Neurone, welche jedoch, wie ich zeigen konnte, nicht durch Apoptose reguliert wird. Weiterhin konnte ich zeigen, dass γ-Neurone, in einer PKNB Klon-abhängigen Weise, spezifische Unterschiede in der räumlich-zeitlichen Innervation des Pedunkels, der Calyx und der Loben aufweisen. Im Weiteren wurde die Expression verschiedener molekularer Marker in diesen ZSBen charakterisiert, u.a. die Expression verschiedener Gal4-Fliegenstämme, und solcher Transkriptionsfaktoren, die eine wichtige Rolle bei der temporären Spezifizierung im VNS spielen. So werden hb, Kr, pdm1 auch in Nachkommenzellen der PKNBen exprimiert und haben möglicherweise eine Funktion bei ihrer temporären Spezifizierung. Diese Arbeit gibt auch erstmalig Einblick in die vollständige spätembryonale/frühlarvale Morphologie anderer protocerebraler Gehirnzellstammbäume aus δB und δ1. Die Beschreibungen dieser ZSBe beinhalten Angaben zu deren Zellzahl, Zelltypen, der Lage der ZSBe im Gehirn, axonalen/dendritischen Projektionsmustern sowie dem Entstehungsort des NBen.

A QoS Controller Framework Compliant with the ETSI Network Function Virtualization Specification

The 5th generation of mobile networking introduces the concept of “Network slicing”, the network will be “sliced” horizontally, each slice will be compliant with different requirements in terms of network parameters such as bandwidth, latency. This technology is built on logical instead of physical resources, relies on virtual network as main concept to retrieve a logical resource. The Network Function Virtualisation provides the concept of logical resources for a virtual network function, enabling the concept virtual network; it relies on the Software Defined Networking as main technology to realize the virtual network as resource, it also define the concept of virtual network infrastructure with all components needed to enable the network slicing requirements. SDN itself uses cloud computing technology to realize the virtual network infrastructure, NFV uses also the virtual computing resources to enable the deployment of virtual network function instead of having custom hardware and software for each network function. The key of network slicing is the differentiation of slice in terms of Quality of Services parameters, which relies on the possibility to enable QoS management in cloud computing environment. The QoS in cloud computing denotes level of performances, reliability and availability offered. QoS is fundamental for cloud users, who expect providers to deliver the advertised quality characteristics, and for cloud providers, who need to find the right tradeoff between QoS levels that has possible to offer and operational costs. While QoS properties has received constant attention before the advent of cloud computing, performance heterogeneity and resource isolation mechanisms of cloud platforms have significantly complicated QoS analysis and deploying, prediction, and assurance. This is prompting several researchers to investigate automated QoS management methods that can leverage the high programmability of hardware and software resources in the cloud.