Surveillance technologies as instruments of discipline in the elite sports coaching context: a cautionary post-structural commentary

The use of surveillance technologies as tools to encourage performance enhancement has become an accepted component of elite coaching. Those from the communities of sports physiology, psychology and biomechanics who promote the application of surveillance technologies have reported multiple benefits for the athlete. Conversely, several socio-cultural studies have suggested that surveillance technologies can lead to an oppressive mechanism of control over the athlete, significantly altering the role and responsibilities of the contemporary coach. In this critical commentary we use a post-structural position and adopt Foucault’s disciplinary analysis to contribute to the ongoing debate surrounding the use of surveillance technology in sport. Specifically, we achieve this by labelling surveillance technologies in sport as what Foucault (1977) might call, instruments of discipline, and by explaining the impact they have upon the working coach and the skilled athlete. We present some suggestions surrounding how to most appropriately utilise surveillance technologies in a sports coaching context and conclude by warning against a binary consideration of the use of technology as either good or bad

A formal support to business and architectural design for service-oriented systems

Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria

SCC: A Service Centered Calculus

We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC’s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones

Implementing Session Centered Calculi

Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype implementations for them in order to assess usability and to minimize the gap between theory and practice. Typically, these implementations are done in Java taking advantage of its mechanisms supporting network applications. However, most of the recurrent features of service oriented applications are re-implemented from scratch. In this paper we show how to implement a service oriented calculus, CaSPiS (Calculus of Services with Pipelines and Sessions) using the Java framework IMC, where recurrent mechanisms for network applications are already provided. By using the session oriented and pattern matching communication mechanisms provided by IMC, it is relatively simple to implement in Java all CaSPiS abstractions and thus to easily write the implementation in Java of a CaSPiS process

Popular music, psychogeography, place identity and tourism: The case of Sheffield

Tourism and cultural agencies in some English provincial cities are promoting their popular music ‘heritage’ and, in some cases, contemporary musicians through the packaging of trails, sites, ‘iconic’ venues and festivals. This article focuses on Sheffield, a ‘post-industrial’ northern English city which is drawing on its associations with musicians past and present in seeking to attract tourists. This article is based on interviews with, among others, recording artists, promoters, producers and venue managers, along with reflective observational and documentary data. Theoretical remarks are made on the representations of popular musicians through cultural tourism strategies, programmes and products and also on the ways in which musicians convey a ‘psychogeographical’ sense of place in the ‘soundscape’ of the city

A Logical Verification Methodology for Service-Oriented Computing

We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain

Specification and analysis of SOC systems using COWS: a finance case study

Service-oriented computing, an emerging paradigm for distributed computing based on the use of services, is calling for the development of tools and techniques to build safe and trustworthy systems, and to analyse their behaviour. Therefore many researchers have proposed to use process calculi, a cornerstone of current foundational research on specification and analysis of concurrent and distributed systems. We illustrate this approach by focussing on COWS, a process calculus expressly designed for specifying and combining services, while modelling their dynamic behaviour. We present the calculus and one of the analysis techniques it enables, that is based on the temporal logic SocL and the associated model checker CMC. We demonstrate applicability of our tools by means of a large case study, from the financial domain, which is first specified in COWS, and then analysed by using SocL to express many significant properties and CMC to verify them

CaSPiS: A Calculus of Sessions, Pipelines and Services

Service-oriented computing is calling for novel computational models and languages with well disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner

Sensoria: An exploratory interdisciplinary framework for researching multimodal & sensory experiences

This paper describes the development and salience of an original and innovative interdisciplinary approach, Sensoria, that combines methods and techniques from social science and performance to address the methodological challenges of researching sensory/multimodal experiences. It sets out the core components and methodological principles that underpin the approach and uses an illustrative example to show how it can facilitate research on hard to access sensorial experiences, to access, understand and analyse people’s experiences and perspectives of touch, a highly tacit sensory mode. The paper discusses the methodological contribution and challenges of this approach to sensory research for social science and artistic practice and ‘more-than-representational’ research more generally. It concludes by making a case for more critical research spaces at the intersection of these disciplines to foster multi-dimensional research dialogues and to advance the exploration and understanding of the relationship between the sensory, social and the digital

WiFi Hot Spot Service Business for the Automotive and Oil Industries: A Competitive Analysis

While you refuel for gas, why not refuel for information or upload vehicle data, using a cheap wireless technology as WiFi? This paper analyzes in extensive detail the user segmentation by vehicle usage, service offering, and full business models from WiFi hot spot services delivered to and from vehicles (private, professional, public) around gas stations. Are also analyzed the parties which play a role in such services: authorization, provisioning and delivery, with all the dependencies modelled by attributed digraphs. Account is made of WiFi base station technical capabilities and costs. Five year financial models (CAPEX, OPEX), and data pertain to two possible service suppliers: multi-service oil companies, and mobile service operators (or MVNOs). Model optimization on the return-on-investment (R.O.I.) is carried out for different deployment scenarios, geographical coverage assumptions, as well as tariff structures. Comparison is also being made with public GPRS and 3G data services, as precursors to HSPA/LTE, and the effect of WiFi roaming is analyzed. Regulatory implications, including those dealing with public safety, are addressed. Analysis shows that due to manpower costs and marketing costs, suitable R.O.I. will not be achieved unless externalities are accounted for and innovative tariff structures are introduced. Open issues and further research are outlined. Further work is currently carried out with automotive electronics sector, wireless systems providers, wireless terminals platform suppliers, and vehicle manufacturers. Future relevance of this work is also discussed for the emerging electrical reloading grids for electrical vehicles.WiFi, Fuel Stations, Business Models, Oil Company, Mobile Operator, WiFi Services, Regulations, Professional Vehicles