Session Communication and Integration

The scenario-based specification of a large distributed system is usually naturally decomposed into various modules. The integration of specification modules contrasts to the parallel composition of program components, and includes various ways such as scenario concatenation, choice, and nesting. The recent development of multiparty session types for process calculi provides useful techniques to accommodate the protocol modularisation, by encoding fragments of communication protocols in the usage of private channels for a class of agents. In this paper, we extend forgoing session type theories by enhancing the session integration mechanism. More specifically, we propose a novel synchronous multiparty session type theory, in which sessions are separated into the communicating and integrating levels. Communicating sessions record the message-based communications between multiple agents, whilst integrating sessions describe the integration of communicating ones. A two-level session type system is developed for pi-calculus with syntactic primitives for session establishment, and several key properties of the type system are studied. Applying the theory to system description, we show that a channel safety property and a session conformance property can be analysed. Also, to improve the utility of the theory, a process slicing method is used to help identify the violated sessions in the type checking.Comment: A short version of this paper is submitted for revie

Code, space and everyday life

In this paper we examine the role of code (software) in the spatial formation of collective life. Taking the view that human life and coded technology are folded into one another, we theorise space as ontogenesis. Space, we posit, is constantly being bought into being through a process of transduction – the constant making anew of a domain in reiterative and transformative practices - as an incomplete solution to a relational problem. The relational problem we examine is the ongoing encounter between individuals and environment where the solution, to a greater or lesser extent, is code. Code, we posit, is diversely embedded in collectives as coded objects, coded infrastructure, coded processes and coded assemblages. These objects, infrastructure, processes and assemblages possess technicity, that is, unfolding or evolutive power to make things happen; the ability to mediate, supplement, augment, monitor, regulate, operate, facilitate, produce collective life. We contend that when the technicity of code is operationalised it transduces one of three forms of hybrid spatial formations: code/space, coded space and backgrounded coded space. These formations are contingent, relational, extensible and scaleless, often stretched out across networks of greater or shorter length. We demonstrate the coded transduction of space through three vignettes – each a day in the life of three people living in London, UK, tracing the technical mediation of their interactions, transactions and mobilities. We then discuss how code becomes the relational solution to five different classes of problems – domestic living, travelling, working, communicating, and consuming

Et Cetera

Et Cetera is woven together with five works that are essentially five bodies of writings as digital poetry -- a poetic practice that is made possible by digital media and technology in which aesthetic possibilities are extended through the semantic impact of data, alphabets, visuals, sound, etc. Interlaced by multimedial meaning-making, Et Cetera re(produces) installations that are engineered with algorithmic materials utilizing real-time data feeds, animated letterforms, performative instructions and sensory synthesis. Exploring different scenarios of human-machine coupling that consequently lead to multifarious illegibilities, Et Cetera amplifies the noise of information overflow in the concurrent mediascape with its rhizomatic networks largely beyond human conscious apprehension. On the B-side, Et Cetera is also involved with writing about the alphabetic writing apparatus, the role of artist as author as human-machine-centaur and networked subjectivity

The Faculty Notebook, April 2018

The Faculty Notebook is published periodically by the Office of the Provost at Gettysburg College to bring to the attention of the campus community accomplishments and activities of academic interest. Faculty are encouraged to submit materials for consideration for publication to the Associate Provost for Faculty Development. Copies of this publication are available at the Office of the Provost

Doing Ethnography in Teams: A Case Study of Asymmetries in Collaborative Research

This uniquely in-depth book offers a blow-by-blow account of the sometimes problematic dynamics of conducting collaborative fieldwork in ethnography. Tracing the interplay between co-researchers at various points of contact in both professional and personal relations, the analysis draws out the asymmetries which can develop among team members nominally working towards the same ends. It details the often complex dialogues that evolve in an attempt to navigate conflicting interests, such as team members resistances to particular methodological `recipes or research protocols. The authors show that such debates can create an open forum to negotiate new practices. A key element of this publication is that it goes beyond an analysis of more traditional power relations in research teams comprising members at different academic pay grades. As well as drawing attention to gender-related dynamics in research collaborations, the authors use themselves as an exemplar to demonstrate how differences in age, experience, knowledge, professional skills and background can be exploited to generate positive outcomes constituting much more than the apparent sum of their parts. In doing so, the authors reveal the delightful, surprising and yet challenging aspects of research collaboration that are often absent from the qualitative literature

Materiality and human cognition

In this paper, we examine the role of materiality in human cognition. We address issues such as the ways in which brain functions may change in response to interactions with material forms, the attributes of material forms that may cause change in brain functions, and the spans of time required for brain functions to reorganize when interacting with material forms. We then contrast thinking through materiality with thinking about it. We discuss these in terms of their evolutionary significance and history as attested by stone tools and writing, material forms whose interaction endowed our lineage with conceptual thought and meta-awareness of conceptual domains

A Generic Model Driven Methodology for Extending Component Models

Software components have interesting properties for the development of scientific applications such as easing code reuse and code coupling. In classical component models, component assemblies are however still tightly coupled with the execution resources they are targeted to. Dedicated concepts to abstract assemblies from resources and to enable high performance component implementations have thus been proposed. These concepts have not achieved widespread use, mainly because of the lack of suitable approach to extend component models. Existing approaches -- based on ad-hoc modifications of component run-times or compilation chains -- are complex, difficult to port from one implementation to another and prevent mixing of distinct extensions in a single model. An interesting trend to separate application logic from the underlying execution resources exists; it is based on meta-modeling and on the manipulation of the resulting models. This report studies how a model driven approach could be applied to implement abstract concepts in component models. The proposed approach is based on a two step transformation from an abstract model to a concrete one. In the first step, all abstract concepts of the source model are rewritten using the limited set of abstract concepts of an intermediate model. In the second step, resources are taken into account to transform these intermediate concepts into concrete ones. A prototype implementation is described to evaluate the feasibility of this approach

Code and the Transduction of Space

The effects of software (code) on the spatial formation of everyday life are best understood through a theoretical framework that utilizes the concepts of technicity (the productive power of technology to make things happen) and transduction (the constant making anew of a domain in reiterative and transformative practices). Examples from the lives of three Londoners illustrate that code makes a difference to everyday life because its technicity alternatively modulates space through processes of transduction. Space needs to be theorized as ontogenetic, that is, understood as continually being brought into existence through transductive practices (practices that change the conditions under which space is (re)made). The nature of space transduced by code is detailed and illustrated with respect to domestic living, work, communication, transport, and consumption

Code and the Transduction of Space

The effects of software (code) on the spatial formation of everyday life are best understood through a theoretical framework that utilizes the concepts of technicity (the productive power of technology to make things happen) and transduction (the constant making anew of a domain in reiterative and transformative practices). Examples from the lives of three Londoners illustrate that code makes a difference to everyday life because its technicity alternatively modulates space through processes of transduction. Space needs to be theorized as ontogenetic, that is, understood as continually being brought into existence through transductive practices (practices that change the conditions under which space is (re)made). The nature of space transduced by code is detailed and illustrated with respect to domestic living, work, communication, transport, and consumption

Driver-pressure-impact and response-recovery chains in European rivers: observed and predicted effects on BQEs

The report presented in the following is part of the outcome of WISER’s river Workpackage WP5.1 and as such part of the module on aquatic ecosystem management and restoration. The ultimate goal of WP5.1 is to provide guidance on best practice restoration and management to the practitioners in River Basin Management. Therefore, a series of analyses was undertaken, each of which used a part of the WP5.1 database in order to track two major pathways of biological response: 1) the response of riverine biota to environmental pressures (degradation) and 2) the response of biota to the reduction of these impacts (restoration). This report attempts to provide empirical evidence on the environment-biota relationships for both pathways