Repository logo
Research Data
Publications
Projects
Persons
Organizations
English
Français
Log In(current)
  1. Home
  2. Authorities
  3. Projets
  4. A multi-formalism approach for designing of a reactive multi-system
Project Title
A multi-formalism approach for designing of a reactive multi-system
Internal ID
17344
Principal Investigator
Stoffel, Kilian  
Status
Completed
Start Date
October 1, 2000
End Date
September 30, 2002
Investigators
Müller, Jean-Pierre
Amiguet, Matthieu
Organisations
Institut du management de l'information  
Project Web Site
http://www2.unine.ch/imi/page-18362.html
Identifiants
https://libra.unine.ch/handle/20.500.14713/2311
-
https://libra.unine.ch/handle/123456789/1579
Keywords
agents Petri Nets Temporal logic
Description
One of the aims of simulating organizations is to understand the relationship between the recurrent patterns of group behaviour, called organizations, and recurrent patterns of individual behaviour, called roles. These recurrent behavioural patterns can be formally described either by fixed protocols for interaction between roles at the organizational level and with the external environment at the individual level, or by constraints on the possible behaviours by means of collective and individual norms. Individual norms are represented in various ways: as mental attitudes, as obligations, authorizations and conventions or as commitments, etc. One can think of collective norms as specifying a set of possible structures of interaction in a group. This last option is generally linked to a Belief-Desire-Intention (BDI) agent architecture.

We consider only the descriptions of structures of interaction as a set of protocols between roles. Therefore, the roles played by the individuals are completely determined by these structures in a kind of methodological holism. We further have to distinguish whether the recurrent patterns of behaviour refer to the actual or expected behaviours. The expected behaviours would be a specification of the kind of interactions we would like to emerge from the dynamics of the multi-agent system but which does not necessarily happen. The actual behaviour would be the description of the detailed interactions which has necessarily to occur when the agents interact with each other.

We use a formalism of the structures of interaction as a set of protocols between roles to describe the dynamics of the groups instantiating these structures with individuals creating, entering and leaving groups. Our aim is to provide both a formalism and a tool to investigate the dynamics of social networks in a simple way. More precisely, the aim is

a) to propose to use a formalism of the structures of interaction as a set of protocols between roles
b) to describe the dynamics of the groups instantiating these structures with individuals creating, entering and leaving groups
in order to investigate the dynamics of social networks in a simple way.

Thus, we partially address the challenge of allowing for open systems in social simulation, which have since a while been recognized as a difficult class of system to design. We recall that, in software engineering, open systems are defined as encapsulated, reactive and spatially and temporally extensible systems, whose components are entities that a designer has no knowledge of at the design time and which may dynamically join and leave the system at run-time.
Université de Neuchâtel logo

Service information scientifique & bibliothèques

Rue Emile-Argand 11

2000 Neuchâtel

contact.libra@unine.ch

Service informatique et télématique

Rue Emile-Argand 11

Bâtiment B, rez-de-chaussée

Powered by DSpace-CRIS

libra v2.2.0

© 2026 Université de Neuchâtel

Portal overviewUser guideOpen Access strategyOpen Access directive Research at UniNE Open Access ORCIDWhat's new