View article

This paper presents a research project carried out in the last years at the Dipartimento di Scienze dell'Informazione of the University of Milano. It is aimed at the development of conceptual and modelling tools for office analysis and for the design of office support systems.

Specifically, the paper concerns GAMERU, a language for office modelling, and how it supports the overall approach, which gives a particular emphasis to communication pragmatics.

GAMERU consists of a class of Petri nets, namely 1-safe Superposed Automata nets, and an interpretation inspired by Flores's Conversation for Action approach. It is supported by conceptual tools for dealing with the complexity of real offices modelling.

After an introduction sketching the foundations of the approach, section 2. gives the main definitions of GAMERU models and related tools. Section 3. presents examples of office models …