A specification logic for dynamic composition of services

2002 ◽  
Author(s):  
S. Lammermann ◽  
E. Tyugu
Keyword(s):  
Dynamic Composition ◽  
Specification Logic

scholarly journals Two Sides of the Same Coin: TFIIH Complexes in Transcription and DNA Repair

2010 ◽  
Vol 10 ◽  
pp. 633-643 ◽  
Author(s):  
Alexander Zhovmer ◽  
Valentyn Oksenych ◽  
Frédéric Coin
Keyword(s):  
Dna Repair ◽  
Western Blotting ◽  
Chromatin Immunoprecipitation ◽  
Transcription Initiation ◽  
Dna Lesions ◽  
Dynamic Composition ◽  
The Core ◽  
Repair Factor ◽  
A New Technique ◽  
Two Sides

TFIIH is organized into a seven-subunit core associated with a three-subunit Cdk-activating kinase (CAK) module. TFIIH has roles in both transcription initiation and DNA repair. During the last 15 years, several studies have been conducted to identify the composition of the TFIIH complex involved in DNA repair. Recently, a new technique combining chromatin immunoprecipitation and western blotting resolved the hidden nature of the TFIIH complex participating in DNA repair. Following the recruitment of TFIIH to the damaged site, the CAK module is released from the core TFIIH, and the core subsequently associates with DNA repair factors. The release of the CAK is specifically driven by the recruitment of the DNA repair factor XPA and is required to promote the incision/excision of the damaged DNA. Once the DNA lesions have been repaired, the CAK module returns to the core TFIIH on the chromatin, together with the release of the repair factors. These data highlight the dynamic composition of a fundamental cellular factor that adapts its subunit composition to the cell needs.

The specification logic νZ

2006 ◽  
Vol 18 (3) ◽  
pp. 364-395 ◽  
Author(s):  
Martin C. Henson ◽  
Moshe Deutsch ◽  
Besnik Kajtazi
Keyword(s):  
Specification Logic

The Dynamic Composition of an Archetypal Plant Condensate Highlights a Tug-of-War between Condensates and Cell Vertex

2021 ◽  
Author(s):  
Chen Liu ◽  
Andriani Mentzelopoulou ◽  
Ioannis H. Hatzianestis ◽  
Rafail Gkritzas ◽  
Amna Muhammad ◽  
...  
Keyword(s):  
Dynamic Composition

scholarly journals Diseño de Servicios Web Semánticos utilizando el desarrollo de software dirigido por modelos [Semantic Web Services design using model-driven software development]

2014 ◽  
Author(s):  
Wilman Vega ◽  
Henry Umaña
Keyword(s):  
Web Services ◽  
Semantic Web ◽  
Software Development ◽  
Semantic Web Services ◽  
Model Driven Development ◽  
Model Driven ◽  
Dynamic Composition ◽  
Palabras Clave ◽  
Wide Range ◽  
Model Driven Software Development

Resumen Los Servicios Web Semánticos ofrecen beneficios, que coadyuvan a la evolución de la Web, como el descubrimiento, invocación y composición dinámica y automática de recursos, habilitan efectivamente la interoperabilidad entre sistemas, permitiendo una amplia gama de nuevos servicios y oportunidades de negocios en la Internet. La estructura necesaria para proveer estos beneficios, hace que su desarrollo sea un proceso complejo, requiriendo establecer formas más fáciles y dinámicas que garanticen reutilización, calidad y rapidez. El desarrollo dirigido por modelos realiza una contribución eficiente en estos aspectos, dado que trabaja de manera intrínseca conceptos como separación de conceptos, reusabilidad e interoperabilidad entre componentes. En este artículo se presenta un enfoque para desarrollo de software dirigido por modelos, orientado al desarrollo de los servicios web semánticos, donde inicialmente se plantean las fases correspondientes al análisis, diseño y desarrollo dentro de la metodología propuesta, aplicando la metodología sobre un pequeño caso de estudio y obtener como resultado la estructura de un Servicio web semántico. Palabras Clave: Servicios web semánticos, Desarrollo dirigido por modelos, ontologías web.   Abstract Semantic Web Services offers benefits that contribute to Web evolution. Benefits such as automatic discovery and invocation, and dynamic composition, effectively enables systems interoperability, allowing a wide range of services and Internet businesses. The necessary structure to provide those benefits by Semantic Web Services makes its development a complex process. It necessary to establish more easy and dynamic ways to develop this kind of software, in order to assure reuse, quality and speediness in the development process. The model-driven software development makes an efficient contribution in those aspect, because it works intrinsically concepts related such separation of concerns, reusability and components interoperability. In this paper we present an approach to model-driven development software applied to Semantic Web Services. First, we establish the phases corresponding to the analysis, design and development in the proposal methodology, by applying it to a case of study we obtain the structure of a Semantic Web Services. Keywords: Semantic Web Services, Model-Driven Development, Web Ontologies.

A specification logic for concurrent object-oriented programming

1999 ◽  
Vol 9 (3) ◽  
pp. 253-286 ◽  
Author(s):  
G. DELZANNO ◽  
D. GALMICHE ◽  
M. MARTELLI
Keyword(s):  
Logic Programming ◽  
Programming Languages ◽  
Linear Logic ◽  
Operational Semantics ◽  
Object Oriented ◽  
Object Oriented Programming ◽  
Higher Order Logic ◽  
Specification Logic ◽  
Theoretic Characterization

This paper focuses on the use of linear logic as a specification language for the operational semantics of advanced concepts of programming such as concurrency and object-orientation. Our approach is based on a refinement of linear logic sequent calculi based on the proof-theoretic characterization of logic programming. A well-founded combination of higher-order logic programming and linear logic will be used to give an accurate encoding of the traditional features of concurrent object-oriented programming languages, whose corner-stone is the notion of encapsulation.

A haploid affair: core histone transitions during spermatogenesis

2003 ◽  
Vol 81 (3) ◽  
pp. 131-140 ◽  
Author(s):  
John D Lewis ◽  
D Wade Abbott ◽  
Juan Ausió
Keyword(s):  
Histone Modifications ◽  
Chromatin Structure ◽  
Critical Role ◽  
Diploid Cell ◽  
Histone Variants ◽  
Histone H4 ◽  
Dna Compaction ◽  
Dynamic Composition ◽  
Shed Light

The process of meiosis reduces a diploid cell to four haploid gametes and is accompanied by extensive recombination. Thus, the dynamics of chromatin during meiosis are significantly different than in mitotic cells. As spermatogenesis progresses, there is a widespread reorganization of the haploid genome followed by extensive DNA compaction. It has become increasingly clear that the dynamic composition of chromatin plays a critical role in the activities of enzymes and processes that act upon it. Therefore, an analysis of the role of histone variants and modifications in these processes may shed light upon the mechanisms involved and the control of chromatin structure in general. Histone variants such as histone H3.3, H2AX, and macroH2A appear to play key roles in the various stages of spermiogenesis, in addition to the specifically modulated acetylation of histone H4 (acH4), ubiquitination of histones H2A and H2B (uH2A, uH2B), and phosphorylation of histone H3 (H3p). This review will examine recent discoveries concerning the role of histone modifications and variants during meiosis and spermatogenesis.Key words: histone variants, histone modifications, chromatin structure, meiosis.

Sign in / Sign up

Export Citation Format

Share Document