Philipp W. Kutter

Abstract State Machines - Theory and Applications

State Machines Theory and Applications International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings Bearbeitet von Yuri Gurevich, Philipp W Kutter, Martin Odersky, Lothar Thiele 1. Auflage 2000. Taschenbuch. x, 386 S. Paperback ISBN 978 3 540 67959 2 Format (B x L): 15,5 x 23,5 cm Gewicht: 605 g Weitere Fachgebiete > EDV, Informatik > Datenbanken, Informationssicherheit, Geschaftssoftware > Zeichenund Zahlendarstellungen Zu Leseprobe schnell und portofrei erhaltlich bei Die Online-Fachbuchhandlung beck-shop.de ist spezialisiert auf Fachbucher, insbesondere Recht, Steuern und Wirtschaft. Im Sortiment finden Sie alle Medien (Bucher, Zeitschriften, CDs, eBooks, etc.) aller Verlage. Erganzt wird das Programm durch Services wie Neuerscheinungsdienst oder Zusammenstellungen von Buchern zu Sonderpreisen. Der Shop fuhrt mehr als 8 Millionen Produkte.

Enhanced Control Flow Graphs in Montages

A semi-visual framework for the specification of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The primary aim of this formalism is to assist in recording the decisions taken by the designer during the language design process. The associated tool Gem-Mex allows the designer to maintain the specification and to inspect the semantics to verify whether the design decisions have been properly formalized. Experience with full-scale case studies on Oberon, Java, and domain specific languages showed the close relationship to Finite State Machines (FSMs). This paper gives a new definition of Montages based on FSMs. It confers to the formalism enhanced pragmatic qualities, such as writability, extensibility, readability, and, in general, ease of maintenance.

Integrating Domain Specific Language Design in the Software Life Cycle

Domain Specific Languages help to split the software live cycle in different independent cycles. While the use of the newly created language is just an additional tool in the established cycle, the language live cycle is independent and opens the doors for the application of formal methods. We report on an industrial case study, where a driver specification language has been designed, formally specified, and finally an implementation has been generated from the specification. Using Abstract State Machines and Montages for the language specification, it was possible that the industrial partners learned how to maintain and extend the language specification. On the other hand the formal semantics of the method allows to apply different verification-oriented methods to the artifacts.

Generating an action notation environment from Montages descriptions

Abstract.In this paper, we present an implementation of action notation based on a formal and modular specification of its semantics. This specification allows an automatic generation of an environment consisting of an interpreter and a debugger which allows the visualization of an action notation program execution and relates it to the given formal specification. The semantic description presented here is based on Montages, which is a semi-visual formalism for the specification of the syntax and semantics of programming languages. The tool support for Montages, called Gem-Mex, is used to execute the action notation specification and thereby generate an environment for executing action notation programs. Moreover, the specification maintains and refines the structuring of actions in terms of facets and thus ensures that the modularity present in action notation is retained in its semantic description.