--- abstract: "We describe a study of the industrial use of animation in the analysis of a formal model of information flow in dynamic virtual organisations (VOs). A generic formal model of a VO structure composed of autonomous agents sharing information was developed using the Vienna Development Method (VDM). An exploratory environment was also developed in which the model was animated via an interpreter running an application-specific script developed with domain experts. A user interface encouraged interaction with the model without requiring exposure to the formalism. The use of the interface and model by domain experts was observed\r\nand recorded before debrief, allowing us to draw conclusions about the suitability of formal models for exploring, in an industrial setting, the design of policies governing VOs." accompaniment: [] book_title: ~ commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: John.Fitzgerald@ncl.ac.uk copyright_holders: [] corp_creators: [] creators_id: - John.Fitzgerald@ncl.ac.uk - Jeremy.Bryans@ncl.ac.uk - David.Greathead@ncl.ac.uk - Cliff.Jones@ncl.ac.uk - Richard.Payne@ncl.ac.uk creators_name: - family: Fitzgerald given: John S honourific: '' lineage: '' - family: Bryans given: Jeremy W honourific: '' lineage: '' - family: Greathead given: David honourific: '' lineage: '' - family: Jones given: Clifff B honourific: '' lineage: '' - family: Payne given: Richard honourific: '' lineage: '' data_type: ~ date: 2008 date_type: ~ datestamp: 2008-08-06 19:46:58 department: ~ dir: disk0/00/00/00/30 divisions: [] edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 30 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/30/1/ewic_fm07_paper3.pdf full_text_status: public funders: - EU FP7 - EPSRC (UK) id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2010-04-19 15:05:50 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: http://www.bcs.org/server.php?show=nav.00100v005003 output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: - EU FP7 Project Deploy - EPSRC Interdisciplinary Research Collaboration on Dependability (DIRC) publication: Electronic Workshops in Computing publisher: British Computer Society refereed: TRUE referencetext: "[J.W. Bryans and J. S. Fitzgerald. Formal Engineering of XAML Access Control Policies in VDM++.\r\nIn M. Butler, M. G. Hinchey, and M. M. Larrondo-Petrie, editors, Formal Methods and Software\r\nEngineering: Proc. 9th Intl. Conf. on Formal Engineering Methods, ICFEM 2007, volume 4789 of\r\nLecture Notes in Computer Science, pages 37–56. Springer-Verlag, 2007.\r\n\r\nJ. W. Bryans, J. S. Fitzgerald, C. B. Jones, and I. Mozolevsky. Dimensions of Dynamic Coalitions.\r\nTechnical Report 963, Newcastle University, School of Computing Science, May 2006.\r\n\r\nJ. W. Bryans, J. S. Fitzgerald, C. B. Jones, and I. Mozolevsky. Formal Modelling of Dynamic\r\nCoalitions, with an Application in Chemical Engineering. In T. Margaria, A. Philippou, and B. Steffen,\r\neditors, Proc. 2nd Intl. Symp. on Leveraging Applications of Formal Methods, Verification and\r\nValidation. IEEE, 2007. See Tech. Report 981, School of Computing Science, Newcastle University.\r\n\r\nJ. S. Fitzgerald and P. G. Larsen. Modelling Systems – Practical Tools and Techniques in Software\r\nDevelopment. Cambridge University Press, 1998.\r\n\r\nJ. S. Fitzgerald and P. G. Larsen. Triumphs and Challenges for the Industrial Application of Model-\r\nOriented Formal Methods. In T. Margaria, A. Philippou, and B. Steffen, editors, Proc. 2nd Intl.\r\nSymp. on Leveraging Applications of Formal Methods, Verification and Validation. IEEE, 2007. See\r\nTechnical Report 999, School of Computing Science, Newcastle University.\r\n\r\nJ. S. Fitzgerald, P. G. Larsen, P. Mukherjee, N. Plat, and M. Verhoef. Validated Designs for Objectoriented\r\nSystems. Springer Verlag, London, 2005. ISBN 1-85233-881-4.\r\n\r\nJ. S. Fitzgerald, P. G. Larsen, and S. Sahara. VDMTools: advances in support for formal modeling in\r\nVDM. Technical Report 1057, Newcastle University, School of Computing Science, November 2007.\r\nTo appear in ACM SIGPLAN Notices 2008.\r\n\r\nP. Houghton. Potential System Vunerabilities of a Network Enabled Force. In Proc. Coalition\r\nCommand and Control in The Networked Era, 2004.\r\n\r\nT. Nash. A Time to Refocus C4ISTAR Training. RUSI Defence Systems, 10(1):114–115, June 2007.\r\n\r\nC. Robson. Real world research : a resource for social scientists and practitioner-researchers.\r\nBlackwell , 2002.\r\n\r\nM. Verhoef, P. G. Larsen, and J. Hooman. Modeling and Validating Distributed Embedded Real-Time\r\nSystems with VDM++. In J. Misra, T. Nipkow, and E. Sekerinski, editors, FM 2006: Formal Methods,\r\npages 147–162. Lecture Notes in Computer Science 4085, 2006." related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 21 series: ~ skill_areas: [] source: ~ status_changed: 2008-08-06 19:46:58 subjects: - deploy_industrial_other - deploy_method succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Animation-based Validation of a Formal Model of Dynamic Virtual Organisations type: article userid: 11 volume: http:/