A semi-visual framework for the speciication 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… (More)
In the present paper, a methodology is presented which enables the implementation of the Action Notation formalism based on a formal and modular speciication. As a result, an interpreter and de-bugger is automatically generated which allows the visualization of an Action Notation program execution and the inspection of all semantic identities in terms of… (More)
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speciication of imperativeeobject oriented programming languages.
Last decade witnessed a disappointing lack in technology transfer from formal semantics to language design. Research in formal semantics has developed increasingly complex concepts and notation, at the expense of calculational clarity and applicability in the development of languages. Montages is a visual domain-speciic formalism for specifying all the… (More)
— Enterprise Service Architectures are emerging as a promising way to compose Web-Services as defined by the W3C consortium, to form complex, enterprise level services. However, due to the fact that each Web-Service composition is also a protocol composition, this composition gets problematic, if security protocol mechanisms are used for the individual… (More)
Component-oriented software development is becoming more and more important for the production of large-scale software applications. Today's systems are constructed by combining different software components rather than built from scratch. Provided component interfaces or informal descriptions are not enough for designing reliable software systems.… (More)