GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems
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, while Section 4. discusses how GAMERU models ‘implement’ the approach.
KeywordsConstitutive Rule Asynchronous Communication Office System Synchronous Communication Office Modelling
Unable to display preview. Download preview PDF.
- BDM87.E. Battiston, F. De Cindio, G. Mauri, OBJSA Nets, a class of high-level nets having objects as domains, Proc.8th Workshop on Application and theory of Petri Nets, june 1987 (to appear)Google Scholar
- Ber87.G. Berthelot, Transformation and Decompositions of Nets, Proc. Advanced Course on Petri Nets, Bad-Honnef (D), sept. 1986Google Scholar
- BP84.G. Bracchi, B. Pernici, SOS: a conceptual model for office information systems, Proc. ACM-SICMOD Database Week Conference, S. Jose-Calif., 1983Google Scholar
- CDDPS86.L. Castellano, F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Dual notions of equivalence for Petrinets, I.C. Internal Report (2nd version), 1986Google Scholar
- DD84.V. De Antonellis, A. Di Leva, DATAID-1: a database design methodology, Information Systems, vol.10.1, H.J. Schneider ed., Pergamon Press, 1984Google Scholar
- DDMZ80.V. De Antonellis, G. Degli Antoni, G. Mauri, B. Zonta, Extending the entity relationship approach to take into account historical aspects of systems, E-R Approach to Systems Analysis and Design, P. Chen ed., North Holland, Amsterdam, 1980Google Scholar
- DDPS82.F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Superposed Automata Nets, IFB 52, Springer-Verlag, Berlin, 1982Google Scholar
- DDPS83.F. De Cindio, G. De Michelis, L. Pomello, C. Simone, Conditions and Tools for an effective Negotiation during the Organization/Information System Design process, in U. Briefs, C. Ciborra, L. Schneider (eds), System Design for, with and by the Users, North Holland, Amsterdam, 1983Google Scholar
- DDS83.F. De Cindio, G. De Michelis, C. Simone, Organizational Games Rules with Superposed Automata Nets, Proceedings IEEE Workshop on Languages for Automation, Chicago, 1983Google Scholar
- DDS85.F. De Cindio, G. De Michelis, C. Simone, Giving back some Freedom to System Designer, System Research, 2.4, 1985Google Scholar
- DDS86.F. De Cindio, G. De Michelis, C. Simone, GAMERU: a language for the analysis and design of human communication pragmatics within organizational systems (extended version), DSI Internal Report, 1986Google Scholar
- DDS87.F. De Cindio, G. De Michelis, C. Simone, The Communication Disciplines of CHAOS, Advances in Petri Nets (special volume), LNCS, Springer-Verlag, Berlin, 198Google Scholar
- DDSVZ86.F. De Cindio, G. De Michelis, C. Simone, R. Vassallo, A. Zanaboni, CHAOS as a Coordination Technology, in CSCW 86, MCC, Austin, 1986Google Scholar
- Deg82.G. Degli Antoni, Modelli per l'automazione d'ufficio, Rivista di Informatica, XI.4, 1982Google Scholar
- DeM86.G. De Michelis, Sistemi autopoietici del terzo ordine: il caso degli uffici, Metamorfosi 3, 1986Google Scholar
- Des86.Meta Software Corporation, Design, in "Toolexhibition", Proc. Advanced Course on Petri Nets, Bad-Honnef (D), sept.1986Google Scholar
- DL86.G. Degli Antoni, H. Le Van, L'automazione di ufficio come meccanizzazione del rapporto tra tema e disciplina della comunicazione, in Office Automation: Metodi e technologie, G. Degli Antoni, G. Occhini eds., Masson, Milano, 1986Google Scholar
- E1180.C. Ellis, Office modelling. An introspection into the what and why of office models, in Integrated Office Systems Burotics, N. Naffah (ed.), North Holland, Amsterdam, 1980Google Scholar
- Hac74.M. Hack, Extended Stat-Machine Allocatable Nets, an extension of Free Choice Petri Nets result, MIT Project MAC, MAC-TR 78-1, Cambridge (Ma, Usa), 1974Google Scholar
- Hoa78.C.A.R. Hoare, Communicating Sequential Processes, CACM 21.8, 1978Google Scholar
- Hol86.A. W. Holt, Coordination Technology and Petri Nets, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986Google Scholar
- Mar87.G. Marcon, TEBE: Tools for Exhibited-Behaviour Equivalence, DSI Internal Report, jan. 1987Google Scholar
- Mil80.R. Milner, A Calculus for Communicating Systems, LNCS 92, Springer-Verlag, Berlin, 1980Google Scholar
- MV80.H.R. Maturana, F. Varela, Autopoiesis and Cognition, Reidel, Dordrecht, 1980Google Scholar
- Pet79.C.A. Petri, Communication Disciplines, in B. Shaw (ed.), Proc. of the Joint IBM-Univ. of Newcastle upon Tyne Seminar, Univ.of Newcastle upon Tyne Computing Lab., 1977Google Scholar
- Pom85.L. Pomello, Some Equivalence Notions for Concurrent Systems, An Overview, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986Google Scholar
- Rei83.W. Reisig, System Design Using Petri Nets, Proc. 4th European Workshop on Petri Nets, Toulouse (F), 1983Google Scholar
- RV86.G. Richter, K. Voss, Toward a comprehensive office model integrating information and resources, in G. Rozenberg (ed.) Advances in Petri Nets '85, LNCS 222, Springer-Verlag, Berlin, 1986Google Scholar
- Sea64.J. Searle, How to derive ‘ought’ from ‘is', Philosophical Review 73, 1964Google Scholar
- Wed85.H.F. Wedde, Value of formal information system models for a flexible reorganization in an Insurance Company, Proc. 2nd Symp. on Empirical Foundation of Software and Systems Sciences, Georgetech, Atlanta, Plenum, New York, 1985Google Scholar
- WF86.T. Winograd, F. Flores, Understanding Computers and Cognition, Ablex, New York, 1986Google Scholar
- Wit53.L. Wittgenstein, Philosophische Untersuchungen, Blackwell, Oxford, 1953Google Scholar
- Zis79.M.D. Zisman, Integrated Office Automation Systems, in Infotech: State of the Art Report, "Convergence: Computers, communication and Office Automation", vol.1–2, Marlow, 1979Google Scholar