Event Stream Processing with Multiple Threads

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time

Analysis and Verification of Service Interaction Protocols - A Brief Survey

Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and tools to verify that the new system will behave correctly. In this paper, we first overview some formal models proposed in the literature to describe services. Second, we give a brief survey of verification techniques that can be used to analyse services and their interaction. Last, we focus on the realizability and conformance of choreographies.Comment: In Proceedings TAV-WEB 2010, arXiv:1009.330

Unworking Milton: Steps to a Georgics of the Mind

Traditionally read as a poem about laboring subjects who gain power through abstract and abstracting forms of bodily discipline, John Milton’s Paradise Lost (1667, 1674) more compellingly foregrounds the erotics of the Garden as a space where humans and nonhumans intra-act materially and sexually. Following Christopher Hill, who long ago pointed to not one but two revolutions in the history of seventeenth-century English radicalism—the first, ‘the one which succeeded[,] . . . the protestant ethic’; and the second, ‘the revolution which never happened,’ which sought ‘communal property, a far wider democracy[,] and rejected the protestant ethic’—I show how Milton’s Paradise Lost gives substance to ‘the revolution which never happened’ by imagining a commons, indeed a communism, in which human beings are not at the center of things, but rather constitute one part of the greater ecology of mind within Milton’s poem. In the space created by this ecological reimagining, plants assume a new agency. I call this reimagining ‘ecology to come.