Extended transition networks : a new approach to system development

This paper describes progress on a research project that concentrates on the definition of a suitable framework for handling the process of designing Information Systems, ranging from informal to formal specifications. Our aim is to overcome the limits and drawbacks of the techniques actually used in information systems modelling. We propose a modelling technique which consists of a formalism, based on an extension of Transition Network, to express knowledge on data and process models of systems. We provide also an environment capable of supporting the design of the model in this formalism, permitting further elaboration of the model and providing validation and animation facilities.