A coordination model for interactive components

Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive com- ponent, is well-known in the area of formal modelling techniques for interactive systems. This paper replaces traditional, hierarchical, ‘tree-like’ composition of interactors in the specification of complex interactive sys- tems, by their exogenous coordination through general-purpose software connectors which assure the flow of data and the meet of synchronisation constraints. The paper’s technical contribution is twofold. First a modal logic is defined to express behavioural properties of both interactors and connectors. The logic is new in the sense that its modalities are indexed by fragments of sets of actions to cater for action co-occurrence. Then, this logic is used in the specification of both interactors and coordination layers which orchestrate their interconnection

An enhanced model for stochastic coordination

Publicado em "Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016"Applications developed over the cloud coordinate several, often anonymous, computational resources, distributed over different execution nodes, within flexible architectures. Coordination models able to represent quantitative data provide a powerful basis for their analysis and validation. This paper extends IMCreo, a semantic model for Stochastic reo based on interactive Markov chains, to enhance its scalability, by regarding each channel and node, as well as interface components, as independent stochastic processes that may (or may not) synchronise with the rest of the coordination circuit.Luis S. Barbosa is supported by grant SFRH/BSAB/113890/2015 from FCT, the Portuguese Foundation for Science and Tecnhology. This research is financed by the ERDF COMPETE 2020 Programme within project POCI-01-0145-FEDER-00696, and by National Funds through FCT as part of project UID/EEA/50014/2013

Coordinating views for data visualisation and algorithmic profiling

A number of researchers have designed visualisation systems that consist of multiple components, through which data and interaction commands flow. Such multistage (hybrid) models can be used to reduce algorithmic complexity, and to open up intermediate stages of algorithms for inspection and steering. In this paper, we present work on aiding the developer and the user of such algorithms through the application of interactive visualisation techniques. We present a set of tools designed to profile the performance of other visualisation components, and provide further functionality for the exploration of high dimensional data sets. Case studies are provided, illustrating the application of the profiling modules to a number of data sets. Through this work we are exploring ways in which techniques traditionally used to prepare for visualisation runs, and to retrospectively analyse them, can find new uses within the context of a multi-component visualisation system

Affordable interactive virtual reality system for the Dynamic Hip Screw surgery training in vitro

Interactive virtual reality systems provide safe and cost-effective training environment to improve the technical skills and competence of surgeons. The trainees can have as many practice sessions, without need to the trainer all the time, before even start carrying out the procedure on any real patient. In this paper, we present an affordable interactive virtual reality system for the Dynamic Hip Screw (DHS) surgery training in vitro, through 3D tracking. The system facilitates a safe (in vitro / off patient) training to improve the cognitive coordination of trainees and junior surgeons, in particular the Hands, Eyes and Brain coordination. The system is based on very cheap commercial off-the-shelf (COT) components, which are very affordable, and needs minimum setup effort and knowledge. It also provides a range of visual and quantitative feedback information and measures, such as position, orientation, insertion point, and depth of drilling. It is envisaged that improving this level of coordination, through the training system, will contribute to reducing the failure rate of the DHS procedure. This means better treatment for patients and less costs for the Health services systems (e.g. UK's NHS system)

An interactive semantics of logic programming

We apply to logic programming some recently emerging ideas from the field of reduction-based communicating systems, with the aim of giving evidence of the hidden interactions and the coordination mechanisms that rule the operational machinery of such a programming paradigm. The semantic framework we have chosen for presenting our results is tile logic, which has the advantage of allowing a uniform treatment of goals and observations and of applying abstract categorical tools for proving the results. As main contributions, we mention the finitary presentation of abstract unification, and a concurrent and coordinated abstract semantics consistent with the most common semantics of logic programming. Moreover, the compositionality of the tile semantics is guaranteed by standard results, as it reduces to check that the tile systems associated to logic programs enjoy the tile decomposition property. An extension of the approach for handling constraint systems is also discussed.Comment: 42 pages, 24 figure, 3 tables, to appear in the CUP journal of Theory and Practice of Logic Programmin

Coordination via Interaction Constraints I: Local Logic

Wegner describes coordination as constrained interaction. We take this approach literally and define a coordination model based on interaction constraints and partial, iterative and interactive constraint satisfaction. Our model captures behaviour described in terms of synchronisation and data flow constraints, plus various modes of interaction with the outside world provided by external constraint symbols, on-the-fly constraint generation, and coordination variables. Underlying our approach is an engine performing (partial) constraint satisfaction of the sets of constraints. Our model extends previous work on three counts: firstly, a more advanced notion of external interaction is offered; secondly, our approach enables local satisfaction of constraints with appropriate partial solutions, avoiding global synchronisation over the entire constraints set; and, as a consequence, constraint satisfaction can finally occur concurrently, and multiple parts of a set of constraints can be solved and interact with the outside world in an asynchronous manner, unless synchronisation is required by the constraints. This paper describes the underlying logic, which enables a notion of local solution, and relates this logic to the more global approach of our previous work based on classical logic

Questioning Knowledge Transfer And Learning Processes Across R&D Project Teams

This paper addresses popular notions of the generation and sharing of knowledge in organisations commonly described as knowledge transfer. We question the appropriateness of the notion of transfer of knowledge for increasing our understanding of knowledge creation and learning processes in R&D organisations. We suggest that this notion of "transfer", limits our understanding of the important interactive processes used to generate knowledge and to enhance the spread of knowledge. Findings from interviews with senior research scientists challenge the notion of knowledge transfer and instead provide support for the notion of knowledge as constructed meaning in an arena with multiple players and social interactions