A Graphical Approach to Progress for Structured Communication in Web Services

We investigate a graphical representation of session invocation interdependency in order to prove progress for the pi-calculus with sessions under the usual session typing discipline. We show that those processes whose associated dependency graph is acyclic can be brought to reduce. We call such processes transparent processes. Additionally, we prove that for well-typed processes where services contain no free names, such acyclicity is preserved by the reduction semantics. Our results encompass programs (processes containing neither free nor restricted session channels) and higher-order sessions (delegation). Furthermore, we give examples suggesting that transparent processes constitute a large enough class of processes with progress to have applications in modern session-based programming languages for web services.Comment: In Proceedings ICE 2010, arXiv:1010.530

Servant Leader Choral Conductor: The Effect of Servant Leadership in Community Choirs and Community Partnerships

Despite servant leadership primarily establishing itself as an appropriate leadership style, there is little research on how servant leadership affects community choirs in music education. Community choirs are prevalent in music education due to the number of individuals seeking choral experiences and community gatherings to sing and express their musicality. This hermeneutic qualitative phenomenological study explores the leadership styles of community choir choral conductors and their perspectives on servant leadership. By surveying current choral conductors of community choirs and community partnerships, this qualitative study identifies the overarching leadership styles and servant leadership qualities that are consciously considered or not implemented by community choir choral conductors. Perspectives on choral music literacy and community partnerships are leading themes in how a choral conductor as a servant leader influences community choirs. Through surveying and comparing the data from multiple choral conductors, community choir members, and community partners, discovering the effectiveness of servant leadership will aid in depicting the effects of servant leadership in music literacy and community partnerships. This study could showcase the advantageous benefits of servant leadership in community choirs. With a dependable leadership alternative to traditional top-down leadership styles in conducting, not only can the musicianship elevate amongst the community members, but the effects of building partnerships and sustainable relationships with the community can flourish and reflect the commitment of the choral conductor as a servant leader

Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

We study modularity, run-time adaptation and refinement under safety and liveness constraints in event-based process models with dynamic sub-process instantiation. The study is part of a larger pro-gramme to provide semantically well-founded technologies for modelling, implementation and verification of flexible, run-time adaptable process-aware information systems, moved into practice via the Dynamic Condi-tion Response (DCR) Graphs notation co-developed with our industrial partner. Our key contributions are: (1) A formal theory of dynamic sub-process instantiation for declarative, event-based processes under safety and liveness constraints, given as the DCR * process language, equipped with a compositional operational semantics and conservatively extending the DCR Graphs notation; (2) an expressiveness analysis revealing that the DCR * process language is Turing-complete, while the fragment cor-responding to DCR Graphs (without dynamic sub-process instantiation) characterises exactly the languages that are the union of a regular and an omega-regular language; (3) a formalisation of run-time refinement and adaptation by composition for DCR * processes and a proof that such re-finement is undecidable in general; and finally (4) a decidable and practi-cally useful sub-class of run-time refinements. Our results are illustrated by a running example inspired by a recent Electronic Case Management solution based on DCR Graphs and delivered by our industrial partner. An online prototype implementation of the DCR * language (including examples from the paper) and its visualisation as DCR Graphs can be found a

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

AbstractWe report on experiences from a case study applying a constraint-based process-modelling and -simulation tool, dcrgraphs.net, to the modelling and rehearsal of railway emergency response plans with domain experts. The case study confirmed the approach as a viable means for domain experts to analyse and rehearse emergency response plans, through the activities of formally modelling the plan and subsequently rehearsing it by simulating that model collaboratively. In particular, the constraint-based modelling notation resulted in a flexible model giving rehearsal participants freedom to explore different ways to proceed, including ways not necessarily anticipated in the paper-based emergency response plans. The case study was undertaken as part of a short research, ProSec, project funded by the Danish Defence Agency, with the aim of applying and developing methods for collaborative mapping of emergency and security processes in the danish public transport sector and their dependency on ICT

Scholars and Literati at Gresham College (1597–1800)

This note is a summary description of the set of scholars and literati who taught at Gresham College from its inception in 1559 to the eve of the Industrial Revolution (1800)