Abstract
This paper reports the activities of the ECOOP'99Workshop on Interactive System Design with Object Models (WISDOM'99). The paper presents the workshop rational, format, the discussion framework and its four identified issues: architecture, process, notation and traceability. The results of the workshop are proposals for a meta-architecture to develop interactive systems, an user-centered software development process framework, some comments on notation issues and finally a traceability model of user interface design. Furthermore this paper contains abstracts of all position papers presented at the workshop.

Abstract
In order for parallel logic programming systems to become popular; they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programming systems would like to exploit maximum parallelism for existing and novel applications. ideally by supporting both and-parallelism and or-parallelism. Unfortunately; the combination of both forms of parallelism is a hard problem, and available proposals cannot match the efficiency of; say, or-parallel only systems. We propose a novel approach to And/Or Parallelism in logic programs. Our initial observation is that stack copying, the most popular technique in or-parallel systems, does not work well with And/Or systems because network management is much more complex. Copying is also a significant problem in operating system where the copy-on-write (COW) has been dcl eloped to address the problem We demonstrate that this technique can also be applied to And/Or systems, and present both shared memory and distributed shared memory designs.

Abstract

Abstract
Formal reasoning about how users and systems interact poses a difficult challenge. Interactive systems design provides a context in which the subjective area of human understanding meets the objectivity of computer systems logic. We present results of a case study in the use of automated reasoning to aid the formal analysis of interactive systems. We show how we can use human-factors issues to generate properties of interest, and how we can use model checking and theorem proving to analyse our specifications against those properties. This is part of ongoing work in the development of a tool to allow the automatic translation of interactor based specifications into SMV, and in the analysis of the role which different verification techniques might have during the development of interactive systems.

Abstract

Abstract
Techniques of time series analysis were used to examine historical records of the incidence of diphtheria, pertussis, and measles, and of deaths by measles in Portugal during the twentieth century. There are statistically significant seasonal and long-term oscillations in the incidence of these diseases. Seasonal oscillations appear to be in close association with the resumption of school classes in the fall in the case of diphtheria, but not in pertussis and measles. Long-term oscillations in pertussis (3.5-4 year period) and measles (3-year period), before vaccination, corroborate theoretical predictions about the dynamics of these diseases, whereas absence of long-term oscillations in diphtheria is probably due to the influential presence of carriers upon the dynamics of the disease. Mass vaccination strongly suppressed disease incidence, did not eliminate seasonal oscillations, and appeared to have acted to lengthen long-term periodicity in pertussis and measles.