DFG Project MULTIPLE:
Multi-logic systems as a basis for heterogeneous specification and development
Formal methods are important for the development of correct software,
particularly in safe-critical areas. Often, within one software development
project, several different languages and tools are needed. To ensure the
proper interaction of different languages and tools, it is important that
they are semantically related. The project MULTIPE has three aims:
-
Development of a graph of different logics with translations between them.
This graph shall be based in the international standard CASL
(Common algebraic specification language), its restrictions and extensions.
-
Development of a heterogeneous specification language that allows to combine
specifications written in different logics. The heterogeneous specification
language shall be parameterized over an arbitrary but fixed logic graph,
and its first instantiation will be with the tool graph developed in the
first part. An important research topic is the interaction of general (CASL-like)
structuring constructs with the heterogeneous constructs.
-
Development of and integration of tools for the heterogeneous specification
languages, such that the logic graph will be extended to a tools and methods
graph. Tool development will be based on the already developed tools
in Bremen. Implementation languages are ML, Haskell and Lisp.
Links: