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

Development of an Extended Product Lifecycle Management through Service Oriented Architecture.

Organised by: Cranfield UniversityThe aim of this work is to define new business opportunities through the concept of Extended Product Lifecycle Management (ExtPLM), analysing its potential implementation within a Service Oriented Architecture. ExtPLM merges the concepts of Extended Product, Avatar and PLM. It aims at allowing a closer interaction between enterprises and their customers, who are integrated in all phases of the life cycle, creating new technical functionalities and services, improving both the practical (e.g. improving usage, improving safety, allowing predictive maintenance) and the emotional side (e.g. extreme customization) of the product.Mori Seiki – The Machine Tool Company; BAE Systems; S4T – Support Service Solutions: Strategy and Transitio

New Shop Floor Control Approaches for Virtual Enterprises

The virtual enterprise paradigm seems a fit response to face market instability and the volatile nature of business opportunities increasing enterprise’s interest in similar forms of networked organisations. The dynamic environment of a virtual enterprise requires that partners in the consortium own reconfigurable shop floors. This paper presents new approaches to shop floor control that meet the requirements of the new industrial paradigms and argues on work re-organization at shop floor level.virtual enterprise; networked organisations

Integration of business and manufacturing processes through industrial machinery as a service approach

In manufacturing organizations is difficult to reach the requirements of the new business models (agile and dynamic adaptation to changes) due to technological and conceptual constraints between elements located at different levels of the organization, which prevents the integration of business and manufacturing processes. In this paper, a new industrial machinery model that achieves this integration has been proposed. This model, named IMaaS, shows the industrial machinery as a set of business processes, removing the conceptual constraints, and exposed as services, removing technology constraints.This work was supported in part by the Vicerrectorado de Investigación, Desarrollo e Innovación, University of Alicante (Proyectos de investigación emergentes 2010: Sistema de gestión de procesos integral en entornos manufactureros. Aplicación a la fabricación ágil)

Building the Web of Things with WS-BPEL and Visual Tags. Web of Things using Service-oriented Architecture standards

The Web of things is an emerging scenario in which everyday objects are connected to the Internet and can answer to HTTP queries with structured data. This paper presents a system that allows users to build networks of everyday objects using visual tags as proximity technology. The system backend is based on Service-oriented Architecture languages and tools for the runtime composition of “things” establishing connections we call hyperpipes.357-36

Engineering of service-oriented automation systems: a survey

The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented approach in terms of platform and engineering tools, from the perspective of automation and production systems. From the basic foundation to the more complex interactions, service-oriented architectures and its implementation in form of web services provide diverse and quality proved features that are welcome to different states of the production systems’ life-cycle. Key elements are the concepts of modelling and collaboration, which enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that enhance towards the modelling of systems. The right application of different methodologies together should motivate the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European Commission and the partners of Network of Excellence “Innovative Production Machines and Systems” (http://www.iproms.org/) and the SOCRADES project (http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio

Engineering of service-oriented automation systems: a survey

The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented approach in terms of platform and engineering tools, from the perspective of automation and production systems. From the basic foundation to the more complex interactions, service-oriented architectures and its implementation in form of web services provide diverse and quality proved features that are welcome to different states of the production systems’ life-cycle. Key elements are the concepts of modelling and collaboration, which enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that enhance towards the modelling of systems. The right application of different methodologies together should motivate the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European Commission and the partners of Network of Excellence “Innovative Production Machines and Systems” (http://www.iproms.org/) and the SOCRADES project (http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio