Title: A methodology for structured modeling on the MASIC decision support system generator