Research activity in 1995
L'attivita' di ricerca e' stata rivolta alla definizione del concetto di
"meccanismo di coordinamento" come base per la costruzione di sistemi di
supporto al lavoro cooperativo. Tale concetto e' stato introdotto per la
costruzione di sistemi cooperativi asincroni, caratterizzati da processi che
richiedono una complessa attivita' di articolazione del lavoro. E' stato
quindi definito un modello di articolazione del lavoro che costituisce il punto
di riferimento di una notazione per la costruzione di meccanismi di
coordinamento, caratterizzati da un elevato grado di modularita' e
composizionalita'. La semantica operazionale della notazione e' definita da
una macchina astratta costituita da un 'architettura multi-agente stratificata
per la quale e' stato definito uno specifico linguaggio di comunicazione.
Notazione ed architettura sono state implementate in un primo prototipo.
La necessita' di poter effettuare attivazioni e verifiche di proprieta' dei
sistemi progettati, comporta l'utilizzo di strumenti formali per la
descrizione dei processi coinvolti. Da un lato, nella costruzione degli attuali
strumenti, si e' fatto uso delle Reti di Petri e della loro teoria: in
particolare si e' utilizzata per la descrizione del comportamento interno degli
agentiuna classe modulare di Reti di Petri precedentemente definita.
Dall'altro, la necessita' di modellare aspetti di controllo distribuito e di
riflessivita' (implicati dalla natura acentrata e ricorsiva delle strutture
organizzative complesse) ha spinto all'analisi di modelli di riferimento
alternativi basati su di macchina astratta a reazione-diffusione, a partire da
alcune proposte esistenti in letteratura.
1995 Publications
S. Bandini and C. Simone, "Steps Towards a Reaction-Diffusion Model for
Representing Locality, Awarness and Recursiveness in Complex Organizations,"
Journal of the National Institute of Industrial Engineering, , (to
appear).
G.D. Michelis, L. Pomello, E. Battiston, F.D. Cindio, and C. Simone, "Formal
Methods: A Petri Nets Based Approach," in Handbook of Parallel and
Distributed Processing, A.Y.Z. (ed.), McGraw-Hill New York NY, 1995.
M. Divitini and C. Simone, "Coordination Mechanisms in a multi-agent
perspective," in (submitted) Schmidt, Kjeld and Carla Simone: Mechanisms of
Interaction: An Approach to CSCW Systems Design. In COOP '95. International
Workshop on the Design of Cooperative Systems, Antibes-Juan-les-Pins,
France, January 25-27 1995, pp. 56-75.
K. Schmidt, C. Simone, M. Divitini, P. Carstensen, and C. S[[macron]]rensen, "A
'contrat sociale' for CSCW systems: Supporting interoperability of
computational coordination mechanisms," in , DK-4000 Roskilde, Denmark,
1995, [WPCS-95-7].
K. Schmidt and C. Simone, "Coordination Mechanisms: towards a conceptual
foundation for CSCW systems design," An International Journal, (to
appear), .
C. Simone, M. Divitini, and K. Schmidt, "A notation for malleable and
interoperable coordination mechanisms for CSCW systems," in COOCS'95,
Milpitas, CA, USA, August 13-16 1995, ACM Press.
C. Simone, M. Divitini, K. Schmidt, and P. Carstensen, "A Multi-Agent Approach
to the Design of Coordination Mechanisms," in Proceedings of the First
International Conference on Multi-Agent Systems, V.L. (ed.), San Francisco,
Calif., USA, June 12-14 1995, MenloPark, Calif.: AAAI Press.