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.

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.

Retinoic acid signaling organizes endodermal organ specification along the entire antero-posterior axis

BACKGROUND: Endoderm organ primordia become specified between gastrulation and gut tube folding in Amniotes. Although the requirement for RA signaling for the development of a few individual endoderm organs has been established a systematic assessment of its activity along the entire antero-posterior axis has not been performed in this germ layer. METHODOLOGY/PRINCIPAL FINDINGS: RA is synthesized from gastrulation to somitogenesis in the mesoderm that is close to the developing gut tube. In the branchial arch region specific levels of RA signaling control organ boundaries. The most anterior endoderm forming the thyroid gland is specified in the absence of RA signaling. Increasing RA in anterior branchial arches results in thyroid primordium repression and the induction of more posterior markers such as branchial arch Hox genes. Conversely reducing RA signaling shifts Hox genes posteriorly in endoderm. These results imply that RA acts as a caudalizing factor in a graded manner in pharyngeal endoderm. Posterior foregut and midgut organ primordia also require RA, but exposing endoderm to additional RA is not sufficient to expand these primordia anteriorly. We show that in chick, in contrast to non-Amniotes, RA signaling is not only necessary during gastrulation, but also throughout gut tube folding during somitogenesis. Our results show that the induction of CdxA, a midgut marker, and pancreas induction require direct RA signaling in endoderm. Moreover, communication between CdxA(+) cells is necessary to maintain CdxA expression, therefore synchronizing the cells of the midgut primordium. We further show that the RA pathway acts synergistically with FGF4 in endoderm patterning rather than mediating FGF4 activity. CONCLUSIONS/SIGNIFICANCE: Our work establishes that retinoic acid (RA) signaling coordinates the position of different endoderm organs along the antero-posterior axis in chick embryos and could serve as a basis for the differentiation of specific endodermal organs from ES cells.

XML for Model Specification in Neuroscience

One of the main roles of the Neural Open Markup Language, NeuroML, is to facilitate cooperation in building, simulating, testing and publishing models of channels, neurons and networks of neurons. MorphML, which was developed as a common format for exchange of neural morphology data, is distributed as part of NeuroML but can be used as a stand-alone application. In this collection of tutorials and workshop summary, we provide an overview of these XML schemas and provide examples of their use in down-stream applications. We also summarize plans for the further development of XML specifications for modeling channels, channel distributions, and network connectivity.

Neuroretina specification in mouse embryos requires Six3-mediated suppression of Wnt8b in the anterior neural plate.

Retinal degeneration causes vision impairment and blindness in humans. If one day we are to harness the potential of stem cell-based cell replacement therapies to treat these conditions, it is imperative that we better understand normal retina development. Currently, the genes and mechanisms that regulate the specification of the neuroretina during vertebrate eye development remain unknown. Here, we identify sine oculis-related homeobox 3 (Six3) as a crucial player in this process in mice. In Six3 conditional-mutant mouse embryos, specification of the neuroretina was abrogated, but that of the retinal pigmented epithelium was normal. Conditional deletion of Six3 did not affect the initial development of the optic vesicle but did arrest subsequent neuroretina specification. Ectopic rostral expansion of Wnt8b expression was the major response to Six3 deletion and the leading cause for the specific lack of neuroretina, as ectopic Wnt8b expression in transgenic embryos was sufficient to suppress neuroretina specification. Using chromatin immunoprecipitation assays, we identified Six3-responsive elements in the Wnt8b locus and demonstrated that Six3 directly repressed Wnt8b expression in vivo. Our findings provide a molecular framework to the program leading to neuroretina differentiation and may be relevant for the development of novel strategies aimed at characterizing and eventually treating different abnormalities in eye formation.

{\it Hox\/} genes and specification of regional identity in the axial skeleton: Analysis of the individual and combined mutant phenotypes of the paralogous group 4 murine {\it Hox\/} genes; {\it hoxa\/}-4, {\it hoxb\/}-4 and {\it hoxd\/}-4

The Hox gene products are transcription factors involved in specifying regional identity along the anteroposterior body axis. In Drosophila, where these genes are known as HOM-C (Homeotic-complex) genes and where they have been most extensively studied, they are expressed in restricted domains along the anteroposterior axis with different anterior limits. Genetic analysis of a large number of gain- and loss-of-function alleles of these genes has revealed that these genes are important in specifying segmental identity at their anterior limits of expression. Furthermore, there is a functional dominance of posterior genes over anterior genes, such that posterior genes can dominantly specify their developmental programs in spite of the expression of more anterior genes in the same segment. In the mouse, there are four clusters of HOM-C genes, called Hox genes. Thus, there may be up to four genes, called paralogs, that are more highly homologous to each other and to their Drosophila homolog than they are to the other mouse Hox genes. The single mutants for two paralogous genes, hoxa-4 and hoxd-4, presented in this dissertation, are similar to several other mouse Hox mutants in that they show partial, incompletely penetrant homeotic transformations of vertebrae at their anterior limit of expression. These mutants were then bred with hoxb-4 mutants (Ramirez-Solis, et al. 1993) to generate the three possible double mutant combinations as well as the triple mutant. The skeletal phenotypes of these group 4 Hox compound mutants displayed clear alterations in regional identity, such that a nearly complete transformation towards the morphology of the first cervical vertebra occurs. These results suggest a certain degree of functional redundancy among paralogous genes in specifying regional identity. Furthermore, there was a remarkable dose-dependent increase in the number of vertebrae transformed to a first cervical vertebra identity, including the second through the fifth cervical vertebrae in the triple mutant. Thus, these genes are required in a larger anteroposterior domain than is revealed by the single mutant phenotypes alone, such that multiple mutations in these genes result in transformations of vertebrae that are not at their anterior limit of expression. ^

Molecular regulatory mechanisms and embryonic tissue specification in sea urchin development

To understand how a eukaryote achieves differential transcription of genes in precise spatial patterns, the molecular details of tissue specific expression of the Strongylocentrotus purpuratus Spec2a gene were investigated by functional studies of the cis-regulatory components in the upstream enhancer. Regional activation of Spec2a in the aboral ectoderm is conferred by a combination of activators and repressors. The positive regulators include previously identified SpOtx and a trans-regulatory factor binding at the CCAAT site in the Spec2a enhancer. The nuclear protein binding to the CCAAT box was determined to be the heterotrimeric CCAAT binding factor (SpCBF). SpCBF also mediates general activation in the ectoderm. The negative regulators consist of an oral ectoderm repressor (OER), an endoderm repressor (ENR), and an S. Purpuratus goosecoid homologue (SpGsc). OER functions to prevent expression in the oral ectoderm, while ENR is required to repress endoderm expression. SpGsc antagonizes the SpOtx function by competing for binding at SpOtx target genes in oral ectoderm, where it functions as an active repressor. Thus, SpOtx and SpGsc perform collectively to establish and maintain the oral-aboral axis. Finally, purification of ENR and OER proteins from sea urchin blastula stage nuclear extracts was performed using site-specific DNA-affmity chromatography. ^

Functional analysis of the sea urchin {\it orthodenticle\/} -related gene, {\it SPOTX\/}, in aboral ectoderm-specific gene activation and aboral ectoderm cell fate specification

An important question in developmental biology is how embryonic cell types are derived from a fertilized egg. To address this question, this thesis investigates the mechanisms by which the aboral ectoderm-specific Spec2a gene is spatially and temporally regulated during sea urchin embryogenesis. The Spec2a gene of the sea urchin Strongylocentratus purpuratus has served as a valuable maker to understand the basis of lineage-specific gene activation and the role of transcription factors in cell fate specification. The hypothesis is that transcription factors responsible for cell type-specific gene activation are key components in the initial cell specification step. The Spec2a gene, which encodes a small cytosolic calcium-binding protein, is expressed exclusively in aboral ectoderm cell lineages. The 1516-bp control region of the Spec2a gene contains a 188-bp enhancer element required for temporal activation and aboral ectoderm/mesenchyme cell expression, while an unidentified element upstream of the enhancer represses expression in mesenchyme cells. Using an enhancer activation assay, combined with site-directed mutagenesis, I showed that three TAATCC/T sites within the enhancer are responsible for enhancer activity. Mutagenizing these sites and a fourth one just upstream abolished all activity from the Spec2a control region. A 77-bp DNA fragment from the Spec2a enhancer containing two of the TAATCC/T sites is sufficient for aboral ectoderm/mesenchyme cell expression. A cDNA encoding SpOtx, an orthodenticle-related protein, was cloned from S. purpuratus and shown to bind with high affinity to the TAATCC/T sequences within the Spec2a control region. SpOtx transcripts were found initially in all cells of the cleaving embryo, but they gradually became restricted to oral ectoderm and endoderm cells, suggesting that SpOtx might play a role in the initial temporal activation of the Spec2a gene and most likely has additional functions in the developing embryo. To reveal the broader biological functions of SpOtx, I injected SpOtx mRNA into living sea urchin eggs to determine what effects overexpressing the SpOtx protein might have on embryo development. SpOtx mRNA-injected embryos displayed dramatic alterations in development. Instead of developing into pluteus larvae with 15 different cell types, uniform epithelia balls were formed. These balls consisted of a thin layer of squamous cells with short cilia highly reminiscent of aboral ectoderm. Immunohistochemical staining and RT-PCR demonstrated that the SpOtx-injected embryoids expressed aboral ectoderm markers uniformly, but showed very weak or no expression of markers for non-aboral ectoderm cell types. These data strongly suggested that overexpression of SpOtx redirected the normal fate of non-aboral ectoderm cells to that of aboral ectoderm. These results show that SpOtx is involved in aboral ectoderm differentiation by activating aboral ectoderm-specific genes and that modulating its expression can lead to changes in cell fate. ^

Mineralogy and structural specification of ODP Leg 125 peridotite samples

Abundant serpentinite seamounts are found along the outer high of the Mariana forearc at the top of the inner slope of the trench. One of them, Conical Seamount, was drilled at Sites 778, 779, and 780 during Leg 125. The rocks recovered at Holes 779A and 780C, respectively, on the flanks and at the summit of the seamount, include moderately serpentinized depleted harzburgites and some dunites. These rocks exhibit evidence of resorption of the orthopyroxene, when present, and the local presence of very calcic-rich diopside in veins oblique to the main high-temperature foliation of the rock. The peridotites, initially well-foliated with locally poikiloblastic textures, show overprints of a two-stage deformation history: (1) a high-temperature (>1000°C), low-stress (0.02 GPa), homogeneous deformation that has led to the present Porphyroclastic textures displayed by the rocks and (2) heterogeneous ductile shearing at a much higher stress (0.05 GPa). This heterogeneous shearing probably describes a single tectonic event because it began at high temperatures, producing dynamic recrystallization of olivine in the shear zone, and ended at low temperatures in the stability field of chlorite and serpentine. In a few samples, olivine shows evidence of quasi-hydrostatic recrystallization at a very high temperature. Here, we propose that this recrystallization was related to fluid/magma percolation, a process that can also account for the resorption of the orthopyroxene and for the late crystallization of diopside veins in the rock. The impregnation by fluid or magma, development of the main high-temperature, low-stress deformation, and subsequent migration recrystallization of olivine probably occurred in a mantle fragment involved in the arc formation. In addition, this mantle has preserved structures that may have formed earlier in the oceanic lithosphere upon which the arc formed. Heterogeneous ductile shear zones in the peridotites may have developed during uplift. The "cold" deformation may have taken place during diapiric rise of hot mantle that underwent subsequent serpentinization or gliding along normal faults associated with the extension of the eastern margin of the forearc.

Simulation analysis of the EU ELV/RoHS directives based on an applied general equilibrium model with Melitz-type trade specification

This paper explores the potential usefulness of an AGE model with the Melitz-type trade specification to assess economic effects of technical regulations, taking the case of the EU ELV/RoHS directives as an example. Simulation experiments reveal that: (1) raising the fixed exporting cost to make sales in the EU market brings results that exports of the targeted commodities (motor vehicles and parts for ELV and electronic equipment for RoHS) to the EU from outside regions/countries expand while the domestic trade in the EU shrinks when the importer's preference for variety (PfV) is not strong; (2) if the PfV is not strong, policy changes that may bring reduction in the number of firms enable survived producers with high productivity to expand production to be large-scale mass producers fully enjoying the fruit of economies of scale; and (3) When the strength of the importer's PfV is changed from zero to unity, there is the value that totally changes simulation results and their interpretations.