Date: 25 Jun 2005

Prototyping a visual formalism for system modelling

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Formal, visual approaches to system modelling are a promising research sub-area of configuration management. A visual notation for configuring software systems, called ConForm [God93], has been designed, formally specified in the Z language, and a prototype is currently being implemented. This paper outlines the design of ConForm, and details experience gained in transforming the formal specification into a prototype.