It is apparent that developing dynamic models of business processes prior to their change could increase the success of business renovation (BR) projects. Simulation has an important role in modelling and analysing the activities in introducing BR since it enables quantitative estimations of influence of the redesigned process on system performances. An example is presented to investigate some ...

This paper describes a high-level System Dynamics model of a real-world software evolution process. This process is evolving the kernel (low-level routines) of VME, the operating system of a long-lived and successful series of ICL mainframe computers. The model has been developed as part of the continuing FEAST project, which is investigating the role and impact of feedback in the global softwa...

In this paper we examine the uses that the analysable language Alloy can play in Process modelling. We explore its application to descriptions of the organisation and its rules, to the description of processes and in the metamodelling of process models.

Milk fat exhibits seasonal variations in composition and properties which are undesirable for many subsequent applications. Thus techniques are sought to process dairy products in order to achieve a consistent quality. A brief introduction to milk fat presents its most important particularities, especially composition, seasonal variations, solid fat content, crystallisation and polymorphism. Th...

Concurrency Control is the ability to allow concurrent access of multiple independent agents while still maintaining the overall consistency of the database. We discuss the notion of Cooperation Control, which gives a dbms, the ability to allow cooperation of multiple cooperating agents, without corrupting the consistency of the database. Speci cally, there is the need for allowing cooperating ...

In this paper we present a formal basis for the development of intelligent learning environments that are capable of reasoning about the process of learning and of changing the environment in ways that create possibilities for processes of interaction that increase learning over time. To support this kind of reasoning we have developed a formal account of interaction and of time-extended proces...

Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviours of the participants but also how the contractual relationships among them evolve over the course of an interaction. In this paper we provide a framework in which one can define policies/ business rules using deontic ...

Automobile warranties and thus lifetimes are characterized in the two-dimensional space of time and mileage. This paper presents a non-homogenous Poisson Process (NHPP) predictive model for automobile warranty claims consisting of two components: a population size function and a failure or warranty claim rate. The population size function tracks the population in the time domain and accounts fo...