Till Mossakowski: The Heterogeneous Framework Integration Initiative, and some news about the Heterogeneous Tool Set
The Heterogeneous Framework Integration Initiative has been initiated
during January 2005 meeting of the IFIP WG 1.3.
HiFi is an open, collaborative initiative that will work on
- foundations of a meta-framework: what is a formalism?
Institutions can be a starting point, but how to integrate
process calculi, program design and architectural description
languages, transition systems, programming languages?
- integration of many existing formalisms
- a service-oriented architecture for tool integration in
a logical context, based on free software
- case studies demonstrating the usefulness of the approach
The Heterogeneous Tool Set Hets is a parsing, static analysis and
proof management tool combining various tools for different
specification languages. It is based on the theory of Grothendieck
institutions. We will present the recent developments and
discuss the potential uses and limits of Hets in the light of HiFi.
Last modified: Mon Sep 26 12:51:19 CEST 2005