On a Reference Model for the Formalization and Integration of Software Specification Languages.
Martin Große–Rhode · 1999
. Using different techniques for the specification of different aspects of a system supports the separation of concerns principle, thus the acceptance and adequacy of specifications, but prompts the question for their integration and consistency. In this paper a reference model is sketched, composed from simple and well investigated constructs, that serves as common semantical domain for a large variety of languages. The units of this framework comprise a syntactic and a semantic part, where the syntactic part is open for instantiations, and the semantic part is given by transition systems labeled by abstract data states and actions from a (more or less) arbitrary specification framework. 1 Introduction Recent approaches to software specification and analysis, such as the UML [UML97] or ODP [ODP], offer series of different (diagram) languages or techniques for the specification of particular aspects of a software system. Thereby the separation of different specification tasks that are...