A Graphical Environment Supporting the Algebraic Specification of Abstract Data Types

Abstract Data Types (ADTs) are a powerful conceptual and practical device for building high-quality software because of the way they can describe objects whilst hiding the details of how they are represented within a computer. In order to implement ADTs correctly, it is first necessary to precisely describe their properties and behaviour, typically within a mathematical framework such as algebraic specification. These techniques are no longer merely research topics but are now tools used by software practitioners. Unfortunately, the high level of mathematical sophistication required to exploit these methods has made them unattractive to a large portion of their intended audience. This thesis investigates the use of computer graphics as a way of making the formal specification of ADTs more palatable. Computer graphics technology has recently been explored as a way of making computer programs more understandable by revealing aspects of their structure and run-time behaviour that are usually hidden in textual representations. These graphical techniques can also be used to create and edit programs. Although such visualisation techniques have been incorporated into tools supporting several phases of software development, a survey presented in this thesis of existing systems reveals that their application to supporting the formal specification of ADTs has so far been ignored. This thesis describes the development of a prototype tool (called VISAGE) for visualising and visually programming formally-specified ADTs. VISAGE uses a synchronised combination of textual and graphical views to illustrate the various facets of an ADT's structure and behaviour. The graphical views use both static and dynamic representations developed specifically for this domain. VISAGE's visual programming facility has powerful mechanisms for creating and manipulating entire structures (as well as their components) that make it at least comparable with textual methods. In recognition of the importance of examples as a way of illustrating abstract concepts, VISAGE provides a dedicated tool (called the PLAYPEN) that allows the creation of example data by the user. These data can then be transformed by the operations belonging to the ADT with the result shown by means of a dynamic, graphical display. An evaluation of VISAGE was conducted in order to detect any improvement in subjects' performance, confidence and understanding of ADT specifications. The subjects were asked to perform a set of simple specification tasks with some using VISAGE and the others using manual techniques to act as a control. An analysis of the results shows a distinct positive reaction from the VISAGE group that was completely absent in the control group thereby supporting the thesis that the algebraic specification of ADTs can be made more accessible and palatable though the use of computer graphic techniques

Object Oriented Tool for Modelling, Simulation and Production Planning in Petrochemical Industries

http://www.cs.hut.fi/~framling/Publications/RPO93.pdfInternational audienceThe subject of this work is to study the use of object oriented models of petrochemical plants in order to si mplify simulation and production planning. A prototype system for an existing plant was developed to achieve this goal. The prototype system was made using the object oriented programming language Smalltalk/V. The system is generic and allows creating graphical simulation models for most kinds of petrochemical plants main ly as a simple drawing operation. The models can be used for simulating production plans as well as for generating them automatically. The results obtained prove that object ori ented methods allow the creation of very flexible models. These models are shown to facilitate simulation and automatic scheduling, when used together with artificial intelligence methods

User Interface Management Systems: A Survey and a Proposed Design

The growth of interactive computing has resulted in increasingly more complex styles of interaction between user and computer. To facilitate the creation of highly interactive systems, the concept of the User Interface Management System (UIMS) has been developed. Following the definition of the term 'UIMS' and a consideration of the putative advantages of the UIMS approach, a number of User Interface Management Systems are examined. This examination focuses in turn on the run-time execution system, the specification notation and the design environment, with a view to establishing the features which an "ideal" UIMS should possess. On the basis of this examination, a proposal for the design of a new UIMS is presented, and progress reported towards the implementation of a prototype based on this design

Interactive and Live Program Construction

In the highly technological and advanced society we live nowadays, it is essential to explore new development approaches in order to increase the efficiency and flexibility with which software is built. Our work focuses on the design and conception of a live graphical environment to allow for incremental and interactive construction of web applications through visual manipulation interactions. Our research is introduced in the context of a prototype, Live Programming, that provides a style of incremental and agile development of web applications, allowing for efficient updates of code and data. However, the construction of a web application through the existing coding environment is still slow and not as flexible as one would wish. This is due to the fact that its user interface is based on text editors, resulting in a heavy reliance on computer code to build these applications. The goal of our work consists on the conception of a visual construction model and graphical environment that interacts with the Live Programming system, allowing to incrementally develop web applications through the manipulation of visual symbols on the screen. The user does not need to program: instead, our tool automatically generates code according to the user’s manipulation of the visual components. The user must then be able to visually define the data model, queries, logical operations and presentation views (for example, html pages). We aim, as well, at idealizing and proposing creative and convenient techniques to program visualization and methods to visually organize the structure of a program, in order to help the user comprehending the relationships between elements and their responsibility within the system. This way, developers leverage an agile and interactive approach to efficiently deal with increasingly demanding requirements throughout development

The 14th Overture Workshop: Towards Analytical Tool Chains

This report contains the proceedings from the 14th Overture workshop organized in connection with the Formal Methods 2016 symposium. This includes nine papers describing different technological progress in relation to the Overture/VDM tool support and its connection with other tools such as Crescendo, Symphony, INTO-CPS, TASTE and ViennaTalk