Montages,
the pop-semantics, and GemMex,
its tool companion
(joint work with
M. Anlauff
and
A. Pierantonio
)
Cubix (joint work with R. Marti and D. Schweizer, UBS
Switzerland)
ASM Workshop
97
Second Cannes
ASM Workshop
Philipp W. Kutter
Computer Engineering and Networks
Laboratory
Department of Electrical Engineering
ETH-Zentrum
Gloriastrasse 35
CH-8092 Zürich, Switzerland
Phone: ++41-1-632-70-45
Fax: ++41-1-632-10-35
Email: kutter@acm.org
Room: ETZ G-86
Philipp W. Kutter was born in Zürich, Switzerland on July 4, 1971.
He received the Diplom-Ingenieur degree in computer engineering from the Federal Institute of Technology Zürich (ETHZ) in 1996 (with distinction and Studer prize for best computer science diploma at ETHZ in 1996). During his studies at ETHZ he spent one year at the Technical University of Berlin, participated in the DEA program of the Ecole Supérieure en Sciences Informatiques, Sophia Antipolis, and wrote his Master thesis at the Kestrel Institute, Palo Alto.
Since 1997, he is PhD student at the Computer
Engineering and Networks Laboratory of the Department of Electrical
Engineering, ETHZ working with Matthias Anlauff and Alfonso Pierantonio on the
development of and tool support for Montages. Montages has been
defined as a visual formalism for the specification of programming
languages. The Gem-Mex tool allows to generate from Montages manuals,
interpreters and graphical debbugers of the specified language.
The formal semantics of Montages is given by means of
Abstract State Machines
The topic of his PhD Thesis is the definition of Java by means of
Montages. The definition has been completed using Gem-Mex, and the
thesis is going to be submitted in the second quarter of 2001.
During his work as PhD student Philipp started an ETH research
project devoted to the theoretical aspects of Montages, and he
organized three international workshops on the topic of Abstract State
Machines. The proceedings of the last workshop have been published at
Springer Verlag as Lecture Notes in Computer Science Nr. 1912
"Abstract State Machines, Theory and Application". In addition Philipp
published three journal papers and a number of conference paper
documenting the development of Montages.
In parallel to his scientific activities at ETH Zuerich, he started
together with Matthias Anlauff a company called XML Montages Limited
(XMLtd.) whose purpose is to develop, maintain, standartize, and
protect a separatly designed, industry-oriented variant of Montages.
This variant is mainly characterized to be purely XML based,
independent of mathematical tools like Abstract State Machines, and
oriented towards fast prototyping, business automation, and end-user
programming.
In the industrial context, Philipp used Montages at UBS
Switzerland to design a mapping-language between different
data-models, and more recently, he applied Montages to design two XML
based domain-specific languages for the company
Augurion.