Attempto - From Specifications in Controlled Natural Language towards Executable Specifications

Deriving formal specifications from informal requirements is difficult since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge the conceptual gap we propose controlled natural language as a textual view on formal specifications in logic. The specification language Attempto Controlled English (ACE) is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specifications in ACE into discourse representation structures and into Prolog. The resulting knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 15 pages, compressed, uuencoded Postscript, to be presented at EMISA Workshop 'Naturlichsprachlicher Entwurf von Informationssystemen - Grundlagen, Methoden, Werkzeuge, Anwendungen', May 28-30, 1996, Ev. Akademie Tutzin

Three particle states and t-exchanges

The multiple particle final states in modern data from $4 \pi$ detector experiments offer a wealth of information about higher hadronic resonances and hadron interactions. However, it requires careful analysis to extract model independent results from those data.Comment: 4 pages, 1 figure, Proceedings of Nstar, Pittsburgh, Oct. 200

Specifying Logic Programs in Controlled Natural Language

Writing specifications for computer programs is not easy since one has to take into account the disparate conceptual worlds of the application domain and of software development. To bridge this conceptual gap we propose controlled natural language as a declarative and application-specific specification language. Controlled natural language is a subset of natural language that can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage by non-specialists. Specifications in controlled natural language are automatically translated into Prolog clauses, hence become formal and executable. The translation uses a definite clause grammar (DCG) enhanced by feature structures. Inter-text references of the specification, e.g. anaphora, are resolved with the help of discourse representation theory (DRT). The generated Prolog clauses are added to a knowledge base. We have implemented a prototypical specification system that successfully processes the specification of a simple automated teller machine.Comment: 16 pages, compressed, uuencoded Postscript, published in Proceedings CLNLP 95, COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic for Natural Language Processing, Edinburgh, April 3-5, 199

A Systems Theory Perspective

Aktualisierung: Am 12. Oktober 2018 wurde die digitale Version des Buchbeitrags um den fehlenden Teil (Seiten 53-66) ergänzt

Attempto Controlled English (ACE)

Attempto Controlled English (ACE) allows domain specialists to interactively formulate requirements specifications in domain concepts. ACE can be accurately and efficiently processed by a computer, but is expressive enough to allow natural usage. The Attempto system translates specification texts in ACE into discourse representation structures and optionally into Prolog. Translated specification texts are incrementally added to a knowledge base. This knowledge base can be queried in ACE for verification, and it can be executed for simulation, prototyping and validation of the specification.Comment: 13 pages, compressed, uuencoded Postscript, to be presented at CLAW 96, The First International Workshop on Controlled Language Applications, Katholieke Universiteit Leuven, 26-27 March 199

Rates and Equilibria for a Photoisomerizable Antagonist at the Acetylcholine Receptor of Electrophorus Electroplaques

Voltage-jump and light-flash experiments have been performed on isolated Electrophorus electroplaques exposed simultaneously to nicotinic agonists and to the photoisomerizable compound 2,2'-bis-[α-(trimethylammonium)methyl]-azobenzene (2BQ). Dose-response curves are shifted to the right in a nearly parallel fashion by 2BQ, which suggests competitive antagonism; dose-ratio analyses show apparent dissociation constants of 0.3 and 1 µM for the cis and trans isomers, respectively. Flash-induced trans → cis concentration jumps produce the expected decrease in agonist-induced conductance; the time constant is several tens of milliseconds. From the concentration dependence of these rates, we conclude that the association and dissociation rate constants for the cis-2BQ-receptor binding are approximately ~ 10^8 M^(-1) s^(-1) and 60 s^(-1) at 20ºC; the Q_(10) is 3. Flash-induced cis → trans photoisomerizations produce molecular rearrangements of the ligand-receptor complex, but the resulting relaxations probably reflect the kinetics of buffered diffusion rather than of the interaction between trans-2BQ and the receptor. Antagonists seem to bind about an order of magnitude more slowly than agonists at nicotinic receptors

The Oxygen Abundance of HE 1327-2326

From a newly obtained VLT/UVES spectrum we have determined the oxygen abundance of HE 1327-2326, the most iron-poor star known to date. UV-OH lines yield a 1D LTE abundance of [O/Fe]_OH = 3.7 (subgiant case) and [O/Fe]_OH = 3.4 (dwarf case). Using a correction of -1.0 dex to account for 3D effects on OH line formation, the abundances are lowered to [O/Fe] = 2.8 and [O/Fe] = 2.5, respectively, which we adopt. Without 3D corrections, the UV-OH based abundance would be in disagreement with the upper limits derived from the OI triplet lines: [O/Fe]_trip < 2.8 (subgiant) and [O/Fe]_trip < 3.0 (dwarf). We also correct the previously determined carbon and nitrogen abundances for 3D effects. Knowledge of the O abundance of HE 1327-2326 has implications for the interpretation of its abundance pattern. A large O abundance is in accordance with HE 1327-2326 being an early Population II star which formed from material chemically enriched by a first generation supernova. Our derived abundances, however, do not exclude other possibilities such as a Population III scenario.Comment: 13 pages, accepted for publication in ApJ

Fast rotating stars resulting from binary evolution will often appear to be single

Rapidly rotating stars are readily produced in binary systems. An accreting star in a binary system can be spun up by mass accretion and quickly approach the break-up limit. Mergers between two stars in a binary are expected to result in massive, fast rotating stars. These rapid rotators may appear as Be or Oe stars or at low metallicity they may be progenitors of long gamma-ray bursts. Given the high frequency of massive stars in close binaries it seems likely that a large fraction of rapidly rotating stars result from binary interaction. It is not straightforward to distinguish a a fast rotator that was born as a rapidly rotating single star from a fast rotator that resulted from some kind of binary interaction. Rapidly rotating stars resulting from binary interaction will often appear to be single because the companion tends to be a low mass, low luminosity star in a wide orbit. Alternatively, they became single stars after a merger or disruption of the binary system during the supernova explosion of the primary. The absence of evidence for a companion does not guarantee that the system did not experience binary interaction in the past. If binary interaction is one of the main causes of high stellar rotation rates, the binary fraction is expected to be smaller among fast rotators. How this prediction depend on uncertainties in the physics of the binary interactions requires further investigation.Comment: 2 pages, 1 figure, to be published in the proceedings of IAU 272 "Active OB stars: structure, evolution, mass loss and critical limit", Paris 19-23 July 201

Functional modulation of the transient outward current Ito by KCNE beta-subunits and regional distribution in human non-failing and failing hearts

Objectives: The function of Kv4.3 (KCND3) channels, which underlie the transient outward current I,, in human heart, can be modulated by several accessory subunits such as KChIP2 and KCNE1-KCNE5. Here we aimed to determine the regional expression of Kv4.3, KChIP2, and KCNE mRNAs in non-failing and failing human hearts and to investigate the functional consequences of subunit coexpression in heterologous expression systems. Methods: We quantified mRNA levels for two Kv4.3 isoforms, Kv4.3-S and Kv4.3-L, and for KChIP2 as well as KCNE1-KCNE5 with real-time RT-PCR. We also studied the effects of KCNEs on Kv4.3 + KChIP2 current characteristics in CHO cells with the whole-cell voltage-clamp method. Results: In non-failing hearts, low expression was found for KCNE1, KCNE3, and KCNE5, three times higher expression for KCNE2, and 60 times higher for KCNE4. Transmural gradients were detected only for KChIP2 in left and right ventricles. Compared to non-failing tissue, failing hearts showed higher expression of Kv4.3-L and KCNE1 and lower of Kv4.3-S, KChIP2, KCNE4, and KCNE5. In CHO cells, Kv4.3 + KChIP2 currents were differentially modified by co-expressed KCNEs: time constants of inactivation were shorter with KCNE1 and KCNE3-5 while time-to-peak was decreased, and V-0.5 of steady-state inactivation was shifted to more negative potentials by all KCNE subunits. Importantly, KCNE2 induced a unique and prominent 'overshoot' of peak current during recovery from inactivation similar to that described for human I-to while other KCNE subunits induced little (KCNE4,5) or no overshoot. Conclusions: All KCNEs are expressed in the human heart at the transcript level. Compared to It. in native human myocytes, none of the combination of KChIP2 and KCNE produced an ideal congruency in current characteristics, suggesting that additional factors contribute to the regulation of the native I-to channel