Showing papers by "Antonio Brogi published in 2012"

A formalized, taxonomy-driven approach to cross-layer application adaptation

Abstract: Advances in pervasive technology have made it possible to consider large-scale application types that potentially span heterogeneous organizations, technologies, and device types. This class of application will have a multilayer architecture, where each layer is likely to use languages and technologies appropriate to its own concerns. An example application is a geographically large-scale crisis management system. Typically, such applications are required to dynamically adapt their behavior based on current circumstances, with adaptations potentially affecting all layers of the application. The complexities involved in dynamically adapting multilayer applications will significantly benefit from formal approaches to its specification.This article presents a new methodology for flexible, multilayer application adaptation, with layer-specific adaptation solution templates bound to application mismatches that are organized into hierarchical taxonomies. Templates can be linked either through direct invocations or through adaptation events, supporting flexible cross-layer adaptation. The methodology illustrates the use of different formalisms for different elements of its specification. In particular, we combine semiformal metamodeling techniques for the system model specification with formal Petri nets, which are used to capture template matchmaking using reachability analysis. This work demonstrates how existing formalisms can be used for the specification of a generic adaptation model for pervasive applications.

Behaviour-Aware Compositions of Things

Abstract: The new Internet has led the evolution of the Ubiquitous Web to integrate physical world entities into virtual world things Thus, Internet is evolving into the vision of the Internet of Things where everyday life things are identifiable, readable, recognizable, addressable, and controllable via the Internet As mass market penetration of networked embedded devices seems to become a reality, it is necessary to develop platforms considering this kind of devices and their interactions Future Internet has emerged as a new initiative to pave a novel and dynamic global network infrastructure that handles the changing global needs of business and society The Internet of Things could benefit from the Web Service architecture like today's Web does Then, Future service-oriented Internet things will offer their functionality via service-enabled interfaces DPWS is a new emergent OASIS standard based on Web Service architectures to support interoperability among heterogeneous things But there is still a need to represent explicitly the behaviour of things to develop applications in a more rigorous way We propose to extend DPWS to specify the behaviour of things We also propose verification techniques to check if a composition of things fulfills or violates the behaviour of those things

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems

Abstract: Adaptation of complex service-based systems is one of the most challenging research problems for the Future Internet. A considerable effort has been dedicated in recent years to address this problem. However, there are still several important issues that call for concrete solutions. In this paper, we present a set of research challenges for muti-layer and mixed-initiative adaptation and monitoring that may guide the research in this area for the next 5-10 years.

Research challenges on adaptive software and services in the future internet: towards an s-cube research roadmap

Abstract: This paper introduces research challenges on future service-oriented systems and software services. Those research challenges have been identified in a coordinated effort by researchers under the umbrella of the EU FP7 Network of Excellence S-Cube. We relate this effort to previous and related research roadmap activities and discuss the approach and results on identifying and assessing those challenges.

Towards behaviour-aware compositions of things in the future internet

Abstract: Nowadays Internet is evolving into the vision of the Internet of Things where everyday life objects, devices or things are identifiable, readable, recognizable, addressable, and even controllable via the Internet Future service-oriented Internet things will offer their functionality via service-enabled interfaces The new emergent OASIS standard DPWS has been designed as a set of guidelines based on WS-* specifications to provide interoperability among heterogeneous things in a networked environment But there is still a need to represent explicitly the (implicit) behaviour of things in order to develop applications in a more rigorous way In this paper, we promote the usage of WS-* specifications to specify service interfaces of things by adding a set of constraints to the guidelines exposed by DPWS to represent the behaviour of single and composite things by reducing inconsistency problems, such as deadlock situations We also point out some brushstrokes of our future work, first proposing verification techniques to check if a composition of things fulfills or violates the behaviour of the things, second leading to a platform to support the development of behaviour-aware compositions of things, and third extending the approach to consider important aspects in compositions such as semantic, context and social information