/pdf/evaluating-and-comparing-language-workbenches-2eksl26pmk.pdf

Evaluating and comparing language workbenches

Language composition editors have traditionally fallen into two extremes: traditional parsing, which is inflexible or ambiguous; or syntax directed editing, which programmers dislike. In this paper we extend an incremental parser to create an approach which bridges the two extremes: our prototype editor ‘feels’ like a normal text editor, but the user always operates on a valid tree as in a syntax directed editor. This allows us to compose arbitrary syntaxes while still enabling IDE-like features such as name binding analysis.

/pdf/eco-a-language-composition-editor-1mf6liv3e0.pdf

Eco: A Language Composition Editor

Many cloud and cryptocurrency applications rely on verifying the integrity of outsourced computations, in which a verifier can efficiently verify the correctness of a computation made by an untrusted prover. State-of-the-art protocols for verifiable computation require that the computation task be expressed as arithmetic circuits, and the number of multiplication gates in the circuit is the primary metric that determines performance. At the present, a programmer could rely on two approaches for expressing the computation task, either by composing the circuits directly through low-level development tools; or by expressing the computation in a high-level program and rely on compilers to perform the program-to-circuit transformation. The former approach is difficult to use but on the other hand allows an expert programmer to perform custom optimizations that minimize the resulting circuit. In comparison, the latter approach is much more friendly to non-specialist users, but existing compilers often emit suboptimal circuits. We present xJsnark, a programming framework for verifiable computation that aims to achieve the best of both worlds: offering programmability to non-specialist users, and meanwhile automating the task of circuit size minimization through a combination of techniques. Specifically, we present new circuit-friendly algorithms for frequent operations that achieve constant to asymptotic savings over existing ones; various globally aware optimizations for short-and long-integer arithmetic; as well as circuit minimization techniques that allow us to reduce redundant computation over multiple expressions. We illustrate the savings in different applications, and show the framework's applicability in developing large application circuits, such as ZeroCash, while minimizing the circuit size as in low-level implementations.

xJsnark: A Framework for Efficient Verifiable Computation

TextX is a meta-language and a tool for building Domain-Specific Languages in Python. It’s built on top of the Arpeggio PEG parser and takes away the burden of converting parse trees to abstract representations from language designers. From a single grammar description, textX constructs Arpeggio parser and a meta-model in run-time. The meta-model contains all the information about the language and a set of Python classes inferred from grammar rules. The parser will parse programs/models written in the new language and construct Python object graph a.k.a. the model conforming to the meta-model. The textX tool has support for error reporting, debugging, and meta-model and model visualization. It is used in industrial environments and teaching Domain-Specific Languages course at the Faculty of Technical Sciences in Novi Sad. It is a free and open-source software available at GitHub under the MIT license.

TextX: A Python tool for Domain-Specific Languages implementation

Zur Entwicklung komplexer Softwaresysteme, werden neben dem Quelltext zusatzliche Artefakte, wie beispielsweise Architekturmodelle, verwendet. Wenn die verwendeten Architekturmodelle wahrend der Entwicklung und Evolution eines Softwaresystems konsistent mit dem Quelltext sind, konnen Softwarearchitekten und Softwareentwickler bei der Entwicklung der Systeme besser unterstutzt werden. Architekturmodelle, die auf dem aktuellem Stand sind, vereinfachen Entwicklungs- und Evolutionssaufgaben, da einfacher beantwortet werden kann wie und wo neue Funktionen implementiert werden sollen. Auserdem ist es moglich, modellbasierte Analysen mit Hilfe der Softwarearchitekturmodelle vorzunehmen. Beispielsweise konnen mit dem Palladio Komponentenmodell (PCM) Performanzvorhersagen durchgefuhrt werden, wenn ein Architekturmodell des Softwaresystems vorhanden ist und dieses Verhaltensspezifikationen beinhaltet.
Wenn Architekturmodelle bei der Softwareentwicklung und Softwareevolution verwendet werden, konnen die beiden bekannten Probleme Architekturdrift und Architekturverletzung auftreten. Diese Probleme treten fur gewohnlich auf, wenn bei voranschreitender Entwicklung des Quelltextes die Architektur nicht konsistent zu diesem gehalten wird. Dies fuhrt zu veralteten und schlussendlich nutzlosen Architekturmodellen. Viele existierende Ansatze, zur Vermeidung dieser Probleme, zielen darauf ab, Quelltext und UML-Klassendiagramme konsistent zu halten, oder sie zielen darauf ab, Architekturinformationen in den Quelltext einzubetten. In letzterem Fall wird die Notwendigkeit, die Architektur konsistent mit dem Quelltext zu halten, umgangen, da die Architektur integraler Bestandteil des Quelltextes ist. In der vorliegenden Dissertation beschreiben wir einen neuen Ansatz, um komponentenbasierte Architekturmodelle, welche sich auf einer hohen Abstraktionsebene befinden, konsistent mit dem Quelltext zu halten. Wir beschreiben, wie Instanzen des PCMs konsistent mit Java-Quelltext gehalten werden konnen. Um Konsistenz zu erreichen, werden Architekturelemente erzeugt, geloscht oder geandert, sobald ihre entsprechende Quelltextelemente geandert wurden, und umgekehrt. Fur die Umsetzung der Konsistenzerhaltung stellen wir einen anderungsgetriebenen Ansatz vor. Dieser verwendet benutzerdefinierte, anderungsgetriebene Abbildungsregeln, um die Konsistenz zwischen den beteiligten Modellen sicherzustellen. 
In dieser Dissertation stellen wir vier konkrete Mengen von Abbildungsregeln zwischen Architekturmodellen und Quelltext vor. Diese haben wir in einer prototypischen Implementierung des Ansatzes umgesetzt. Wir stellen auserdem einen Mechanismus vor, der mit den Benutzern des Konsistenzerhaltungsansatzes interagiert, wenn die Konsistenz nicht automatisch erhalten werden kann, sondern die Benutzer zuerst ihre Intention, die sie mit einer bestimmten Anderung verfolgen, dem Ansatz mitteilen mussen. In diesem Fall mussen die Benutzer das genaue Vorgehen fur die Konsistenzerhaltung spezifizieren. Da der vorgestellte Ansatz anderungsgetrieben funktioniert, ist es notwendig, dass wir alle Anderungen in den beteiligten Architektur- und Quelltexteditoren aufzeichnen konnen. Um es Benutzern zu erlauben, vorhandene Editoren, mit denen sie sich auskennen, wiederverwenden zu konnen, haben wir Beobachter fur diese Editoren implementiert. Diese Beobachter zeichnen alle Anderungen an einem Modell auf und informieren unseren Ansatz uber jede durchgefuhrte Anderung. Der in dieser Dissertation vorgestellte Ansatz erlaubt es auch, verhaltensbeschreibende Architekturmodelle konsistent mit dem Quelltext zu halten. Um dies zu erreichen, haben wir einen Ansatz implementiert, der es ermoglicht, Service Effect Specifications des PCMs inkrementell aus Methoden zu erstellen, nachdem diese geandert wurden. Die Service Effect Specifications werden innerhalb des PCMs genutzt, um das Verhalten einer Komponente zu spezifizieren. Um bereits bestehende Architekturmodelle und bestehenden Quelltext innerhalb unseres Ansatzes verwenden zu konnen, stellen wir je eine Integrationsstrategie fur die Architektur und den Quelltext vor. Um bestehende Architekturmodelle zu integrieren, simulieren wir deren Erstellung. Wahrend dieses Erstellvorgangs zeichnen wir die Anderungen auf, die notig sind, um das Architekturmodell zu erstellen. Diese Anderungen werden als Eingabe fur den Konsistenzerhaltungsprozess verwendet, um daraus den entsprechenden Quelltext zu erzeugen. Um vorhandenen Quelltext einzubinden, stellen wir einen Ansatz vor, der auf Architekturrekonstruktionsverfahren basiert, d.h., zuerst wird die Architektur eines bestehenden Softwaresystems rekonstruiert. Die erstellte Architektur wird anschliesend zusammen mit dem bestehenden Quelltext in unseren Coevolutionsansatz integriert. Oftmals ist bestehender Quelltext jedoch nicht so aufgebaut, wie es die Abbildungsregeln vorschreiben. Innerhalb der Integrationsstrategie fur Quelltext stellen wir deshalb einen Ansatz vor, der in der Lage ist, solche Quelltexte dennoch zu integrieren. Dieser Ansatz ermoglicht es, nicht nur diese Art von Quelltext zu integrieren, sondern diesen auch mit speziell definierten Abbildungsregeln automatisch konsistent zu halten. 
Wir haben unseren Ansatz in verschiedenen Fallstudien evaluiert. Dabei haben wir zunachst gezeigt, dass es moglich ist vorhandene Architekturmodelle zu integrieren, indem ihr Aufbau simuliert wird. In der durchgefuhrten Fallstudie ist es mit unserem Ansatz und den vorgestellten Abbildungsregeln moglich, zwischen 98% und 100% der unterstutzten Elemente zu integrieren. Als nachstes haben wir gezeigt, dass unser Ansatz in der Lage ist, existierenden Quelltext zu integrieren und Anderungen am integrierten Quelltext konsistent mit der Architektur zu halten. Fur diese Fallstudie haben wir zunachst den Quelltext von vier quelloffenen Projekten in den Ansatz integriert. Als nachstes haben wir gezeigt, dass es moglich ist, Anderungen am Quelltext konsistent mit der Architektur zu halten. Dazu haben wir eine alte Version des Quelltextes integriert und Anderungen die zwischen einer alten und neueren Version durchgefuhrt wurden, aus einem Versionskontrollsystem extrahiert und erneut auf den Quelltext angewendet. Im Rahmen dieser Evaluation haben wir auch gezeigt, dass es moglich ist Anderungen, die innerhalb von Methoden durchgefuhrt werden, mit einem Verhaltensmodell konsistent zu halten. Wir haben auserdem eine Evaluation der Leistungsfahigkeit unseres Ansatzes durchgefuhrt und gezeigt, dass unser Ansatz in den meisten Fallen in der Lage ist, die Architektur in einer Zeit zwischen einer und funf Sekunden konsistent zu halten, nachdem eine Anderung am Quelltext durchgefuhrt wurde. Als letztes haben wir gezeigt, dass es moglich ist, coevolvierte Modelle fur die Performanzvorhersage zu verwenden. Dazu haben wir zuerst die Modelle in einem Parametrisierungsschritt mit den notigen Ressourcenverbrauchen angereichert. Als nachstes konnten wir die Performanzvorhersage durchfuhren. In unserer Fallstudie zeigte sich, dass der Vorhersagefehler fur die Antwortzeit eines Systems bei ca. 10% liegt, und damit die coevolvierten Modelle fur die Abschatzung der Performanz eines realen Systems verwendet werden konnen.

/pdf/automated-coevolution-of-source-code-and-software-mr7fe88ozt.pdf

Automated Coevolution of Source Code and Software Architecture Models

JetBrains MPS is an integrated environment for language engineering. It allows language designers to define new programming languages, both general-purpose and domain-specific, either as standalone entities or as modular extensions of already existing ones. Since MPS leverages the concept of projectional editing, non-textual and non-parseable syntactic forms are possible, including tables or mathematical symbols. This tool paper introduces MPS and shows how its novel approach can be applied to Java development. Special attention will be paid to the ability to modularize and compose languages.

/pdf/jetbrains-mps-as-a-tool-for-extending-java-3pq06i5swk.pdf

Alex Shatalin

Papers

JetBrains MPS as a tool for extending Java