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.
Author and article information
J. Artur Serrano
Departamento de Electrónica e Telecomunicações, University of Aveiro