Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Detection of complex point targets with distributed assets in a MIMO radar system

The report explores the problem of detecting complex point target models in a MIMO radar system. A complex point target is a mathematical and statistical model for a radar target that is not resolved in space, but exhibits varying complex reflectivity across the different bistatic view angles. The complex reflectivity can be modeled as a complex stochastic process whose index set is the set of all the bistatic view angles, and the parameters of the stochastic process follow from an analysis of a target model comprising a number of ideal point scatterers randomly located within some radius of the targets center of mass. The proposed complex point targets may be applicable to statistical inference in multistatic or MIMO radar system. Six different target models are summarized here – three 2-dimensional (Gaussian, Uniform Square, and Uniform Circle) and three 3-dimensional (Gaussian, Uniform Cube, and Uniform Sphere). They are assumed to have different distributions on the location of the point scatterers within the target. We develop data models for the received signals from such targets in the MIMO radar system with distributed assets and partially correlated signals, and consider the resulting detection problem which reduces to the familiar Gauss-Gauss detection problem. We illustrate that the target parameter and transmit signal have an influence on the detector performance through target extent and the SNR respectively. A series of the receiver operator characteristic (ROC) curves are generated to notice the impact on the detector for varying SNR. Kullback–Leibler (KL) divergence is applied to obtain the approximate mean difference between density functions the scatterers assume inside the target models to show the change in the performance of the detector with target extent of the point scatterers.

FUNCTIONS OF DEADENYLATION FACTORS IN MRNA DECAY AND MRNA PROCESSING BODY FORMATION

Most newly synthesized messenger RNAs possess a 5’ cap and a 3’ poly(A) tail. The process of poly(A) tail shortening, also termed deadenylation, is important for post-transcriptional gene regulation, because deadenylation not only leads to mRNA translational inhibition but also is the first step of major mRNA degradation. Translationally inhibited mRNAs can be stored and/or degraded in dynamic cytoplasmic foci termed mRNA processing bodies, or P bodies, which are conserved in eukaryotes. To shed new light on the mechanisms of P body formation and P body functions, I focused on the link between deadenylation factors and P bodies. I found that the two major deadenylation complexes, Pan3-Pan2 and Ccr4-Caf1, can both be enriched in P bodies. The deadenylase activity of the Ccr4-Caf1 complex is prerequisite for P body formation. Pan3, but not the deadenylase Pan2, is essential for P body formation. While the C-terminal domain of Pan3 is important for interaction with Pan2, Pan3 N-terminal domain is important for Pan3 to form cytoplasmic foci colocalizing with P bodies and to promote mRNA decay. Interestingly, Pan3 N-terminal domain may be phosphorylated to regulate Pan3 localization and functions. Aside from the functions of the two deadenylation complexes in P bodies, I also studied all reported human P body proteins as a whole using bioinformatics. This effort not only has generated a comprehensive picture of the functions of and interactions among human P body proteins, but also has predicted proteins that may regulate P body formation and/or functions. In summary, my study has established a direct link between mRNA deadenylation and P body formation and has also led to new hypotheses to guide future research on how P body dynamics are controlled.

A study in the molecular and cellular functions of GSK3beta in prostate adenocarcinoma

Kinases are part of a complex network of signaling pathways that enable a cell to respond to changes in environmental conditions in a regulated and coordinated way. For example, Glycogen Synthase Kinase 3 beta (GSK3β) modulates conformational changes, protein-protein interaction, protein degradation, and activation of unique domains in proteins that transduce signals from the extracellular milieu to the nucleus. ^ In this project, I investigated the expression and function that GSK3β exhibits in prostate cells. The capacity of GSK3β to regulate two transcription factors (JUN and CREB), which are known to be inversely utilized in prostate tumor cells, was measured. JUN/AP1 is constitutively activated in PC-3 cells; whereas, CREB/CRE activity is ∼20 fold less than the former. GSK3β overexpression obliterates JUN/AP1 activity. With respect to CREB GSK3β increases CREB/CRE activity. Cellular levels of active GSK3β can determine whether JUN or CREB is preferentially active in the PC-3s. Theoretically, in response to a particular cellular context or stimulus, a cell may coordinate JUN and CREB function by regulating GSK3β.^ A comparison of various prostate cell lines showed that active GSK3β is less expressed in normal prostate epithelial cells than in tumor cells. Differentially expressed active (GSK3β) may correlate with progression of prostate carcinoma. If a known marker associated with carcinoma of the prostate could be shown to be regulated by GSK3β then, further study of GSK3β may lead to a better understanding of both possible prevention of the disease and improved therapy for advanced stages. ^ The androgen receptor (AR) is an intriguing phosphoprotein whose regulation is potentially determined by a variety of kinases. One of these is (GSK3β) I found that (GSK3β) is a regulator of the androgen receptor in both the unliganded and liganded states. It can inhibit AR function as measured by reporter assays. Also, GSK3β associates with the AR at the DNA binding domain because deletion constructs expressing either the n-terminus or the c-terminus (both having the DBD in common) immunoprecipitated with GSK3β. Increased understanding of how GSK3β functions in prostate cancer would provide clues into how (1) certain signal pathways are coordinated and (2) the androgen receptor may be regulated. ^

The functions of pitx2 and Bmp signaling in craniofacial development

The formation of the vertebrate face is an extremely complex developmental process, which needs to coordinate the outgrowth of several facial primordia. Facial primordia are small buds made up of mesenchymal masses enclosed by an epithelial layer that surrounds the primitive mouth. The upper jaw is formed by the maxillary process, the lateral nasal process, and the frontonasal process while the mandibular process forms the lower jaw. Recent experiments using genetics in mice and bead implantation approaches have shown that the pitx2 homeobox gene and Bmp signaling play important roles in this complex developmental process. However, the molecular mechanisms underlying the function of pitx2 and Bmp in these events are still unclear. Here, we show that pitx2 is required for oral epithelium maintenance, and branchial arch signaling is pitx2 dosage sensitive by using pitx2 allelic combinations that encode varying levels of pitx2. Maintenance of fgf8 signaling requires only low pitx2 dosage while repression of Bmp signaling requires high pitx2 levels. Different incisor and molar phenotypes in low level pitx2 mutant embryos suggest a distinct requirement for pitx2 in tooth-type development. The results show that pitx2 is required for craniofacial muscle formation and expanded Bmp signaling results in excess bone formation in pitx2 mutant embryos. Fate-mapping studies show that ectopic bone results from excessive bone growth, instead of muscle transformation. Moreover, by using cre/loxp system we show that partial loss of Bmpr-IA in the facial primordia results in cleft lip/palate, abnormal teeth, ectopic teeth and tooth transformation. These phenotypes suggest that Bmp signaling has multiple functions during craniofacial development. The mutant palate shelves can fuse with each other when cultured in vitro, suggesting that cleft palate is secondary to the partial loss of Bmpr-IA. Furthermore, we prove that Bmp4, one of the ligands of Bmpr-IA, plays a role during lip fusion developmental process and partial loss of Bmp4 in the facial primordia results in the lip fusion delay. These results have provided insight to understand the complex signaling cascades that regulate craniofacial development. ^

Nuclear functions of dynein light chain 1 in hormone action

It is widely accepted that the process of breast cancer tumorigenesis involves estrogen receptor-alpha (ER)-regulated stimulatory pathways, which feed into survival, cell cycle progression and proliferative response. Recent data from Kumar laboratory indicate that dynein light chain 1 (DLC1) plays a role in survival, motility and invasiveness, all of which are required for a successful tumorigenesis process. In the present research, we have discovered a mechanistic bidirectional regulatory link between the DLC1 and ER. We found that DLC1 facilitates ligand-induced ER transactivation involving the recruitment of the DLC1-ER complex to ER-target genes. To gain insights into the mechanism by which DLC1 regulates the ER pathway, we set out to identify novel DLC1-interacting proteins. Among other proteins, we identified KIBRA and Ciz1 as two novel DLC1-interacting proteins. We found that the KIBRA-DLC1 complex is recruited to ER-responsive promoters, and that KIBRA-DLC1 interaction is needed for the recruitment of ER to its targets as well as for ER's transactivation function. Finally, we found that KIBRA utilizes its histone H3interacting glutamic acid-rich region to regulate the transactivation activity of ER. During the course of this work, we also discovered that DLC1 interacts with Cdk2 and Ciz1, and such interactions play a direct accelerating role in the G1-S transition of breast cancer cells. While delineating the role of Ciz1 in hormone-responsive cancer cells, we found that Ciz1 is an estrogen-responsive gene, and acts as a co-regulator of ER. Accordingly, Ciz1 overexpression in breast cancer cells conferred estrogen hypersensitivity, promoted the growth-rate, anchorage-independency and tumorigenic properties. Collectively, findings made during the course of the present dissertation research introduced two new molecular players in the action of ER in breast cancer cells, with a particular focus on cell cycle progression and ER-chromatin target regulation. In addition, findings presented here provide novel mechanistic insight about the contribution of DLC1 and its interacting proteins in amplifying the hormone action and promoting the process of breast cancer tumorigenesis. ^

Developmental functions of XKaiso, a transcriptional repressor associating with the p120 catenin in Xenopus laevis

The Armadillo family catenin proteins function in multiple capacities including cadherin-mediated cell-cell adhesion and nuclear signaling. The newest catenin, p120 catenin, differs from the classical catenins and binds to the membrane-proximal domain of cadherins. Recently, a novel transcription factor Kaiso was found to interact with p120 catenin, suggesting that p120 catenin also possesses a nuclear function. We isolated the Xenopus homolog of Kaiso, XKaiso, from a Xenopus stage 17 cDNA library. XKaiso contains an amino-terminal BTB/POZ domain and three carboxyl-terminal zinc fingers. The XKaiso transcript was present maternally and expressed throughout early embryonic development. XKaiso's spatial expression was defined via in situ hybridization and was found localized to the brain, eye, ear, branchial arches, and spinal cord. Co-immunoprecipitation of Xenopus p120 catenin and XKaiso demonstrated their mutual association, while related experiments employing differentially epitope-tagged XKaiso constructs suggest that XKaiso also self-associates. On the functional level, reporter assays employing a chimera of XKaiso fused to the GAL4 DNA binding domain indicated that XKaiso is a transcriptional repressor. To better understand the significance of the Kaiso-p120 catenin complex in vertebrate development, Kaiso knock-down experiments were undertaken, and the modulatory role of p120 catenin in Kaiso function examined during Xenopus development. Using morpholino antisense oligonucleotides to block translation of XKaiso, XKaiso was found to be essential for Xenopus gastrulation, being required for correct morphogenetic movements in early embryogenesis. Molecular marker analyses indicated that one target gene of the Wnt/β-catenin pathway, Siamois, is significantly increased in embryos depleted for XKaiso, while other dorsal, ventral, and mesodermal cell fate markers were unaltered. In addition, the non-canonical Wnt-11, known to participate in planar cell polarity/convergent extension processes, was significantly upregulated following depletion of XKaiso. Such increased Wnt-11 expression likely contributed to the XKaiso depletion phenotype because a dominant negative form of Wnt-11 or of the downstream effector Dishevelled partially rescued the observed gastrulation defects. These results show that XKaiso is essential for proper gastrulation movements, resulting at least in part from its modulation of non-canonical Wnt signaling. The significance of the XKaiso-p120 catenin interaction has yet to be determined, but appears to include a role in modulating genes promoting canonical and non-canonical Wnt signals. ^

Combined determination of sharing and freeness of program variables through abstract interpretation

In this paper, abstract interpretation algorithms are described for computing the sharmg as well as the freeness information about the run-time instantiations of program variables. An abstract domain is proposed which accurately and concisely represents combined freeness and sharing information for program variables. Abstract unification and all other domain-specific functions for an abstract interpreter working on this domain are presented. These functions are illustrated with an example. The importance of inferring freeness is stressed by showing (1) the central role it plays in non-strict goal independence, and (2) the improved accuracy it brings to the analysis of sharing information when both are computed together. Conversely, it is shown that keeping accurate track of sharing allows more precise inference of freeness, thus resulting in an overall much more powerful abstract interpreter.

Vector spaces of entire functions of unbounded type

Let E be an infinite dimensional complex Banach space. We prove the existence of an infinitely generated algebra, an infinite dimensional closed subspace and a dense subspace of entire functions on E whose non-zero elements are functions of unbounded type. We also show that the τδ topology on the space of all holomorphic functions cannot be obtained as a countable inductive limit of Fr´echet spaces. RESUMEN. Sea E un espacio de Banach complejo de dimensión infinita y sea H(E) el espacio de funciones holomorfas definidas en E. En el artículo se demuestra la existencia de un álgebra infinitamente generada en H(E), un subespacio vectorial en H(E) cerrado de dimensión infinita y un subespacio denso en H(E) cuyos elementos no nulos son funciones de tipo no acotado. También se demuestra que el espacio de funciones holomorfas con la topología ? no es un límite inductivo numberable de espacios de Fréchet.

RB and hbrm cooperate to repress the activation functions of E2F1

Forced expression of the retinoblastoma (RB) gene product inhibits the proliferation of cells in culture. A major target of the RB protein is the S-phase-inducing transcription factor E2F1. RB binds directly to the activation domain of E2F1 and silences it, thereby preventing cells from entering S phase. To induce complete G1 arrest, RB requires the presence of the hbrm/BRG-1 proteins, which are components of the coactivator SWI/SNF complex. This cooperation is mediated through a physical interaction between RB and hbrm/BRG-1. We show here that in transfected cells RB can contact both E2F1 and hbrm at the same time, thereby targeting hbrm to E2F1. E2F1 and hbrm are indeed found within the same complex in vivo. Furthermore, RB and hbrm cooperate to repress E2F1 activity in transient transfection assays. The ability of hbrm to cooperate with RB to repress E2F1 is dependent upon several distinct domains of hbrm, including the RB binding domain and the NTP binding site. However, the bromodomain seems dispensable for this activity. Taken together, our results point out an unexpected role of corepressor for the hbrm protein. The ability of hbrm and RB to cooperate in repressing E2F1 activity could be an underlying mechanism for the observed cooperation between hbrm and RB to induce G1 arrest. Finally, we demonstrate that the domain of hbrm that binds RB has transcriptional activation potential which RB can repress. This suggest that RB not only targets hbrm but also regulates its activity.

A chemical genomics approach toward understanding the global functions of the target of rapamycin protein (TOR)

The target of rapamycin protein (TOR) is a highly conserved ataxia telangiectasia-related protein kinase essential for cell growth. Emerging evidence indicates that TOR signaling is highly complex and is involved in a variety of cellular processes. To understand its general functions, we took a chemical genomics approach to explore the genetic interaction between TOR and other yeast genes on a genomic scale. In this study, the rapamycin sensitivity of individual deletion mutants generated by the Saccharomyces Genome Deletion Project was systematically measured. Our results provide a global view of the rapamycin-sensitive functions of TOR. In contrast to conventional genetic analysis, this approach offers a simple and thorough analysis of genetic interaction on a genomic scale and measures genetic interaction at different possible levels. It can be used to study the functions of other drug targets and to identify novel protein components of a conserved core biological process such as DNA damage checkpoint/repair that is interfered with by a cell-permeable chemical compound.

Functions of the DNA damage response pathway target Ho endonuclease of yeast for degradation via the ubiquitin-26S proteasome system

Ho endonuclease of Saccharomyces cerevisiae is a homing endonuclease that makes a site-specific double-strand break in the MAT gene in late G1. Here we show that Ho is rapidly degraded via the ubiquitin-26S proteasome system through two ubiquitin-conjugating enzymes UBC2Rad6 and UBC3Cdc34. UBC2Rad6 is complexed with the ring finger DNA-binding protein Rad18, and we find that Ho is stabilized in rad18 mutants. We show that the Ho degradation pathway involving UBC3Cdc34 goes through the Skp1/Cdc53/F-box (SCF) ubiquitin ligase complex and identify a F-box protein, Yml088w, that is required for Ho degradation. Components of a defined pathway of the DNA damage response, MEC1, RAD9, and CHK1, are also necessary for Ho degradation, whereas functions of the RAD24 epistasis group and the downstream effector RAD53 have no role in degradation of Ho. Our results indicate a link between the endonuclease function of Ho and its destruction.

Distinct functions of SR proteins in recruitment of U1 small nuclear ribonucleoprotein to alternative 5' splice sites.

Alternative splicing of precursor messenger RNAs (pre-mRNAs) is an important mechanism for the regulation of gene expression. The members of the SR protein family of pre-mRNA splicing factors have distinct functions in promoting alternative splice site usage. Here we show that SR proteins are required for the first step of spliceosome assembly, interaction of the U1 small nuclear ribonucleoprotein complex (U1 snRNP) with the 5' splice site of the pre-mRNA. Further, we find that individual SR proteins have distinct abilities to promote interaction of U1 snRNP with alternative 5' splice junctions. These results suggest that SR proteins direct 5' splice site selection by regulation of U1 snRNP assembly onto the pre-mRNA.

Rigorous Design of Complex Distillation Columns Using Process Simulators and the Particle Swarm Optimization Algorithm

We present a derivative-free optimization algorithm coupled with a chemical process simulator for the optimal design of individual and complex distillation processes using a rigorous tray-by-tray model. The proposed approach serves as an alternative tool to the various models based on nonlinear programming (NLP) or mixed-integer nonlinear programming (MINLP) . This is accomplished by combining the advantages of using a commercial process simulator (Aspen Hysys), including especially suited numerical methods developed for the convergence of distillation columns, with the benefits of the particle swarm optimization (PSO) metaheuristic algorithm, which does not require gradient information and has the ability to escape from local optima. Our method inherits the superstructure developed in Yeomans, H.; Grossmann, I. E.Optimal design of complex distillation columns using rigorous tray-by-tray disjunctive programming models. Ind. Eng. Chem. Res.2000, 39 (11), 4326–4335, in which the nonexisting trays are considered as simple bypasses of liquid and vapor flows. The implemented tool provides the optimal configuration of distillation column systems, which includes continuous and discrete variables, through the minimization of the total annual cost (TAC). The robustness and flexibility of the method is proven through the successful design and synthesis of three distillation systems of increasing complexity.

An introduction to the study of the elements of the differential and integral calculus.

Available on demand as hard copy or computer file from Cornell University Library.