Towards language-to-language transformation

This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin’s Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect ‘computation’ in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin’s structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.

     

Einleitung und Abbruch der künstlichen Ernährung beim einwilligungsunfähigen Patienten

Definition of the problem: In Austria the legal discussion on initiating and withdrawing artificial nutrition in incompetent patients has just begun. Arguments and conclusion: Legal regulations are lacking, but there appears to be agreement on accepting advance directives under specific criteria. This would mean that a presumed will and documented refusal of treatment and nutrition has to be respected by physicians. However, there is no consensus with regard to the “supposed will” of an incompetent patient to refuse treatment and nutrition. At present, surrogate decision making with regard to refusing life-sustaining treatment or nutrition is only accepted according to a declared and documented directive of the patient himself. When the patient’s will has to be “surmised” the protection of life has priority. In Austria this concept is based on the national constitution and its duty to protect life.     

New enzyme lineages by subdomain shuffling

Protein functions have evolved in part via domain recombination events. Such events, for example, recombine structurally independent functional domains and shuffle targeting, regulatory, and/or catalytic functions. Domain recombination, however, can generate new functions, as implied by the observation of catalytic sites at interfaces of distinct folding domains. If useful to an evolving organism, such initially rudimentary functions would likely acquire greater efficiency and diversity, whereas the initially distinct folding domains would likely develop into single functional domains. This represents the probable evolution of the S1 serine protease family, whose two homologous beta-barrel subdomains assemble to form the binding sites and the catalytic machinery. Among S1 family members, the contact interface and catalytic residues are highly conserved whereas surrounding surfaces are highly variable. This observation suggests a new strategy to engineer viable proteins with novel properties, by swapping folding subdomains chosen from among protein family members. Such hybrid proteins would retain properties conserved throughout the family, including folding stability as single domain proteins, while providing new surfaces amenable to directed evolution or engineering of specific new properties. We show here that recombining the N-terminal subdomain from coagulation factor X with the C-terminal subdomain from trypsin creates a potent enzyme (fXYa) with novel properties, in particular a broad substrate specificity. As shown by the 2.15-A crystal structure, plasticity at the hydrophobic subdomain interface maintains activity, while surface loops are displaced compared with the parent subdomains. fXYa thus represents a new serine proteinase lineage with hybrid fX, trypsin, and novel properties.     

Cloning and characterization of baker's yeast alpha-glucosidase: over-expression in a yeast strain devoid of vacuolar proteinases

Two alpha-glucosidase (maltase) genes, designated GLUCPI and GLUCPII, have been cloned from an industrial strain of baker's yeast (Saccharomyces cerevisiae) by complementation of a maltase-negative mutant strain. The different genes were identified according to their alternatively expressed isoenzymes PI and PII in transformants after isoelectric focusing and activity staining in separated cell lysates. The gene encoding alpha-glucosidase PI (GLUCPI), which was not present in laboratory strains of S. carlsbergensis with a defined MAL1, 2, 3, 4 or 6 locus, was sequenced and compared with the recently published MAL6S gene. This comparison revealed single amino acid deviations at three positions in the predicted polypeptide sequence. In addition, the divergent promoter region of GLUCPI differed from MAL6S by a triple repeated 147-bp DNA segment. Maltose induction and glucose repression of alpha-glucosidase PI were not affected by the deletion of the repeated DNA segment. However, the absolute expression of alpha-glucosidase PI increased two- to four-fold. In addition, a two-fold increase in the maltase synthesis occurred when the cloned positive regulator gene MAL2-8ep was on the same plasmid. Furthermore, stability of the alpha-glucosidase in cultures in the stationary growth phase was greatly enhanced using a host strain lacking the proteinases A and B and the carboxypeptidases Y and S. Promoter trimming, MAL2-8cp stimulation and the use of a host strain deficient in four vacuolar proteinases resulted in alpha-glucosidase PI expression of about 13% of the soluble protein.     

Converting blood coagulation factor IXa into factor Xa: dramatic increase in amidolytic activity identifies important active site determinants

The coagulation factors IXa (fIXa) and Xa (fXa) share extensive structural and functional homology; both cleave natural substrates effectively only with a cofactor at a phospholipid surface. However, the amidolytic activity of fIXa is 10(4)-fold lower than that of fXa. To identify determinants of this poor reactivity, we expressed variants of truncated fIXa (rf9a) and fXa (rf10a) in Escherichia coli. The crystal structures of fIXa and fXa revealed four characteristic active site components which were subsequently exchanged between rf9a and rf10a. Exchanging Glu219 by Gly or exchanging the 148 loop did not increase activity of rf9a, whereas corresponding mutations abolished reactivity of rf10a. Exchanging Ile213 by Val only moderately increased reactivity of rf9a. Exchanging the 99 loop, however, dramatically increased reactivity. Furthermore, combining all four mutations essentially introduced fXa properties into rf9a: the amidolytic activity was increased 130-fold with fXa substrate selectivity. The results suggest a 2-fold origin of fIXa's poor reactivity. A narrowed S3/S4 subsite disfavours interaction with substrate P3/P4 residues, while a distorted S1 subsite disfavours effective cleavage of the scissile bond. Both defects could be repaired by introducing fXa residues. Such engineered coagulation enzymes will be useful in diagnostics and in the development of therapeutics.     

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

International Journal on Software Tools for Technology Transfer - Even with the help of powerful metamodeling frameworks, the development of domain-specific graphical modeling tools is usually a...     

A fusion protein designed for noncovalent immobilization: stability, enzymatic activity, and use in an enzyme reactor

We have designed a new method for enzyme immobilization using a fusion protein of yeast alpha-glucosidase containing at its C-terminus a polycationic hexa-arginine fusion peptide. This fusion protein can be directly adsorbed from crude cell extracts on polyanionic matrices in a specific, oriented fashion. Upon noncovalent immobilization by polyionic interactions, the stability of the fusion protein is not affected by pH-, urea-, or thermal-denaturation. Furthermore, the enzymatic properties (specific activity at increasing enzyme concentration, Michaelis constant, or activation energy of the enzymatic reaction) are not influenced by this noncovalent coupling. The operational stability of the coupled enzyme under conditions of continuous substrate conversion is, however, increased significantly compared to the soluble form. Fusion proteins containing polyionic peptide sequences are proposed as versatile tools for the production of immobilized enzyme catalysts.     

Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training

Machine Learning - Neural networks achieve outstanding accuracy in classification and regression tasks. However, understanding their behavior still remains an open challenge that requires questions...