Einar W. Karlsen

The UniForM WorkBench - A Higher Order Tool Integration Framework

The UniForM Workbench is an open ended tool integration framework for developing (formed) Software Development Environments (SDE) from the basis of pre-fabricated off-the-shelf development tools. The integration framework provides support for data, control and presentation integration as well as utilities for wrapping Haskell interfaces around existing development tools. Entire SDEs are then glued together on the basis of these encapsulations using Concurrent HciskeU as the integration language, thus allowing integration to be done at a level of abstraction that is very close to the one offered by constructive formal specifications. So far, the integration framework has successfully been used to integrate tools for Haskell program development as well cis specification and proof tools for Z specifications.

HOL-Z in the UniForM-Wokbench - A Case Study in Tool Integration for Z

The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and configuration management.

Using Concurrent Haskell to Develop Views over an Active Repository

The UniForM WorkBench is an integration framework with Haskell features in support of data, control and presentation integration. Using the WorkBench, it is possible to implement the entire Software Development Environment for Haskell — using Haskell itself. The paper presents the higher order approach to event handling used within the WorkBench, as well as the persistent repository with version management support. It is then demonstrated how views over this repository are kept consistent, on the fly, in a multi-user environment using the Model-View-Controller paradigm. Interactors are set up to maintain consistency between a view and its underlying repository by coordinating database change notifications and user interactions. These events are represented as first class, composable event values.

Tool Integration in the UniForM-Workbench

The need for tool support is widely acknowledged, in particular in the context of formal methods. Yet, there exist many different tools serving different formal methods, and no single formal method (let alone tool) covers all aspects of software development. In order to combine the advantages of various tools and methods, they are combined into one integrated Software Development Environment (SDE).

Mapping UML to Ada

The Unified Modeling Language (UML) is now the most common language for capturing the design of an object oriented system. Ada has all the features expected of an object oriented programming language. This paper describes how most of the features of UML readily map to Ada and many of the Ada features can be mapped to from UML. It also shows how an Ada package specification could be automatically generated from a UML model.

Uniform Transformational Development

This chapter relates the uniformity of the methodological approach to program and meta-program development (for transformation, proof and development tactics, command language, even library access and system configuration, cf. part I chapter 1) to the generic structure of the PROSPECTRA system. See also chapter 2 for an introduction to the system as a Guided Tour.