Publisher's Synopsis
These papers address a broad spectrum of problems and ideas related to dynamic modelling of information systems. About half of the included papers present formal schemata for the specification of dynamic models of information systems. Petri nets, and other techniques are used to devise generalizable formal constructs for representing information systems with dynamic properties. Other papers present results from experience using dynamic models in the actual design of information systems. Simulation techniques, including animation, are an important feature of many of these applied papers.
