Analysis of meeting protocols by formalisation, simulation, and verification

Catholijn M. Jonker (), Martijn C. Schut (), Jan Treur () and Pınar Yolum ()
Additional contact information
Catholijn M. Jonker: Delft University of Technology
Martijn C. Schut: Vrije Universiteit Amsterdam
Jan Treur: Vrije Universiteit Amsterdam
Pınar Yolum: Bogazici University

Computational and Mathematical Organization Theory, 2007, vol. 13, issue 3, No 3, 283-314

Abstract: Abstract Organizations depend on regular meetings to carry out their everyday tasks. When carried out successfully, meetings offer a common medium for participants to exchange ideas and make decisions. However, many meetings suffer from unfocused discussions or irrelevant dialogues. To study meetings in detail, we first formalize general properties of meetings and a generic meeting protocol to specify how roles in a meeting should interact to realize these properties. This generic protocol is used as a starting point to study real-life meetings. Next, an example meeting is simulated using the generic meeting protocol. The general properties are formally verified in the simulation trace. Next, these properties are also verified formally against empirical data of a real meeting in the same context. A comparison of the two traces reveals that a real meeting is more robust since when exceptions happen and the rules of the protocol are violated, these exceptions are handled effectively. Given this observation, a more refined protocol is specified that includes exception-handling strategies. Based on this refined protocol a meeting is simulated that closely resembles the real meeting. This protocol is then validated against another set of data from another real meeting. By iteratively adding exception handling rules, the protocol is enhanced to handle a variety of situations successfully.

Keywords: Meeting protocols; Dynamic properties; Temporal logical formalisation; Simulation; Verification; Organisation modeling (search for similar items in EconPapers)
Date: 2007
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10588-006-9001-8 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:comaot:v:13:y:2007:i:3:d:10.1007_s10588-006-9001-8

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10588

DOI: 10.1007/s10588-006-9001-8

Access Statistics for this article

Computational and Mathematical Organization Theory is currently edited by Terrill Frantz and Kathleen Carley

More articles in Computational and Mathematical Organization Theory from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().