3rd Irish Workshop on Formal Methods

Galway, Ireland. 1st - 2nd July 1999

AUTHORS

J.A. Serrano

ABSTRACT

A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented.

A formal language based on semantic constraints is used to specify those methods. An example using the UML's Activity Diagrams is given which illustrates the proposed approach.

The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.

PAPER FORMATS

PDF Version of this Paper (96kb)