Einar W. Karlsen's research while affiliated with Universität Bremen and other places

Publications (9)

Article
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...
Conference Paper
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and configuration management. We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a software...
Chapter
The UniForM-Workbench is an open tool-integration environment providing type-safe communication, a toolkit for graphical user-interfaces, version management and configuration management. We demonstrate how to integrate several tools for the Z specification language into the workbench, obtaining an instantiation of the workbench suited as a software...
Conference Paper
The UniForM Workbench is an open ended tool integration framework for developing (formal) 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 exis...
Article
1 Introduction The UniForM Concurrency ToolKit 1 is a library of abstract data types for shared memory and message passing communication that extends Concurrent Haskell [HPJW92, PJGF96] with a concept of thread identity, re-entrant monitors and selective communication. The message passing model is very similar to the one of Concurrent ML [Rep92] by...
Article
. The UniForM Concurrency Toolkit is a comprehensive library of abstract data types for shared memory and message passing communication that extends Concurrent Haskell with a concept of dynamic types, thread identity, thread local state and selective communication as found in CML. Notable features of the toolkit are its support for reentrant monito...
Article
. 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,...
Article
. In this paper we describe how existing interactive tools can be integrated using Concurrent Haskell and synchronous events. The base technology is a higherorder approach to concurrency as in CML extended with a framework for handling external events of the environment. These events are represented as first class synchronous events to achieve a un...
Article
. Views to the underlying repository of software objects within a Software Development Environment are, by nature, very dynamic. While one user is viewing a version graph, another user may change it by creating or pruning versions. Within the Universal Formal Methods WorkBench (UniForM), which uses Haskell as its central integration language, we ha...

Citations

... Few projects approach the task of integrating tools for formal methods and existing commercial CASE tools in all the aspects as ZETA does. The approach of the UniForM Workbench [25,26] is probably the most related to ours. However, whereas our integration language Java is object oriented, UniForM employs a functional language (Haskell) for this task. ...
... Tool integration has been a hot research topic over the past years. There have been a number of early attempts (such as [2]) at integrating development tools within the context of a well-defined process. They were rather suited for a particular type of application rather than being generally usable. ...
... In order to obtain semantical integration, authors define a formal notation, called lSZ (Bussow et al.), where most of the statechart's syntactic units are expressed in Z. This allows for the use of Z-oriented proof tools such as HOL-Z (Luth et al., 1998). Relatively to Object-Z, Manna and Klar (1998) defines an object-oriented meta-model for statecharts. ...
... TAS and IsaWin have been developed during the UniForM project [3], the aim of which is to integrate different formal methods in a logically consistent way. The UniForM workbench [1,4,5] embeds TAS and IsaWin into an integrated software development environment for formal methods, providing services such as type-safe communication with cooperating tools, persistent and distributed storage, and version and configuration management. ...
... We believe that this is a sensible and meaningful separation of concerns, especially in the context of future heterogeneous distributed systems. The development of the UniForM toolkit over Concurrent Haskell has something of this divide, though not so sharply cut [7]. ...
... 9. Control integration is provided by the Subsystem Interaction Manager; based on the UniForM Concurrency Toolkit, tools interact in a fine grained network of communicating concurrent agents and are, in general, loosely coupled by intermittent adaptors (cf. [Kar97a,Kar97b]). The Repository Manager [KW97] takes care of data integration with an interface to a public domain version of the industry standard Portable Common Tool Environment [PCTE94,HPCTE] and provides version and configuration control, etc. with a graphical interface (using daVinci; cf. also fig. ...
... The generic programming technology provides automatic and specialized visualization of all data models. Other model-view approaches based on functional programming use a similar value-based approach [10], or an event-based version [17]. In both cases, the programmer needs to explicitly handle view registration and manipulation. ...
... [Kar97a,Kar97b]). The Repository Manager [KW97] takes care of data integration with an interface to a public domain version of the industry standard Portable Common Tool Environment [PCTE94,HPCTE] and provides version and configuration control, etc. with a graphical interface (using daVinci; cf. also fig. 10). ...