No abstract

No abstract

No abstract

A necessary feature of social networks is a model of interaction which is followed on the network---some structure which coordinates activity between the participants. These interaction models are typically implicit, making it a challenge to both design and communicate the protocols for interaction and coordination. Electronic institution systems are one of the principal ways in which multi-agent systems engineers address this issue of coordination in complex interactions between groups of agents. In electronic institutions, interaction models can be concisely specified as protocols which encode the norms which computational agents follow. However, the formality and the up-front costs of discovering and choosing to engage with these systems has limited their applicability to human interaction. The vast majority of human (and, increasingly, automated) social interaction is now taking place in social media systems where social norms are softer concepts regulated essentially by the people involved. Being able to leverage the power of electronic institutions in these systems would ease the application of computational intelligence in support of social tasks.We describe a method by which electronic institutions can act in synergy with these sorts of social media streams and, in doing so, we define a ``softer'' style of system that, nevertheless, retains connection to precise specifications of coordination. In addition, we question the tacit assumption that participating agents deliberately join appropriate institutions. Although our method is independent of choice of social media stream (given a few standard characteristics of these) we describe an implementation of the method using Twitter as a target media stream.We illustrate the utility of our approach with an example which benefits from computational coordination, but where the use of a traditional EI would have prohibitive up-front costs. As well as a trace of a synthetic version, we demonstrate the functioning of a complete implementation which can run the example, and discuss how minimal the end-user configuration to setup complex examples can be.

Intrahospital transfers are a common but hazardous aspect of hospital care, with a large number of incidents posing a threat to patient safety. A growing body of work advocates the use of checklists for minimizing intrahospital transfer risk, but the majority of existing checklists are not guaranteed to be error-free and are difficult to adapt to different clinical settings or changing hospital policies. This paper details an approach that addresses these challenges through the employment of workflow technologies and formal methods for generating structured checklists. A three-phased methodology is proposed, where intrahospital transfer processes are first conceptualized, then rigorously composed into workflows that are mechanically verified, and finally, translated into a set of checklists that support hospital staff while maintaining the dependencies between different transfer tasks. A case study is presented, highlighting the feasibility of this approach, and the correctness and maintainability benefits brought by the logical underpinning of this methodology. A checklist evaluation is discussed, with promising results regarding their usefulness.