Towards Run-Time Verification of Compositions in the Web of Things using Complex Event Processing

Following the vision of the Internet of Things, physical world entities are integrated into virtual world things. Things are expected to become active participants in business and social processes. Then, the Internet of Things could benefit from the Web Service architecture like today’s Web does, so Future ser-vice-oriented Internet things will offer their functionality via service-enabled in-terfaces. In previous work, we demonstrated the need of considering the behav-iour of things to develop applications in a more rigorous way, and we proposed a lightweight model for representing such behaviour. Our methodology relies on the service-oriented paradigm and extends the DPWS profile to specify the order with which things can receive messages. We also proposed a static verifi-cation technique to check whether a mashup of things respects the behaviour, specified at design-time, of the composed things. However, a change in the be-haviour of a thing may cause that some compositions do not fulfill its behaviour anymore. Moreover, given that a thing can receive requests from instances of different mashups at run-time, these requests could violate the behaviour of that thing, even though each mashup fulfills such behaviour, due to the change of state of the thing. To address these issues, we present a proposal based on me-diation techniques and complex event processing to detect and inhibit invalid invocations, so things only receive requests compatible with their behaviour.Work partially supported by projects TIN2008-05932, TIN2012-35669, CSD2007-0004 funded by Spanish Ministry MINECO and FEDER; P11-TIC-7659 funded by Andalusian Government; and Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tec

Developing front-end Web 2.0 technologies to access services, content and things in the future Internet

The future Internet is expected to be composed of a mesh of interoperable web services accessible from all over the web. This approach has not yet caught on since global user?service interaction is still an open issue. This paper states one vision with regard to next-generation front-end Web 2.0 technology that will enable integrated access to services, contents and things in the future Internet. In this paper, we illustrate how front-ends that wrap traditional services and resources can be tailored to the needs of end users, converting end users into prosumers (creators and consumers of service-based applications). To do this, we propose an architecture that end users without programming skills can use to create front-ends, consult catalogues of resources tailored to their needs, easily integrate and coordinate front-ends and create composite applications to orchestrate services in their back-end. The paper includes a case study illustrating that current user-centred web development tools are at a very early stage of evolution. We provide statistical data on how the proposed architecture improves these tools. This paper is based on research conducted by the Service Front End (SFE) Open Alliance initiative

Hearing behaviour: social interaction as a means of creating emergent situations in/as/through music

This body of writing serves as accompaniment to a portfolio of musical compositions and visual media composed between September 2013 and August 2014. The work is in three parts. Part one sets the context of the compositions with reference to numerous other artists, explaining the political need for compositions of this kind and how these relate to the topic of emergence in relation to group performance and social enrichment. This part also makes reference to the philosophical influence behind the works and how these ideas might be relevant to wider society. Part two offers a commentary on the works themselves, explaining the thinking that brought them about, and a narrative of the development from one composition to the next. Part three offers a reflection of how well these works relate to the originally stated political agenda, as well as outlining my plans for future artistic direction

Femme-liminale: corporeal performativity in death metal

Given the research undertaken into notions of Dark Leisure (Spracklen, 2013), space becomes an engendered negotiated terrain not only in terms of performing masculine inscribed music such as Death Metal but occupying space within the scene itself. Claiming identity through mapping one's relationship to societal constructs of self and notions of belonging within peripheric and marginalised music forms such as Death Metal means that gender becomes foregrounded. Death Metal in its socio-musical constructs is male; the virtuosity and dexterity required to compose and perform it has its legacy in patriarchal cultural practices such as lead guitar solos and traditional band formations being occupied in the majority by men. There are of course exceptions to the rule but they do not occupy leading positions in the genre. There exists a preconceived notion that girls can’t play guitar, let alone Death Metal because its difficulty levels exceed a traditional three chord structure. Women’s involvement is restricted to either bass under the assumption that it is easier than guitar (White Zombie, Bolt Thrower) or in some instances vocals However this is dealt with as a novelty; Angela Gossow (Ex- Arch Enemy) providing a viable example. Whilst an anti-hegemonic, anti-establishment ideological position is maintained in Death Metal, for women who transgress the boundary between audience member or “girlfriend” of a band member, to performing Death Metal, the liminality of experience means occupying a patriarchal space at the same time as transgressing sexist and sexualised gender tropes. Whilst it can be noted that men within the Death Metal scene do not necessarily knowingly ascribe to societal gender constructs as an overt operational paradigm of behaviour, seeing as no single person can divorce themselves in totality away from contemporary cultural texts and practices, fundamental gender codes underpin interaction on and off stage. For women who perform Death Metal, the choice to either accept or deny constructs of femininity and ‘sexiness’ exists as polemics; to acknowledge the male gaze or to reject it can act as primary signification of manoeuvrability within the scene. This paper seeks to deconstruct notions of gender performativity, subversion and extreme metal in order to present a narrative on liminality, sexualisation and corporeality

Towards a Security, Privacy, Dependability, Interoperability Framework for the Internet of Things

A popular application of ambient intelligence systems constitutes of assisting living services on smart buildings. As intelligence is imported in embedded equipment, the system becomes able to provide smart services (e.g. control lights, airconditioning, provide energy management services etc.). IoT is the main enabler of such environments. However, the interconnection of these cyber-physical systems and the processing of personal data raise serious security and privacy issues. In this paper we present a framework that can guarantee Security, Privacy, Dependability and Interoperability (SPDI) in IoT. Taking advantage of the underlying IoT deployment, the proposed framework not only implements the requested smart functionality but also provide modelling and administration that can guarantee those SPDI properties. Moreover, we provide an application example of the framework in a smart building scenario

Design and semantics of form and movement (DeSForM 2006)

Design and Semantics of Form and Movement (DeSForM) grew from applied research exploring emerging design methods and practices to support new generation product and interface design. The products and interfaces are concerned with: the context of ubiquitous computing and ambient technologies and the need for greater empathy in the pre-programmed behaviour of the ‘machines’ that populate our lives. Such explorative research in the CfDR has been led by Young, supported by Kyffin, Visiting Professor from Philips Design and sponsored by Philips Design over a period of four years (research funding £87k). DeSForM1 was the first of a series of three conferences that enable the presentation and debate of international work within this field: • 1st European conference on Design and Semantics of Form and Movement (DeSForM1), Baltic, Gateshead, 2005, Feijs L., Kyffin S. & Young R.A. eds. • 2nd European conference on Design and Semantics of Form and Movement (DeSForM2), Evoluon, Eindhoven, 2006, Feijs L., Kyffin S. & Young R.A. eds. • 3rd European conference on Design and Semantics of Form and Movement (DeSForM3), New Design School Building, Newcastle, 2007, Feijs L., Kyffin S. & Young R.A. eds. Philips sponsorship of practice-based enquiry led to research by three teams of research students over three years and on-going sponsorship of research through the Northumbria University Design and Innovation Laboratory (nuDIL). Young has been invited on the steering panel of the UK Thinking Digital Conference concerning the latest developments in digital and media technologies. Informed by this research is the work of PhD student Yukie Nakano who examines new technologies in relation to eco-design textiles

Reliable scientific service compositions

Abstract. Distributed service oriented architectures (SOAs) are increas-ingly used by users, who are insufficiently skilled in the art of distributed system programming. A good example are computational scientists who build large-scale distributed systems using service-oriented Grid comput-ing infrastructures. Computational scientists use these infrastructure to build scientific applications, which are composed from basic Web ser-vices into larger orchestrations using workflow languages, such as the Business Process Execution Language. For these users reliability of the infrastructure is of significant importance and that has to be provided in the presence of hardware or operational failures. The primitives avail-able to achieve such reliability currently leave much to be desired by users who do not necessarily have a strong education in distributed sys-tem construction. We characterise scientific service compositions and the environment they operate in by introducing the notion of global scien-tific BPEL workflows. We outline the threats to the reliability of such workflows and discuss the limited support that available specifications and mechanisms provide to achieve reliability. Furthermore, we propose a line of research to address the identified issues by investigating auto-nomic mechanisms that assist computational scientists in building, exe-cuting and maintaining reliable workflows.