| 1. |
- Afanasov, Mikhail, et al.
(author)
-
Software Adaptation in Wireless Sensor Networks
- 2018
-
In: ACM Transactions on Autonomous and Adaptive Systems. - : Association for Computing Machinery (ACM). - 1556-4665 .- 1556-4703. ; 12:4
-
Journal article (peer-reviewed)abstract
- We present design concepts, programming constructs, and automatic verification techniques to support the development of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface between the physical world and the computing machine and are hence exposed to unpredictable environment dynamics. WSN software must adapt to these dynamics to maintain dependable and efficient operation. However, developers are left without proper support to develop adaptive functionality in WSN software. Our work fills this gap with three key contributions: (i) design concepts help developers organize the necessary adaptive functionality and understand their relations, (ii) dedicated programming constructs simplify the implementations, (iii) custom verification techniques allow developers to check the correctness of their design before deployment. We implement dedicated tool support to tie the three contributions, facilitating their practical application. Our evaluation considers representative WSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulation of popular WSN platforms. The results indicate that our work is effective in simplifying the development of adaptive WSN software; for example, implementations are provably easier to test and to maintain, the run-time overhead of our dedicated programming constructs is negligible, and our verification techniques return results in a matter of seconds.
|
|
| 2. |
- Anastasi, Gaetano F., et al.
(author)
-
Extracting Data from WSNs: A Service-Oriented Approach
- 2012
-
In: Methodologies and Technologies for Networked Enterprises. - 1611-3349 .- 0302-9743. - 9783642317385 ; 7200, s. 329-356
-
Book chapter (peer-reviewed)abstract
- This chapter describes the architecture of a middleware layer between low-level sensing devices and higher level software layers, to support the requirements of a software infrastructure for networked enterprises. The development of such middleware layer is an important problem, as demonstrated by the number or research papers and the variety of approaches that can be found in literature. The main goals are to hide the complexity of low-level pervasive technologies, such as Wireless Sensors Networks (WSNs); and to help the higher software layers in managing the heterogeneous real-time data coming from the environment. In this chapter, after analysing the different approaches, we select the Service Oriented Architecture (SOA) design paradigm as the most suitable for allowing a seamless and effective integration of pervasive technologies into the enterprise information systems. We also present SensorsMW, our middleware proposal implemented in the context of the ArtDeco project, which is based on some of the many technologies that spin around the SOA world. In particular, our software is a service-oriented, flexible and adaptable middleware that allows applications to configure WSN functionalities and exploit them in the form of Web Services.
|
|
| 3. |
|
|
| 4. |
- Baresi, Luciano, et al.
(author)
-
Model-Driven Management of Services
- 2010
-
In: 2010 IEEE 8th European Conference on Web Services (ECOWS). - : IEEE Press. - 9780769543109 ; , s. 147-154
-
Conference paper (peer-reviewed)abstract
- Applications are increasingly composed of remote services provided by independent parties. This distributed ownership makes it problematic to measure and control quality of service indicators.Management activities must become an integral part of the system's development process, from requirements elicitation, where users identify the quality dimensions of interest, to the implementation, where the actual composition must be paired with suitable means for its run-time management. This paper presents MDMS (Model-Driven Management of Services), a model-driven approach for engineering manageable services. The approach supports the explicit modeling of quality dimensions,management objectives, and key performance indicators, and the transformations required to exploit these concepts at runtime. The methodology is supported by ECo Ware, an innovative prototype framework for the deployment and operation of managed services.
|
|
| 5. |
- Bernasconi, Anna, et al.
(author)
-
From model checking to a temporal proof for partial models
- 2017
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 10469 LNCS, s. 54-69
-
Conference paper (peer-reviewed)abstract
- Three-valued model checking has been proposed to support verification when some portions of the model are unspecified. Given a formal property, the model checker returns true if the property is satisfied, false and a violating behavior if it is not, maybe and a possibly violating behavior if it is possibly satisfied, i.e., its satisfaction may depend on how the unspecified parts are refined. Model checking, however, does not explain the reasons why a property holds, or possibly holds. Theorem proving can instead do it by providing a formal proof that explains why a property holds, or possibly holds in a system. Integration of theorem proving with model checking has only been studied for classical two-valued logic – hence, for fully specified models. This paper proposes a unified approach that enriches three-valued model checking with theorem proving to generate proofs which explain why true and maybe results are returned.
|
|
| 6. |
- Caporuscio, Mauro, 1975-, et al.
(author)
-
Architectural Issues of Adaptive Pervasive Systems
- 2010
-
In: Graph Transformations and Model-Driven Engineering. - Berlin, Heidelberg : Springer. ; , s. 492-511
-
Book chapter (peer-reviewed)abstract
- Pervasive systems are often made out of distributed software components that run on different computational units (appliances, sensing and actuating devices, computers). Such components are often developed, maintained, and even operated by different parties. Applications are increasingly built by dynamically discovering and composing such components in a situation-aware manner. By this we mean that applications follow some strategies to self-organize themselves to adapt their behavior depending on the changing situation in which they operate, for example the physical environment. They may also evolve autonomously in response to changing requirements. Software architectures are considered a well-suited abstraction to achieve situational adaptation. In this paper, we review some existing architectural approaches to self-adaptation and propose a high-level meta-model for architectures that supports dynamic adaptation. The meta-model is then instantiated in a specific ambient computing case study, which is used to illustrate its applicability.
|
|
| 7. |
- Caporuscio, Mauro, 1975-, et al.
(author)
-
Engineering Future Internet applications : The Prime approach
- 2015
-
In: Journal of Systems and Software. - : Elsevier BV. - 0164-1212 .- 1873-1228. ; 106, s. 9-27
-
Journal article (peer-reviewed)abstract
- The Future Internet is envisioned as a worldwide environment connecting a large open-ended collection of heterogeneous and autonomous resources, namely Things, Services and Contents, which interact with each other anywhere and anytime. Applications will possibly emerge dynamically as opportunistic aggregation of resources available at a given time, and will be able to self-adapt according to the environment dynamics. In this context, engineers should be provided with proper modeling and programming abstractions to develop applications able to benefit from Future Internet, by being at the same time fluid, as well as dependable. Indeed, such abstractions should (i) facilitate the development of autonomous and independent interacting resources (loose coupling), (ii) deal with the run-time variability of the application in terms of involved resources (flexibility), (iii) provide mechanisms for run-time resources discovery and access (dynamism), and (iv) enable the running application to accommodate unforeseen resources (serendipity).To this end, Prime (P-Rest at design/run tIME) defines the P-REST architectural style, and a set of P-REST oriented modeling and programming abstractions to provide engineers with both design-time and run-time support for specifying, implementing and operating P-RESTful applications.
|
|
| 8. |
- Caporuscio, Mauro, 1975-, et al.
(author)
-
PaCE : A Data-Flow Coordination Language for Asynchronous Network-Based Applications
- 2012
-
In: Software Composition. - Berlin, Heidelberg : Springer. - 9783642305634 ; , s. 51-67
-
Book chapter (other academic/artistic)abstract
- Network-based applications usually rely on the explicit distribution of components, which interact by means of message passing. Assembling components into a workflow is challenging due to the asynchronism inherent to the underlying message-passing communication model. This paper presents the PaCE language, which aims at coordinating asynchronous network-based components by exploiting the data-flow execution model. Specifically, PaCE has been designed for dealing with components compliant with the P-REST architectural style for pervasive adaptive systems. Moreover PaCE provides reflective features enabling run-time adaptation and evolution of workflows.
|
|
| 9. |
- Caporuscio, Mauro, 1975-, et al.
(author)
-
Resource-Oriented Middleware Abstractions for Pervasive Computing
- 2012
-
In: International Conference on Software Science, Technology and Engineering. - : IEEE Press. - 9781467317214 ; , s. 1-10
-
Conference paper (peer-reviewed)abstract
- The pervasive computing vision of the future communication and computational infrastructure is that we will be everywhere virtually connected with invisible computers, embedded in the environment. In this context, the challenge is to provide a middleware support that allows applications to have minimal assumptions about the environment while being able to dynamically adapt to the surrounding context. Specifically, the middleware should (i) deal with the run-time growth of the application in terms of involved resources (flexibility), (ii) accommodate heterogeneous and unforeseen functionalities into the running application (genericity), and (iii) discover new functionality at run time and rearrange the application accordingly (dynamism). To this extent, we devised the P-REST (Pervasive REST) architectural style and built the P RIME (P-rest Runtime) middleware to support it. PRIME allows a quick and effective development and execution P-REST applications by leveraging functional programming and code mobility.
|
|
| 10. |
- Caporuscio, Mauro, 1975-, et al.
(author)
-
RESTful Service Architectures for Pervasive Networking Environments
- 2011
-
In: REST. - New York, NY : Springer. - 9781441983022 ; , s. 401-422
-
Book chapter (peer-reviewed)abstract
- Computing facilities are an essential part of the fabric of our society, and an ever-increasing number of computing devices is deployed within the environment in which we live. The vision of pervasive computing is becoming real. To exploit the opportunities offered by pervasiveness, we need to revisit the classic software development methods to meet new requirements: (1) pervasive applications should be able to dynamically configure themselves, also benefiting from third-party functionalities discovered at run time and (2) pervasive applications should be aware of, and resilient to, environmental changes. In this chapter we focus on the software architecture, with the goal of facilitating both the development and the run-time adaptation of pervasive applications. More specifically we investigate the adoption of the REST architectural style to deal with pervasive environment issues. Indeed, we believe that, although REST has been introduced by observing and analyzing the structure of the Internet, its field of applicability is not restricted to it. The chapter also illustrates a proof-of-concept example, and then discusses the advantages of choosing REST over other styles in pervasive environments.
|
|
