Formal analysis of meeting protocols
作者： Catholijn M. Jonker , Martijn Schut , Jan Treur , Pınar Yolum
DOI: 10.1007/978-3-540-32243-6_10
关键词: TRACE (psycholinguistics) 、 Operations research 、 Context (language use) 、 Computer science 、 Everyday tasks 、 Data science 、 Protocol (science) 、 Empirical data
摘要: Organizations depend on regular meetings to carry out their everyday tasks. When carried successfully, offer a common medium for participants exchange ideas and make decisions. However, many suffer from unfocused discussions or irrelevant dialogues. Within Social Science sometimes general, informal meeting guidelines are formulated. To study in detail, we first formalize general properties generic protocol the role interactions that is coherent with such guidelines. In context of case study, an example simulated based this protocol. The verified trace. These also validated by verifying them against formalisation empirical data real same context. A comparison two traces reveals more robust sense exception violations may occur, these exceptions handled effectively without damaging success meeting. Given observation, refined specified includes exception-handling strategies. Based closely resembles
springer.com
core.ac.uk
ru.nl
narcis.nl参考文章(23)
Kevin Wolf, Berit Lakey, THE MAKINGS OF A GOOD MEETING ,(2002)
Henry M. Robert, Robert's rules of order, newly revised Da Capo Press. ,(2011)
Scott Moss, Helen Gaylard, Steve Wallis, Bruce Edmonds, SDML: A Multi-Agent Language for Organizational Modelling Computational and Mathematical Organization Theory. ,vol. 4, pp. 43- 69 ,(1998) , 10.1023/A:1009600530279
Richard Owens, Michael Fisher, Howard Barringer, Dov Gabbay, Mark Reynolds, The imperative future: principles of executable temporal logic John Wiley & Sons, Inc.. ,(1996)
Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij, Jan Treur, LEADSTO: a language and environment for analysis of dynamics by simulation industrial and engineering applications of artificial intelligence and expert systems. ,vol. 3533, pp. 363- 366 ,(2005) , 10.1007/11504894_51
Zohar Manna, Amir Pnueli, Temporal Verification of Reactive Systems: Safety ,(1995)
Ruben A. Gamboa, Matt Kaufmann, Nonstandard Analysis in ACL2 Journal of Automated Reasoning. ,vol. 27, pp. 323- 351 ,(2001) , 10.1023/A:1011908113514
Colin Stirling, Modal and Temporal Properties of Processes ,(2001)
Fred Niederman, Catherine M. Beise, Peggy M. Beranek, Issues and concerns about computer-supported meetings: the facilitator's perspective Management Information Systems Quarterly. ,vol. 20, pp. 1- 22 ,(1996) , 10.2307/249540
J. D. Croston, H. B. Goulding, The Effectiveness of Communication at Meetings: A Case Study Journal of the Operational Research Society. ,vol. 17, pp. 47- 57 ,(1966) , 10.1057/JORS.1966.6