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)
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)
In this paper, we describe the tool Gem-Mex, supporting Montages, a visual formalism for the speciication of imperativeeobject oriented programming languages.
— 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)
Requirements for tools which support the creation and the intelligible presentation of formal deductions are investigated. They are contrasted with requirements which emphasize the interactive construction of correct proofs. As an example, the design and the implementation of a set of support tools for Deva is described. Deva i s a t yped functional… (More)