Flexible module operation scheme in formal specification process

We describe a fundamental and important activity named “Specification Generation” in the specification process which generates a specification from requirements, the output of the prior requirement process. We propose a new mechanism of specification languages which moderate requirements adding, deleting and changing. It follows our consideration concerning characteristics of requirements and requirements process. More concretely speaking, we provide a module operation mechanism of specification languages. The mechanism modifies modules and resolves conflicts which occur in case of the module operation if needed. Although we realise the mechanism by enhancing a multi sort functional language, we claim that the mechanism can be generally applicable to any specification languages which have modularity because the key issue of the mechanism is not “functional language” but “operation on modules”