lnu.sePublications
Change search
Refine search result
12 1 - 50 of 60
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Rows per page
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sort
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
  • Standard (Relevance)
  • Author A-Ö
  • Author Ö-A
  • Title A-Ö
  • Title Ö-A
  • Publication type A-Ö
  • Publication type Ö-A
  • Issued (Oldest first)
  • Issued (Newest first)
  • Created (Oldest first)
  • Created (Newest first)
  • Last updated (Oldest first)
  • Last updated (Newest first)
  • Disputation date (earliest first)
  • Disputation date (latest first)
Select
The maximal number of hits you can export is 250. When you want to export more records please use the Create feeds function.
  • 1.
    Andersson, Jesper
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Aligning Architectures for Sustainability2016In: ACM Proccedings of the 10th European Conference on Software Architecture Workshops (ECSA-W) / [ed] Rami Bahsoon and Rainer Weinreich, ACM Press, 2016, article id 13Conference paper (Refereed)
    Abstract [en]

    The digitization of industry has drastically changed the competitive landscape by requiring a higher degree of specialization and shorter time to delivery that affect the design properties a software platform should satisfy. The platform architecture must sustain continuous and rapid change to the organizational architecture, which in turn is affected by external forces: i.e., forces drive the velocity of change. In this paper, we explore the effects of digitization, characterizing internal and external forces that impact on business strategies and trigger the continuous realignment of the platform, and outline a research agenda to mitigate the effects.

  • 2.
    Andersson, Jesper
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    D'Angelo, Mirko
    Ericsson Research, Sweden.
    Napolitano, Annalisa
    IMT School for Advanced Studies, Italy.
    Architecting decentralized control in large-scale self-adaptive systems2023In: Computing, ISSN 0010-485X, E-ISSN 1436-5057, Vol. 105, p. 1849-1882Article in journal (Refereed)
    Abstract [en]

    Architecting a self-adaptive system with decentralized control is challenging. Indeed, architects shall consider several different and interdependent design dimensions and devise multiple control loops to coordinate and timely perform the correct adaptations. To support this task, we propose Decor, a reasoning framework for architecting and evaluating decentralized control. Decor provides (i) multi-paradigm modeling support, (ii) a modeling environment for MAPE-K style decentralized control, and (iii) a co-simulation environment for simulating the decentralized control together with the managed system and estimating the quality attributes of interest. We apply the Decor in three case studies: an intelligent transportation system, a smart power grid, and a cloud computing application. The studies demonstrate the framework’s capabilities to support informed architectural decisions on decentralized control and adaptation strategies.

    Download full text (pdf)
    fulltext
  • 3.
    Autili, Marco
    et al.
    Universita dell’Aquila, Italy.
    Caporuscio, Mauro
    INRIA Paris-Rocquencourt, France.
    Issarny, Valerie
    INRIA Paris-Rocquencourt, France.
    Architecting Service Oriented Middleware for Pervasive Networking2009In: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, IEEE Press, 2009, p. 58-61Conference paper (Refereed)
    Abstract [en]

    Service oriented middleware (SOM) is getting key support to enable service oriented architecture deployment in next generation pervasive networking - e.g., Beyond 3rd Generation (B3G). This paper proposes a reference model for architecting SOM solutions over B3G network.

  • 4.
    Autili, Marco
    et al.
    Università degli Studi di L’Aquila, L’Aquila, Italy.
    Caporuscio, Mauro
    Dip. di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, Milan, Italy.
    Issarny, Valérie
    INRIA Paris-Rocquencourt, Le Chesnay Cedex, France.
    Berardinelli, Luca
    Università degli Studi di L’Aquila, L’Aquila, Italy.
    Model-driven engineering of middleware-based ubiquitous services2014In: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374, Vol. 13, no 2, p. 481-511Article in journal (Refereed)
    Abstract [en]

    Supporting the execution of service-oriented applications over ubiquitous networks specifically calls for a service-oriented middleware (SOM), which effectively enables ubiquitous networking while benefiting from the diversity and richness of the networking infrastructure. However, developing ubiquitous applications that exploit the specific features offered by a SOM might be a time-consuming task, which demands a deep knowledge spanning from the application domain concepts down to the underlying middleware technicalities. In this paper, first we present the model-driven development process underpinning ubiSOAP, a SOM for the ubiquitous networking domain. Then, based on the domain concepts defined by the conceptual model of ubiSOAP, its architecture and its technicalities, we propose a domain-specific environment, called ubiDSE, that aids the development of applications that exploits the ubiSOAP features, from design to implementation. ubiDSE allows developers to focus on the main behavior of the modeled systems, rather than on complex details inherent to ubiquitous environments. As part of ubiDSE, specific tools are provided to automatically generate skeleton code for service-oriented applications to be executed on ubiSOAP-enabled devices, hence facilitating the exploitation of ubiSOAP by developers.

  • 5.
    Baresi, Luciano
    et al.
    Dipartimento di Elettronica e Informazione Piazza, Italy.
    Caporuscio, Mauro
    Dipartimento di Elettronica e Informazione Piazza, Italy.
    Ghezzi, Carlo
    Dipartimento di Elettronica e Informazione Piazza, Italy.
    Guinea, Sam
    Dipartimento di Elettronica e Informazione Piazza, Italy.
    Model-Driven Management of Services2010In: 2010 IEEE 8th European Conference on Web Services (ECOWS), IEEE Press, 2010, p. 147-154Conference paper (Refereed)
    Abstract [en]

    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.

  • 6.
    Bellini, Emanuele
    et al.
    University of Campania, Italy.
    Bagnoli, Franco
    University of Florence, Italy.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Damiani, Ernesto
    Khalifa University, United Arab Emirates.
    Flammini, Francesco
    Mälardalen University, Sweden.
    Linkov, Igor
    U.S. Army Corps of Engineers, USA.
    Liò, Pietro
    University of Cambridge, UK.
    Marrone, Stefano
    University of Campania, Italy.
    Resilience learning through self adaptation in digital twins of human-cyber-physical systems2021In: Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR), IEEE, 2021, p. 168-173Conference paper (Refereed)
    Abstract [en]

    Human-Cyber-Physical-Systems (HPCS), such as critical infrastructures in modern society, are subject to several systemic threats due to their complex interconnections and interdependencies. Management of systemic threats requires a paradigm shift from static risk assessment to holistic resilience modeling and evaluation using intelligent, data-driven and run-time approaches. In fact, the complexity and criticality of HCPS requires timely decisions considering many parameters and implications, which in turn require the adoption of advanced monitoring frameworks and evaluation tools. In order to tackle such challenge, we introduce those new paradigms in a framework named RESILTRON, envisioning Digital Twins (DT) to support decision making and improve resilience in HCPS under systemic stress. In order to represent possibly complex and heterogeneous HCPS, together with their environment and stressors, we leverage on multi-simulation approaches, combining multiple formalisms, data-driven approaches and Artificial Intelligence (AI) modelling paradigms, through a structured, modular and compositional framework. DT are used to provide an adaptive abstract representation of the system in terms of multi-layered spatially-embedded dynamic networks, and to apply self-adaptation to time-warped What-If analyses, in order to find the best sequence of decisions to ensure resilience under uncertainty and continuous HPCS evolution.

  • 7.
    Caporuscio, Mauro
    Dipartimento di Elettronica e Informazione, Italy.
    Engineering Emergent Semantics into Pervasive Resource Discovery2012In: 39th Euromicro Conference on Software Engineering and Advanced Applications, IEEE Press, 2012, p. 208-215Conference paper (Refereed)
    Abstract [en]

    Pervasive environments are composed as spontaneous aggregation of heterogeneous and independent devices, which may seamlessly consume, but also provide, software resources over the network. As result, applications emerge from the dynamic composition of the resources available within the environment. This requires applications of being semantic-aware, to reason about and learn from the environment. However, due to the inherent high degree of dynamism characterizing pervasiveenvironments, semantics cannot be established a-priori, rather it should "emerge" from online negotiations among involved parties. This paper, formalizes emergent semantics principles into formal foundations, and shows, as proof of concept, how to engineer such foundations into a fully distributedsemantic service discovery.

  • 8.
    Caporuscio, Mauro
    Dipartimento di Elettronica, Informazione e Bioingegneria, Italy.
    Microevolution of Pervasive Services2013In: 40th Euromicro Conference on Software Engineering and Advanced Applications, IEEE Press, 2013, p. 161-168Conference paper (Refereed)
    Abstract [en]

    The pervasive computing vision of the future communication infrastructure is that we will be everywhere connected with invisible devices, which may consume and provide computational resources over the network. Resources are often abstracted as autonomous services, which must be "continually" evolved at run time to satisfy changing requirements. This paper discusses the design, development and evaluation of the Microevolution of Pervasive Services framework, which aims at supporting the run-time small-scale evolution of services through code mobility. Indeed, the framework provides (i) a dispatching mechanism to migrate Java code throughout the pervasive networking environment, and (ii) a microevolution manager that exploits Java reflection mechanisms to optimize code transmission.

  • 9.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Towards Fully Decentralized Self-Adaptive Reactive Systems2017In: ICPE'17: COMPANION OF THE 2017 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING, ACM Digital Library, 2017, p. 17-17Conference paper (Refereed)
    Abstract [en]

    With the growing demand for real-time data originating from myriads of Internet-connected devices, the number of requests hitting today's computing infrastructures goes beyond what is manageable for operations and affordable for management. Coping with these challenges requires a modernization of the application architectures and the underlying infrastructures. The mobile nature inherent to modern communications and interactions requires a radical shift towards new computing paradigms that reflect the fully decentralized perspective of the emerging execution environment. To this end, the trend is to switch thinking from assembling components into systems to dynamically composing autonomous systems into systems-of-systems. Indeed, systems-of-systems possibly emerge dynamically as an opportunistic aggregation of systems available at a given time. Since these systems operate under highly dynamic conditions where both the entities and their interconnections are subject to continuous change, the traditional stability assumptions made on distributed systems' design are no longer valid. Indeed, the dynamic operating conditions introduce uncertainty, which may harm the dependability of the system. In order to guarantee the provision of dependable functionality in such an unknown, ever-changing execution environment, systems should be fluid and able to self-adapt their structure depending on the changing situation. This talk examines a set of principles and techniques facilitating the design and development of fully decentralized systems that leverage on self-adaptivity to mitigate run-time uncertainty. Specifically, the key objective is to efficiently and effectively provide engineers with proper abstractions to develop self-adaptive systems capable of being at the same time fluid, as well as dependable.

  • 10.
    Caporuscio, Mauro
    et al.
    Universita dell'Aquila, Italy.
    Carzaniga, Antonio
    University of Colorado Boulder, Colorado.
    Wolf, Alexander
    University of Colorado Boulder, Colorado.
    An Experience in Evaluating Publish/Subscribe Services in a Wireless Network2002In: Proceedings of the 3rd International Workshop on Software and Performance, ACM Press, 2002, p. 128-133Conference paper (Refereed)
    Abstract [en]

    As wireless technology becomes more available, developers of distributed applications are becoming more interested in how that technology affects the performance of their systems. We have developed a distributed publish/subscribe communication service initially hosted on the standard IP-wired network infrastructure, but would now like to rehost that service onto a GPRS wireless network. This paper reports on our experience in attempting to evaluate the performance of the service using an available emulation environment. Our conclusion from our experience to date is that current tools do not model the wireless network at an appropriate level of abstraction. In particular, they do not allow us to study the integration of individual publish/subscribe service-layer elements with GPRS network-layer elements, nor do they allow us to study multiple GPRS clients interacting over the network. Instead we were limited to results related to the interaction between an individual GPRS client and the GPRS network modeled as a monolith.

  • 11.
    Caporuscio, Mauro
    et al.
    Universita degli Studi dell''Aquila, Italy.
    Carzaniga, Antonio
    University of Colorado, USA.
    Wolf, Alexander L.
    University of Colorado, USA.
    Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications2003In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 29, no 12, p. 1059-1071Article in journal (Refereed)
    Abstract [en]

    This paper presents the design and evaluation of a support service for mobile, wireless clients of a distributed publish/subscribe system. A distributed publish/subscribe system is a networked communication infrastructure where messages are published by senders and then delivered to the receivers whose subscriptions match the messages. Communication therefore does not involve the use of explicit addresses, but rather emerges from the dynamic arrangement of publishers and subscribers. Such a communication mechanism is an ideal platform for a variety of Internet applications, including multiparty messaging, personal information management, information sharing, online news distribution, service discovery, and electronic auctions. Our goal is to support such applications on mobile, wireless host devices in such a way that the applications can, if they chose, be oblivious to the mobility and intermittent connectivity of their hosts as they move from one publish/subscribe access point to another. In this paper, we describe a generic, value-added service that can be used in conjunction with publish/subscribe systems to achieve these goals. We detail the implementation of the service and present the results of our evaluation of the service in both wireline and emulated wireless environments.

  • 12.
    Caporuscio, Mauro
    et al.
    INRIA-Rocquencourt, Le Chesnay, France.
    Charlet, Damien
    INRIA-Rocquencourt, Le Chesnay, France.
    Issarny, Valerie
    INRIA-Rocquencourt, Le Chesnay, France.
    Navarra, Alfredo
    LaBRI, Talence, France.
    Energetic Performance of Service-oriented Multi-radio Networks: Issues and Perspectives2007In: Proceedings of the 6th International Workshop on Software and Performance (WOSP '07), ACM Press, 2007, p. 42-45Conference paper (Refereed)
    Abstract [en]

    Wireless devices now hold multiple radio interfaces, allowing to switch from one network to another according to required connectivity and related quality. Still, the selection of the best radio interface for a specific connection is under the responsibility of the end-user in most cases. Integrated multi-radio network management so as to improve the overall performance of the network(s) up to the software application layer, has led to a number of research efforts over the last few years. However, several challenges remain due to the inherent complexity of the problem. This paper specifically concentrates on the comprehensive analysis of energy-efficient multi-radio networking for pervasive computing. Building upon the service oriented architectural style, we consider pervasive networks of software services, which are deployed on the various networked nodes. The issue is then to optimize the energetic performance of the pervasive network through careful selection of the radio link over which service access should be realized for each such access. By considering the most common wireless interfaces in use today (Bluetooth, WiFi and GPRS), we introduce a formal model of service-oriented multi-radio networks. The proposed model enables characterizing the optimal network configuration in terms of energetic performance, which is shown to be a NP-hard problem and thus requires adequate approximation.

  • 13.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    D'Angelo, Mirko
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Grassi, V.
    Univ Roma Tor Vergata, Italy.
    Mirandola, R.
    Politecn Milan, Italy..
    Reinforcement Learning Techniques for Decentralized Self-adaptive Service Assembly2016In: SERVICE-ORIENTED AND CLOUD COMPUTING, (ESOCC 2016), Springer, 2016, p. 53-68Conference paper (Refereed)
    Abstract [en]

    This paper proposes a self-organizing fully decentralized solution for the service assembly problem, whose goal is to guarantee a good overall quality for the delivered services, ensuring at the same time fairness among the participating peers. The main features of our solution are: (i) the use of a gossip protocol to support decentralized information dissemination and decision making, and (ii) the use of a reinforcement learning approach to make each peer able to learn from its experience the service selection rule to be followed, thus overcoming the lack of global knowledge. Besides, we explicitly take into account load-dependent quality attributes, which lead to the definition of a service selection rule that drives the system away from overloading conditions that could adversely affect quality and fairness. Simulation experiments show that our solution self-adapts to occurring variations by quickly converging to viable assemblies maintaining the specified quality and fairness objectives.

  • 14.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    D'Angelo, Mirko
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Grassi, Vincenzo
    Università di Roma Tor Vergata, Italy.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Decentralized Architecture for Energy-Aware Service Assembly2020In: Software Architecture: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020 / [ed] Anton Jansen, Ivano Malavolta, Henry MucciniIpek Ozkaya, Olaf Zimmermann, Springer, 2020, p. 57-72Conference paper (Refereed)
    Abstract [en]

    Contemporary application domains make more and more appealing the vision of applications built as a dynamic and opportunistic assembly of autonomous and independent resources. However, the adoption of such paradigm is challenged by: (i) the openness and scalability needs of the operating environment, which rule out approaches based on centralized architectures and, (ii) the increasing concern for sustainability issues, which makes particularly relevant, in addition to QoS constraints, the goal of reducing the application energy footprint. In this context, we contribute by proposing a decentralized architecture to build a fully functional assembly of distributed services, able to optimize its energy consumption, paying also attention to issues concerning the delivered quality of service. We suggest suitable indexes to measure from different perspectives the energy efficiency of the resulting assembly, and present the results of extensive simulation experiments to assess the effectiveness of our approach.

  • 15.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    De Toma, Marco
    Univ Aquila, Italy.
    Muccini, Henry
    Univ Aquila, Italy.
    Vaidhyanathan, Karthik
    Univ Aquila, Italy.
    A Machine Learning Approach to Service Discovery for Microservice Architectures2021In: Software Architecture, ECSA 2021 / [ed] Biffl, S Navarro, E Lowe, W Sirjani, M Mirandola, R Weyns, D, Springer, 2021, Vol. 12857, p. 66-82Conference paper (Refereed)
    Abstract [en]

    Service discovery mechanisms have continuously evolved during the last years to support the effective and efficient service composition in large-scale microservice applications. Still, the dynamic nature of services (and of their contexts) are being rarely taken into account for maximizing the desired quality of service. This paper proposes using machine learning techniques, as part of the service discovery process, to select microservice instances in a given context, maximize QoS, and take into account the continuous changes in the execution environment. Both deep neural networks and reinforcement learning techniques are used. Experimental results show how the proposed approach outperforms traditional service discovery mechanisms.

  • 16.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Edrisi, Farid
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Hallberg, Margrethe
    Scania AB, Sweden.
    Johannesson, Anton
    Virtual Manufacturing AB, Sweden.
    Kopf, Claudia
    Scania AB, Sweden.
    Perez-Palacin, Diego
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Architectural Concerns for Digital Twin of the Organization2020In: Software Architecture: 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020 / [ed] Jansen A., Malavolta I., Muccini H., Ozkaya I., Zimmermann O., Springer, 2020, p. 265-280Conference paper (Refereed)
    Abstract [en]

    Employing a Digital Twin of the Organization would help enterprises to change and innovate, thus enhancing their organization’s sustainability. However, the lack of engineering best practices for developing and operating a Digital Twin of the Organization makes it difficult for enterprises to fully benefit from it. Many companies are currently investigating the potential use of it, but available solutions are often context-dependent or system-specific, and challenging to adapt, extend, and reuse. Therefore, digitalization is perceived as a slow, resource-demanding, and extremely expensive process whose outcome is uncertain. To this extent, enterprises seek solutions allowing them to gently introduce a Digital Twin of the Organization into their organization and to evolve it according to the changing needs and situations. This paper reports a first attempt on architecting a Digital Twin of an Organization, and discusses some architectural concerns to be addressed in order to facilitate its development and evolution.

  • 17.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Flammini, Francesco
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Khakpour, Narges
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Singh, Prasannjeet
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Thornadtsson, Johan
    Sigma Technology, Sweden.
    Smart-troubleshooting connected devices: Concept, challenges and opportunities2020In: Future generations computer systems, ISSN 0167-739X, E-ISSN 1872-7115, Vol. 111, p. 681-697Article in journal (Refereed)
    Abstract [en]

    Today’s digital world and evolving technology has improved the quality of our lives but it has also come with a number of new threats. In the society of smart-cities and Industry 4.0, where many cyber-physical devices connect and exchange data through the Internet of Things, the need for addressing information security and solve system failures becomes inevitable. System failures can occur because of hardware failures, software bugs or interoperability issues. In this paper we introduce the industry-originated concept of “smart-troubleshooting” that is the set of activities and tools needed to gather failure information generated by heterogeneous connected devices, analyze them, and match them with troubleshooting instructions and software fixes. As a consequence of implementing smart-troubleshooting, the system would be able to self-heal and thus become more resilient. This paper aims to survey frameworks, methodologies and tools related to this new concept, and especially the ones needed to model, analyze and recover from failures in a (semi)automatic way. Smart-troubleshooting has a relation with event analysis to perform diagnostics and prognostics on devices manufactured by different suppliers in a distributed system. It also addresses management of appropriate product information specified in possibly unstructured formats to guide the troubleshooting workflow in identifying fault–causes and solutions. Relevant research is briefly surveyed in the paper in order to highlight current state-of-the-art, open issues, challenges to be tackled and future opportunities in this emerging industry paradigm.

  • 18.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy .
    Funaro, Marco
    Politecnico di Milano, Italy .
    Ghezzi, Carlo
    Politecnico di Milano, Italy .
    Architectural Issues of Adaptive Pervasive Systems2010In: Graph Transformations and Model-Driven Engineering / [ed] Engels, Gregor; Lewerentz, Claus; Schäfer, Wilhelm; Schürr, Andy; Westfechtel, Bernhard, Springer, 2010, Vol. 5765, p. 492-511Chapter in book (Refereed)
    Abstract [en]

    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.

  • 19.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy.
    Funaro, Marco
    Politecnico di Milano, Italy.
    Ghezzi, Carlo
    Politecnico di Milano, Italy.
    PaCE: A Data-Flow Coordination Language for Asynchronous Network-Based Applications2012In: Software Composition: Proceedings of 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012 / [ed] Gschwind, Thomas; Paoli, Flavio; Gruhn, Volker; Book, Matthias, Springer, 2012, Vol. 7306, p. 51-67Chapter in book (Other academic)
    Abstract [en]

    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.

  • 20.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy.
    Funaro, Marco
    Politecnico di Milano, Italy.
    Ghezzi, Carlo
    Politecnico di Milano, Italy.
    Resource-Oriented Middleware Abstractions for Pervasive Computing2012In: International Conference on Software Science, Technology and Engineering, IEEE Press, 2012, p. 1-10Conference paper (Refereed)
    Abstract [en]

    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.

  • 21.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy.
    Funaro, Marco
    Politecnico di Milano, Italy.
    Ghezzi, Carlo
    Politecnico di Milano, Italy.
    RESTful Service Architectures for Pervasive Networking Environments2011In: REST: From Research to Practice / [ed] Wilde, Erik; Pautasso, Cesare, Springer, 2011, p. 401-422Chapter in book (Refereed)
    Abstract [en]

    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.

  • 22.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy.
    Funaro, Marco
    Politecnico di Milano, Italy.
    Ghezzi, Carlo
    Politecnico di Milano, Italy.
    Issarny, Valerie
    INRIA Paris-Rocquencourt, France.
    ubiREST: A RESTful Service-Oriented Middleware for Ubiquitous Networking2014In: Advanced Web Services / [ed] Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian, Springer, 2014, p. 475-500Chapter in book (Other academic)
    Abstract [en]

    The computing and networking capabilities of today’s wireless mobile devices allow for seamlessly-networked, ubiquitous services, which may be dynamically composed at run-time to accomplish complex tasks. This vision, however, remains challenged by the inherent mobility of such devices, which makes services highly volatile. These issues call for a service-oriented middleware that should (i) deal with the run-time growth of the application in terms of involved services (flexibility), (ii) accommodate heterogeneous and unforeseen services into the running application (genericity), and (iii) discover new services at run time and rearrange the application accordingly (dynamism). This chapter discusses the design and implementation of ubiREST, a service-oriented middleware that leverages REST principles to effectively enable the ubiquitous networking of Services.ubiREST specifically defines a layered communication middleware supporting RESTful Services while exploiting nowadays ubiquitous connectivity.

  • 23.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of Computer Science.
    Ghezzi, Carlo
    Politecnico di Milano, Italy.
    Engineering Future Internet applications: The Prime approach2015In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 106, p. 9-27Article in journal (Refereed)
    Abstract [en]

    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.

  • 24.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Grassi, V.
    Univ Roma Tor Vergata, Italy.
    Marzolla, M.
    Univ Bologna, Italy.
    Mirandola, R.
    Politecn Milan, Italy.
    GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly2016In: IEEE Transactions on Software Engineering, ISSN 0098-5589, E-ISSN 1939-3520, Vol. 42, no 2, p. 136-152Article in journal (Refereed)
    Abstract [en]

    Modern applications, e.g., for pervasive computing scenarios, are increasingly reliant on systems built from multiple distributed components, which must be suitably composed to meet some specified functional and non-functional requirements. A key challenge is how to efficiently and effectively manage such complex systems. The use of self-management capabilities has been suggested as a possible way to address this challenge. To cope with the scalability and robustness issues of large distributed systems, self-management should ideally be architected in a decentralized way, where the overall system behavior emerges from local decisions and interactions. Within this context, we propose GOPRIME, a fully decentralized middleware solution for the adaptive self-assembly of distributed services. The GOPRIME goal is to build and maintain an assembly of services that, besides functional requirements, fulfils also global quality-of-service and structural requirements. The key aspect of GOPRIME is the use of a gossip protocol to achieve decentralized information dissemination and decision making. To show the validity of our approach, we present results from the experimentation of a prototype implementation of GOPRIME in a mobile health application, and an extensive set of simulation experiments that assess the effectiveness of GOPRIME in terms of scalability, robustness and convergence speed.

  • 25.
    Caporuscio, Mauro
    et al.
    Universitá dell'Aquila, Italy.
    Inverardi, Paola
    Universitá dell'Aquila, Italy.
    Uncertain Event-based Model for Egocentric Context Sensing2005In: Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005, p. 25-32Conference paper (Refereed)
    Abstract [en]

    Calm Technology characterizes those technologies that move forth and back between the center and periphery of our attention. That is, while center denotes what one is currently focused on, periphery denotes what one is attuned to without focusing on it explicitly. Context-aware computing exploits such a concept by allowing applications to adapt their behavior (i.e. the center) in response to the context sensed within the environment (i.e. the periphery). An application in this setting should have minimal assumptions in order to operate while being able to dynamically adapt to and learn what the surrounding context offers.In this paper we discuss ongoing work in designing an event-based model that allows applications to egocentrically perceive the periphery and evaluate its relevance and uncertainty with respect to the center of the application attention. In particular we discuss our ongoing work in designing and developing ECHOES, an uncertain event-model for Egocentric computing. Characteristics of ECHOES are (a) departing from usual conjunctive pattern-matching algorithms implemented in event-notification models and, (b) achieving event correlation through the use of complex filters defined by means of Fuzzy Logic formulas. The paper introduces the specification of ECHOES as well as the design of an early prototype developed as a modified implementation of the SIENA Publish/Subscribe Middleware.

  • 26.
    Caporuscio, Mauro
    et al.
    University of L’Aquila, Italy.
    Inverardi, Paola
    University of L’Aquila, Italy.
    Yet Another Framework for Supporting Mobile and Collaborative Work2003In: Proceedings. Twelfth IEEE International Workshops on Enabling Technologies, 2003. WET ICE 2003.: Infrastructure for Collaborative Enterprises, IEEE Press, 2003, p. 81-86Conference paper (Refereed)
    Abstract [en]

    This paper presents the design of YACO (Yet Another framework for Collaborative work), a framework for supporting mobile collaborative work. Mobile collaborative work has been increasing in popularity in business domain. Coworkers cooperate and share expertise across sites and domains, employees may move from a location to another carrying devices (such as PDAs and laptops) in which they store documents. The YACO framework that we have designed aims at exploiting the capabilities provided by an event-based system with support for mobile application in order to offer services to users that collaborates each other in a corporate domain.

  • 27.
    Caporuscio, Mauro
    et al.
    Università dellýAquila, Italy.
    Inverardi, Paola
    Università dellýAquila, Italy.
    Pelliccione, Patrizio
    Università dellýAquila, Italy.
    Compositional Verification of Middleware-Based Software Architecture Descriptions2004In: Proceedings of the 26th International Conference on Software Engineering (ICSE '04), IEEE Press, 2004, p. 221-230Conference paper (Refereed)
    Abstract [en]

    In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.

  • 28.
    Caporuscio, Mauro
    et al.
    Università dell’Aquila, Italy.
    Inverardi, Paola
    Università dell’Aquila, Italy.
    Pelliccione, Patrizio
    Università dell’Aquila, Italy.
    Formal Analysis of Architectural Patterns2004In: Software Architecture: Proceedings First European Workshop, EWSA 2004, St Andrews, UK, May 21-22, 2004 / [ed] Oquendo, Flavio; Warboys, BrianC.; Morrison, Ron, Springer, 2004, Vol. 3047, p. 10-24Chapter in book (Other academic)
    Abstract [en]

    Architectural patterns characterize and specify structural and behavioral properties of (sub)systems, thus allowing the provision of solutions for classes of problems.

    In this paper we show the use of architectural patterns as an abstraction to carry on, and reuse, formal reasoning on systems whose configuration can dynamically change.

    This kind of systems is hard to model and to reason about due to the fact that we cannot simply build a model with fixed topology (i.e. fixed number of components and connectors) and validate properties of interest on it.

    The work presented in this paper proposes an approach that given an architectural pattern which expresses a class of systems configurations and a set of properties of interest (i) selects, if any, aminimal configuration for which the specified properties make sense, (ii) an abstraction of the chosen architectural model erformed, in order to reduce the complexity of the verification phase. In this stage, abstractions are driven by the properties of interest. The output of this abstraction step can be model-checked, tested and analyzed by using a standard model-checking framework. (iii) The verification results obtained in the previous step are lifted to generic configurations by performing manual reasoning driven by the constraints posed by the architectural pattern.

    The approach will be applied by using an event-based architectural pattern to a publish/subscribe system, the Siena middleware, in order to validate its features and its mobility extension.

  • 29.
    Caporuscio, Mauro
    et al.
    INRIA-Rocquencourt, France.
    Issarny, Valerie
    INRIA-Rocquencourt, France.
    A UML 2.0 Profile for Architecting B3G Applications2007In: Rapid Integration of Software Engineering Techniques / [ed] Guelfi, Nicolas; Buchs, Didier, Springer, 2007, Vol. 4401, p. 18-34Chapter in book (Other academic)
    Abstract [en]

    B3G is an emerging network technology which conceives the convergence of telecommunication and IP-based networks for providing enhanced services able to transfer both voice and non-voice data through wired and wireless networks. Moreover, B3G networks can be no longer considered as “passive” entities which only transport data between end-points, but they must be considered as “active” parties that have their own behavior and provide services. This creates a completely new application domain where applying current software engineering design tools, such as software architectures, fails. In fact, dealing with B3G networks requires to explicit low-level details usually abstracted by the architectural descriptions.

    To this extent, we present an ongoing work on investigating B3G-oriented application modeling. In particular, we propose an enhanced UML profile to define and analyze software architectures that explicitly exploit the B3G domain properties.

  • 30.
    Caporuscio, Mauro
    et al.
    Università dell Aquila, Italy.
    Marco, Antinisca Di
    Università dell Aquila, Italy.
    Inverardi, Paola
    Università dell Aquila, Italy.
    Model-based system reconfiguration for dynamic performance management2007In: Journal of Systems and Software, ISSN 0164-1212, E-ISSN 1873-1228, Vol. 80, no 4, p. 455-473Article in journal (Refereed)
    Abstract [en]

    Recently, growing attention focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, system reconfiguration is considered a useful technique to manage QoS. Several reconfiguration approaches to performance management exist that help systems to maintain performance requirements at run time. However, many of them use prefixed strategies that are in general coded in the application or in the reconfiguration framework.

    In this work we propose a framework to manage performance of software systems at run time based on monitoring and model-based performance evaluation. The approach makes use of software architectures as abstractions of the managed system to avoid unnecessary details that can heavily affect the model evaluation in terms of complexity and resolution time.

  • 31.
    Caporuscio, Mauro
    et al.
    Universitá dell'Aquila, Italy.
    Marco, Antinisca Di
    Universitá dell'Aquila, Italy.
    Inverardi, Paola
    Universitá dell'Aquila, Italy.
    Run-time Performance Management of the Siena Publish/Subscribe Middleware2005In: Proceedings of the 5th International Workshop on Software and Performance (WOSP '05), ACM Press, 2005, p. 65-74Conference paper (Refereed)
    Abstract [en]

    Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on runtime monitoring and dynamic reconfiguration, is considered a useful technique to manage/negotiate QoS. Several defined approaches to dynamic performance management propose the use of on-line model-based evaluation of the managed application in order to choose the new application configuration for improving the QoS. In a previous work we defined a methodology to manage performance of soft-ware system at run-time based on model-based performance evaluation. To avoid unnecessary details the performance model represents the managed application at the Software Architecture level. In this work we apply and implement this approach to dynamic manage the performance of the SIENA publish/subscribe event notification service.

  • 32.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Mirandola, Raffaela
    Polytechnic University of Milan, Italy.
    Trubiani, Catia
    Gran Sasso Science Institute, Italy.
    Building design-time and run-time knowledge for QoS-based component assembly2017In: Software, practice & experience, ISSN 0038-0644, E-ISSN 1097-024X, Vol. 47, no 12, p. 1905-1922Article in journal (Refereed)
    Abstract [en]

    Modern software systems are required to dynamically adapt to changing workloads, scenarios, and objectives and to achieve a certain Quality of Service (QoS). Guaranteeing QoS requirements is not trivial, as run-time uncertainty might invalidate the design-time rationale, where software components have been selected by means of off-line analysis. In this work, we propose a QoS-based feedback approach that makes a combined use of design-time predictions and run-time measurements to manage QoS data over time and support software architects while selecting software components that best fit QoS requirements. We illustrate the feasibility and efficacy of the approach on a case study, where the quantitative evaluation shows how the analysis effectively identifies the sources of QoS violations and indicates possible solutions to achieve QoS requirements.

  • 33.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of Computer Science.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Trubiani, Catia
    Gran Sasso Science Institute, Italy.
    QoS-based Feedback for Service Compositions2015In: Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, ACM Press, 2015, p. 37-42Conference paper (Refereed)
    Abstract [en]

    The Service Oriented Architecture is boosting a fast move from developing applications as stand-alone systems, to developing applications as composition of autonomous and heterogeneous services. Service compositions are required to adapt dynamically to changing workloads, scenarios and objectives, and to achieve a certain Quality of Service (QoS). Guaranteeing such requirements is not a trivial task, since run-time variability makes the process of devising service compositions challenging for software designers. In this paper, we exploit the QoS analysis at run time to support software design, highlighting service compositions where QoS predictions are not reliable enough. To this end, we propose a QoS-based feedback framework that makes use of design-time and run-time knowledge to manage QoS data over time, and support software architect while devising a service composition that best fits QoS requirements. We illustrate the feasibility and effectiveness of the approach on a case study from the e-health domain.

  • 34.
    Caporuscio, Mauro
    et al.
    Università dell’Aquila, Italy.
    Muccini, Henry
    Università dell’Aquila, Italy.
    Pelliccione, Patrizio
    Università dell’Aquila, Italy.
    Nisio, Ezio
    Università dell’Aquila, Italy.
    Rapid System Development Via Product Line Architecture Implementation2006In: Rapid Integration of Software Engineering Techniques / [ed] Guelfi, Nicolas; Savidis, Anthony, Springer, 2006, Vol. 3943, p. 18-33Chapter in book (Other academic)
    Abstract [en]

    Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the rapid development of new applications. While much effort has been spent so far in understanding and modeling SPLs and their architectures, very little attention has been given on how to systematically enforce SPL architectural decisions into the implementation step.

    In this paper we propose a methodological approach and an implementation framework, based on a plugin component-based development, which allows us to move from an architectural specification of the SPL to its implementation in a systematic way. We show the suitability of this framework through its application to the TOOL one case study SPL.

  • 35.
    Caporuscio, Mauro
    et al.
    Politecnico di Milano, Italy.
    Raverdy, Pierre-Guillaume
    INRIA, France.
    Issarny, Valerie
    INRIA, France.
    ubiSOAP: A Service-Oriented Middleware for Ubiquitous Networking2012In: IEEE Transactions on Services Computing, ISSN 1939-1374, E-ISSN 1939-1374, Vol. 5, no 1, p. 86-98Article in journal (Refereed)
    Abstract [en]

    The computing and networking capacities of today's wireless portable devices allow for ubiquitous services, which are seamlessly networked. Indeed, wireless handheld devices now embed the necessary resources to act as both service clients and providers. However, the ubiquitous networking of services remains challenged by the inherent mobility and resource constraints of the devices, which make services a priori highly volatile. This paper discusses the design, implementation, and experimentation of the ubiSOAP service-oriented middleware, which leverages wireless networking capacities to effectively enable the ubiquitous networking of services. ubiSOAP specifically defines a layered communication middleware that underlies standard SOAP-based middleware, hence supporting legacy Web Services while exploiting nowadays ubiquitous connectivity.

  • 36.
    Caporuscio, Mauro
    et al.
    INRIA, France.
    Raverdy, Pierre-Guillaume
    INRIA, France.
    Moungla, Hassine
    INRIA, France.
    Issarny, Valerie
    INRIA, France.
    ubiSOAP: A Service Oriented Middleware for Seamless Networking2008In: Service-Oriented Computing “ ICSOC 2008: Proceedings of 6th International Conference, Sydney, Australia, December 1-5, 2008 / [ed] Bouguettaya, Athman; Krueger, Ingolf; Margaria, Tiziana, Springer, 2008, Vol. 5364, p. 195-209Chapter in book (Other academic)
    Abstract [en]

    The computing and networking capacities of today’s wireless portable devices allow for pervasive services, which are seamlessly networked. Indeed, wireless handheld devices now embed the necessary resources to act as both service clients and providers. However, the seamless networking of services remains challenged by the inherent mobility and resource constraints of devices, which make services a priori highly volatile. This paper discusses the design, implementation and experimentation of the ubiSOAP service-oriented middleware, which leverages wireless networking capacities to effectively enable the seamless networking of services. ubiSOAP specifically defines a layered communication middleware that underlies standard SOAP-based middleware, hence supporting legacy services while exploiting nowadays pervasive connectivity.

  • 37.
    Caporuscio, Mauro
    et al.
    Università degli Studi di L’Aquila, Italy.
    Ruscio, Davide
    Università degli Studi di L’Aquila, Italy.
    Inverardi, Paola
    Università degli Studi di L’Aquila, Italy.
    Pelliccione, Patrizio
    Università degli Studi di L’Aquila, Italy.
    Pierantonio, Alfonso
    Università degli Studi di L’Aquila, Italy.
    Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications2005In: Software Architecture: Proceedings of the 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. / [ed] Morrison, Ron; Oquendo, Flavio, Springer, 2005, Vol. 3527, p. 130-145Chapter in book (Other academic)
    Abstract [en]

    Behavioral analysis of middleware-based applications typically requires the analysis of the middleware and the application, in a monolithic way. In terms of model-checking, this is a complex task and may result in the well known “state-explosion” problem. These considerations led us to investigate a compositional verification approach which decomposes the system in accordance with its Software Architecture. The architectural decomposability theorem we defined in previous work decomposes the system into three logical layer: (i) application components, (ii) proxies and, (iii)middleware. This logical separation allows for reducing the global system validation to the verification of local behaviors.

    In this paper, we engineer the architectural decomposability theorem to the analysis of middleware-based applications by automatically generating the proxies needed by the components in order to properly interact with each other via the middleware. In particular, following the Model Driven Architecture approach and by making use of the Abstract State Machine formalism, we describe a set of transformation rules that allow for deriving correct proxies for using CORBA. By means of the proposed transformations, the correctness of the proxy behavioral models is guaranteed without the need to validate them with respect to the assumptions posed by the theorem.

  • 38.
    Caporuscio, Mauro
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Weyns, Danny
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science. Katholieke Univ Leuven, Belgium.
    Andersson, Jesper
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Axelsson, Clara
    Linnaeus University, Faculty of Health and Life Sciences, Department of Medicine and Optometry.
    Petersson, Göran
    Linnaeus University, Faculty of Health and Life Sciences, Department of Medicine and Optometry.
    IoT-enabled Physical Telerehabilitation Platform2017In: Proccedings of the International Workshop on Engineering IoT Systems: Architectures, Services, Applications, and Platforms, IEEE, 2017, p. 112-119Conference paper (Refereed)
    Abstract [en]

    Physical telerehabilitation services over the Internet allow physiotherapists to engage in remote consultation with patients at their homes, improving the quality of care and reducing costs. Traditional visual approaches, such as webcams and videophones, are limited in terms of precision of assessment and support for assistance with exercises. In this paper, we present a Physical Telerehabilitation System (PTS) that enhances video interaction with IoT technology to monitor the position of the body of patients in space and provide smart data to physiotherapists and users. We give an overview of the architecture of the PTS and evaluate (i) its usability based on a number of interviews and focus groups with stakeholders, and (ii) its technical efficiency based on a series of measurements. From this evaluation, we derive a number of challenges for further improvement of the PTS and outline a possible solution based on a microservices architecture.

  • 39.
    Cardoso, Roberto Speicys
    et al.
    INRIA, France.
    Caporuscio, Mauro
    Politecnico di Milano, Italy.
    Exploring Multi-Path Communication in Hybrid Mobile Ad Hoc Networks2010In: International Journal of Ambient Computing and Intelligence (IJACI), ISSN 1941-6237, E-ISSN 1941-6245, Vol. 2, no 4, p. 1-12Article in journal (Refereed)
    Abstract [en]

    Ambient computing requires the integration of multiple mobile heterogeneous networks. Multi-path communication in such scenarios can provide reliability and privacy benefits. Even though the properties of multi-path routing have been extensively studied and a number of algorithms proposed, implementation of such techniques can be tricky, particularly when resource-constrained nodes are connected to each other through hybrid networks with different characteristics. In this paper, the authors discuss the challenges involved in implementing multipath communication on a middleware for hybrid mobile ad hoc networks. The authors present the PLASTIC middleware, several compelling applications of multi-path communication and the main issues concerning their implementation as a primitive middleware-provided communication.

  • 40.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Pure Edge Computing Platform for the Future Internet2016In: Software Technologies: Applications and Foundations (STAF 2016): Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp. Revised Selected Papers / [ed] Milazzo, Paolo; Varró, Dániel; Wimmer, Manuel, Vienna: Springer, 2016, p. 458-469Conference paper (Refereed)
    Abstract [en]

    Future Internet builds upon three key pillars – namely, Internet of Things, Internet of Services, and Internet of Contents – and is considered as a worldwide execution environment that interconnects myriad heterogeneous entities over time, supports information dissemination, enables the emergence of promising application domains, and stimulate new business and research opportunities. In this paper we analyse the challenges towards the actualisation of the Future Internet. We argue that the mobile nature inherent to modern communications and interactions requires a radical shift towards new computing paradigms that fully reflect the network-based perspective of the emerging environment. Indeed, we position the adoption of a Pure Edge Computing platform that offers designing and programming abstractions to specify, implement and operate Future Internet applications.

  • 41.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    SA-Chord: A Self-Adaptive P2P Overlay Network2018In: Proceedings. 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems: FAS*W 2018. 3–7 September 2018 Trento, Italy, Los Alamitos, CA: IEEE, 2018, p. 118-123Conference paper (Refereed)
    Abstract [en]

    Pure Edge Computing relies on peer-to-peer overlay networks to realize the communication backbone between participating entities. In these settings, entities are characterized by high heterogeneity, mobility, and variability, which introduce runtime uncertainty and may harm the dependability of the network. Departing from state-of-the-art solutions, overlay networks for Pure Edge Computing should take into account the dynamics of the operating environment and self-adapt their topology accordingly, in order to increase the dependability of the communication. To this end, this paper discusses the preliminary development and validation of SA-Chord, a self-adaptive version of the wellknown Chord protocol, able to adapt the network topology according to a given global goal. SA-Chord has been validated through simulation against two distinct goals: (i) minimize energy consumption and, (ii) maximize network throughput. Simulation results are promising and show how SA-Chord efficiently and effectively achieves a given goal.

  • 42.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Grassi, Vincenzo
    Università di Roma Tor Vergata, Italy.
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Decentralized learning for self-adaptive QoS-aware service assembly2020In: Future generations computer systems, ISSN 0167-739X, E-ISSN 1872-7115, Vol. 108, p. 210-227Article in journal (Refereed)
    Abstract [en]

    The highly dynamic nature of future computing systems, where applications dynamically emerge as opportunistic aggregation of autonomous and independent resources available at any given time, requires a radical shift in the adopted computing paradigms. Indeed, they should fully reflect the decentralized perspective of the execution environment and consider QoS, scalability and resilience as key objectives. In this context, the everything-as-a-service (XaaS) paradigm, which envisions the creation of new services as an assembly of independent services available within the environment, can greatly help in tackling the challenges of developing future applications. However, in order to be effective, XaaS paradigm requires self-adaptive service assembly solutions able to cope with the unpredictable variability and scalability of the execution environment, the lack of global knowledge, and the QoS requirements of services to be built. We contribute in this direction by designing a fully decentralized and collective self-adaptive service assembly framework whose main features are: (i) self-assembly, i.e., the ability to operate autonomously, (ii) online-learning, i.e., the ability to dynamically learn from experience, (iii) QoS-awareness, i.e., the inclusion of QoS requirements as driving forces for self-assembly, (iv) scalability, i.e., the ability to cope with a large number of services, and (v) resilience, i.e., the ability to maintain the persistence of service delivery when facing unexpected changes (e.g., in the number and/or QoS of services). Simulation experiments show that our solution makes the system able to quickly converge to viable assemblies that improve and maintain over time the social welfare of the system, despite the local perspective of each participating service.

  • 43.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM), Department of Computer Science.
    Napolitano, Annalisa
    University of Rome 'Tor Vergata', Italy.
    Model-driven Engineering of Decentralized Control in Cyber-Physical Systems2017In: Proceedings of the 2nd International Workshop on  Foundations and Applications of Self* Systems (FAS*W), IEEE, 2017, p. 7-12Conference paper (Refereed)
    Abstract [en]

    Self-Adaptation is nowadays recognized as an effective approach to manage the complexity and dynamics inherent to cyber-physical systems, which are composed of deeply intertwined physical and software components interacting with each other. A self-Adaptive system typically consists of a managed subsystem and a managing subsystem that implements the adaptation logic by means of the well established MAPE-K control loop. Since in large distributed settings centralized control is hardly adequate to manage the whole system, self-Adaptation should be achieved through collective decentralized control, that is multiple cyber-physical entities must adapt in order to address critical runtime conditions. Developing such systems is challenging, as several dimensions concerning both the cyber-physical system and the decentralized control loop should be considered. To this end, we promote MAPE-K components as first-class modeling abstractions and provide a framework supporting the design, development, and validation of decentralized self-Adaptive cyber-physical systems.

  • 44.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Napolitano, Annalisa
    IMT School for Advanced Studies, Italy.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    CyPhEF: A Model-driven Engineering Framework for Self-adaptive Cyber-physical Systems2018In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, ACM Press, 2018, p. 101-104Conference paper (Refereed)
    Abstract [en]

    Self-adaptation is nowadays recognized as an effective approach to deal with the uncertainty inherent to cyber-physical systems, which are composed of dynamic and deeply intertwined physical and software components interacting with each other. Engineering a self-adaptive cyber-physical system is challenging, as concerns about both the physical and the control system should be jointly considered. To this end, we present CyPhEF, a Model-Driven Engineering framework supporting the development and validation of self-adaptive cyber-physical systems.

    Demo video: https://youtu.be/nmg-w2kfKEA.

  • 45.
    D'Angelo, Mirko
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Pagliari, Lorenzo
    Gran Sasso Science Institute, Italy.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Trubiani, Catia
    Gran Sasso Science Institute, Italy.
    Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems2020In: International Conference on Software Engineering and Formal Methods SEFM 2019: Software Engineering and Formal Methods / [ed] Camara J.;Steffen M., Springer, 2020, p. 69-76Conference paper (Refereed)
    Abstract [en]

    Modern information systems connecting software, physical systems, and people, are usually characterized by high dynamism. These dynamics introduce uncertainties, which in turn may harm the quality of service and lead to incomplete, inaccurate, and unreliable results. In this context, self-adaptation is considered as an effective approach for managing run-time uncertainty. However, classical approaches for quality engineering are not suitable to deal with run-time adaptation, as they are mainly used to derive the steady-state solutions of a system at design-time. In this paper, we envision a Continuous Model-based Engineering Process that makes use of architectural analysis in conjunction with experimentation to have a wider understanding of the system under development. These two activities are performed incrementally, and jointly used in a feedback loop to provide insights about the quality of the system-to-be. © 2020, Springer Nature Switzerland AG.

  • 46.
    Edrisi, Farid
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Perez-Palacin, Diego
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Giussani, Samuele
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators2023In: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), IEEE, 2023, p. 56-67Conference paper (Refereed)
    Abstract [en]

    Robots are increasingly adopted in a wide range of unstructured and uncertain environments, where they are expected to keep quality properties such as efficiency, accuracy, and safety. To this end, robots need to be smart and continuously update their situation awareness. Self-adaptive systems pave the way for accomplishing this aim by enabling a robot to understand its surroundings and adapt to various scenarios in a systematic manner. However, some situations, e.g., adjusting adaptation rules, refining run-time models, narrowing a vast adaptation domain, and taking future scenarios into consideration, etc. may require the self-adaptive system to include additional specialized components. In this regard, this work proposes a novel approach combining the MAPE-K, adaptive controllers, and a Digital Twin of the robot to enable the managing system to be aware of new scenarios appearing at run-time and operate safely, accurately, and efficiently. A state-of-the-art robot model is employed to evaluate the suitability of the approach.

  • 47.
    Edrisi, Farid
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Perez-Palacin, Diego
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Hallberg, Margrethe
    Scania, Sweden.
    Johannesson, Anton
    Virtual Manufacturing, Sweden.
    Kopf, Claudia
    Scania, Sweden.
    Sigvardsson, Johanna
    Virtual Manufacturing, Sweden.
    EA Blueprint: An Architectural Pattern for Resilient Digital Twin of the Organization2021In: Dependable Computing - EDCC 2021 Workshops. / [ed] Adler R. et al, Springer, 2021, p. 120-131Conference paper (Refereed)
    Abstract [en]

    Advancements in Cyber-Physical Systems, IoT, Data-driven methods, and networking prepare the adequate infrastructure for constructing new organizations, where everything is connected and interact with each other. A Digital Twin of the Organization (DTO) exploits these infrastructures to provide an accurate digital representation of the organization. Beyond the usual representation of devices, machines and physical assets supplied by Digital Twins, a DTO also include processes, services, people, roles, and all other relevant elements for the operation of organizations. Therefore, DTO can play a key role in realizing and analyzing aspects of organizations, assisting managers on the knowledge of the organization status, and foreseeing possible effects of potential changes in the organization. However, due to the dynamic, open, and ever-changing environment of organizations, an established DTO will soon degrade or even lose all its utility. Therefore, a DTO needs to evolve to recover its utility when the organization changes. The development of flexible, resilient, and easy to evolve DTO has not been well-addressed yet. Most of the existing proposals are context-dependent, system-specific, or focus on providing solutions in high-level abstraction. This work leverages Enterprise Architecture to propose an architectural pattern to serve as a blueprint toward the development of resilient DTO.

  • 48.
    Flammini, Francesco
    et al.
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM). Mälardalen University, Sweden.
    Marrone, Stefano
    Univ Campania Luigi Vanvitelli, Italy.
    Nardone, Roberto
    Univ Mediterranea Reggio Calabria, Italy.
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    D'Angelo, Mirko
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Safety integrity through self-adaptation for multi-sensor event detection: Methodology and case-study2020In: Future generations computer systems, ISSN 0167-739X, E-ISSN 1872-7115, Vol. 112, p. 965-981Article in journal (Refereed)
    Abstract [en]

    Traditional safety-critical systems are engineered in a way to be predictable in all operating conditions. They are common in industrial automation and transport applications where uncertainties (e.g., fault occurrence rates) can be modeled and precisely evaluated. Furthermore, they use high-cost hardware components to increase system reliability. On the contrary, future systems are increasingly required to be "smart"(or "intelligent") that is to adapt to new scenarios, learn and react to unknown situations, possibly using low-cost hardware components. In order to move a step forward to fulfilling those new expectations, in this paper we address run-time stochastic evaluation of quantitative safety targets, like hazard rate, in self-adaptive event detection systems by using Bayesian Networks and their extensions. Self-adaptation allows changing correlation schemes on diverse detectors based on their reputation, which is continuously updated to account for performance degradation as well as modifications in environmental conditions. To that aim, we introduce a specific methodology and show its application to a case-study of vehicle detection with multiple sensors for which a real-world data-set is available from a previous study. Besides providing a proof-of-concept of our approach, the results of this paper pave the way to the introduction of new paradigms in the dynamic safety assessment of smart systems. (c) 2020 Elsevier B.V. All rights reserved.

  • 49.
    Issarny, Valerie
    et al.
    INRIA, France.
    Caporuscio, Mauro
    University of L'Aquila, Italy.
    Georgantas, Nikolaos
    National Technical University of Athens, Greece.
    A Perspective on the Future of Middleware-based Software Engineering2007In: 2007 Future of Software Engineering (FOSE '07), IEEE Press, 2007, p. 244-258Conference paper (Refereed)
    Abstract [en]

    Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems like heterogeneity, interoperability, security, dependability. Further, with networks becoming increasingly pervasive, middleware appears as a major building block for the development of future software systems. Starting with the impact of pervasive networking on computing models, manifested by now common grid and ubiquitous computing, this paper surveys related challenges for the middleware and related impact on the software development. Indeed, future applications will need to cope with advanced non-functional properties such as context- awareness and mobility, for which adequate middleware support must be devised together with accompanying software development notations, methods and tools. This leads us to introduce our view on next generation middleware, considering both technological advances in the networking area but also the need for closer integration with software engineering best practices, to ultimately suggest middleware-based software processes.

  • 50.
    Pagliari, Lorenzo
    et al.
    Gran Sasso Science Institute, Italy.
    D'Angelo, Mirko
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Caporuscio, Mauro
    Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).
    Mirandola, Raffaela
    Politecnico di Milano, Italy.
    Trubiani, Catia
    Gran Sasso Science Institute, Italy.
    Performance modelling of intelligent transportation systems: Experience report2021In: ICPE '21: Companion of the ACM/SPEC International Conference on Performance Engineering, Association for Computing Machinery (ACM), 2021, p. 155-160Conference paper (Refereed)
    Abstract [en]

    Modern information systems connecting software, physical systems and people, are usually characterized by high dynamism. These dynamics introduce uncertainties, which in turn may harm the quality of systems and lead to incomplete, inaccurate, and unreliable results. To deal with this issue, in this paper we report our incremental experience on the usage of different performance modelling notations while analyzing Intelligent Transportation Systems. More specifically, Queueing Networks and Petri Nets have been adopted and interesting insights are derived.

12 1 - 50 of 60
CiteExportLink to result list
Permanent link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf