A Modular Framework for the Integration of Heterogeneous Notations and Tools

. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides means of integrating formalisms on a syntactical, semantical as well as tool technical level. Currently, the framework integrates Z with the languages of Statemate [15], i.e. Statecharts to describe reactive behavior and activity charts to describe structural aspects. Our means of integration are, however, general enough to integrate other, esp. synchronous languages, as well, and reuse much of the existing tools in the process. 1 Introduction Every software-based system potentially benefits from the application of formal techniques. For the development of mission or even safety-critical embedded systems, their use is of particular advantage, because the potential damage operators and developers have to envisage in case of malfunction may be much worse than the additional costs of applying formal techniques...