Search

Your search keyword '"Autili, Marco"' showing total 251 results
Start Over Author "Autili, Marco"
251 results on '"Autili, Marco"'

1. Engineering Digital Systems for Humanity: a Research Roadmap

Author

Autili, Marco, De Sanctis, Martina, Inverardi, Paola, and Pelliccione, Patrizio

Subjects
Computer Science - Software Engineering, Computer Science - Computers and Society, Computer Science - Human-Computer Interaction
Abstract

As testified by new regulations like the European AI Act, worries about the human and societal impact of (autonomous) software technologies are becoming of public concern. Human, societal, and environmental values, alongside traditional software quality, are increasingly recognized as essential for sustainability and long-term well-being. Traditionally, systems are engineered taking into account business goals and technology drivers. Considering the growing awareness in the community, in this paper, we argue that engineering of systems should also consider human, societal, and environmental drivers. Then, we identify the macro and technological challenges by focusing on humans and their role while co-existing with digital systems. The first challenge considers humans in a proactive role when interacting with digital systems, i.e., taking initiative in making things happen instead of reacting to events. The second concerns humans having a reactive role in interacting with digital systems, i.e., humans interacting with digital systems as a reaction to events. The third challenge focuses on humans with a passive role, i.e., they experience, enjoy or even suffer the decisions and/or actions of digital systems. The fourth challenge concerns the duality of trust and trustworthiness, with humans playing any role. Building on the new human, societal, and environmental drivers and the macro and technological challenges, we identify a research roadmap of digital systems for humanity. The research roadmap is concretized in a number of research directions organized into four groups: development process, requirements engineering, software architecture and design, and verification and validation.

Published
2024

4. On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems

Author

Autili, Marco, Di Salle, Amleto, Perucci, Alexander, and Tivoli, Massimo

Subjects
Computer Science - Software Engineering
Abstract

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be composed so to fit users' needs. Modern service-oriented applications will be more and more often built by reusing and assembling distributed services. A key enabler for this vision is then the ability to automatically compose and dynamically coordinate software services. Service choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. When mismatching third-party services are to be composed, obtaining the distributed coordination and adaptation logic required to suitably realize a choreography is a non-trivial and error prone task. Automatic support is then needed. In this direction, this paper leverages previous work on the automatic synthesis of choreography-based systems, and describes our preliminary steps towards exploiting Enterprise Integration Patterns to deal with a form of choreography adaptation., Comment: In Proceedings FOCLASA 2015, arXiv:1512.06947

Published
2015
Full Text
View/download PDF

5. TACTICS: TACTICal Service Oriented Architecture

Author

Aloisio, Alessandro, Autili, Marco, D'Angelo, Alfredo, Viidanoja, Antti, Leguay, Jérémie, Ginzler, Tobias, Lampe, Thorsten, Spagnolo, Luca, Wolthusen, Stephen, Flizikowski, Adam, and Sliwa, Joanna

Subjects
Computer Science - Software Engineering
Abstract

Due to the increasing complexity and heterogeneity of contemporary Command, Control, Communications, Computers, & Intelligence systems at all levels within military organizations, the adoption of the Service Oriented Architectures (SOA) principles and concepts is becoming essential. SOA provides flexibility and interoperability of services enabling the realization of efficient and modular information infrastructure for command and control systems. However, within a tactical domain, the presence of potentially highly mobile actors equipped with constrained communications media (i.e., unreliable radio networks with limited bandwidth) limits the applicability of traditional SOA technologies. The TACTICS project aims at the definition and experimental demonstration of a Tactical Services Infrastructure enabling tactical radio networks (without any modifications of the radio part of those networks) to participate in SOA infrastructures and provide, as well as consume, services to and from the strategic domain independently of the user's location., Comment: 10 pages in 3rd International Conference in Software Engineering for Defence Applications (SEDA 2014), September 22-23, 2014, Rome, Italy

Published
2015

6. On the adaptation of context-aware services

Author

Autili, Marco, Cortellessa, Vittorio, Di Benedetto, Paolo, and Inverardi, Paola

Subjects
Computer Science - Software Engineering
Abstract

Ubiquitous networking empowered by Beyond 3G networking makes it possible for mobile users to access networked software services across heterogeneous infrastructures by resource-constrained devices. Heterogeneity and device limitedness creates serious problems for the development and deployment of mobile services that are able to run properly on the execution context and are able to ensures that users experience the "best" Quality of Service possible according to their needs and specific contexts of use. To face these problems the concept of adaptable service is increasingly emerging in the software community. In this paper we describe how CHAMELEON, a declarative framework for tailoring adaptable services, is used within the IST PLASTIC project whose goal is the rapid and easy development/deployment of self-adapting services for B3G networks., Comment: Proceedings of the International Workshop on Service Oriented Computing: a look at the Inside (SOC@Inside'07) at the International Conference on Service Oriented Computing (ICSOC'07), Vienna, Austria, 2007

Published
2015

7. Synthesis of correct adaptors for protocol enhancement in component-based systems

Author

Autili, Marco, Inverardi, Paola, Tivoli, Massimo, and Garlan, David

Subjects
Computer Science - Software Engineering
Abstract

Adaptation of software components is an important issue in Component Based Software Engineering (CBSE). Building a system from reusable or Commercial-Off-The-Shelf (COTS) components introduces a set of problems, mainly related to compatibility and communication aspects. On one hand, components may have incompatible interaction behavior. This might require to restrict the system's behavior to a subset of safe behaviors. On the other hand, it might be necessary to enhance the current communication protocol. This might require to augment the system's behavior to introduce more sophisticated interactions among components. We address these problems by enhancing our architectural approach which allows for detection and recovery of incompatible interactions by synthesizing a suitable coordinator. Taking into account the specification of the system to be assembled and the specification of the protocol enhancements, our tool (called SYNTHESIS) automatically derives, in a compositional way, the glue code for the set of components. The synthesized glue code implements a software coordinator which avoids incompatible interactions and provides a protocol-enhanced version of the composed system. By using an assume-guarantee technique, we are able to check, in a compositional way, if the protocol enhancement is consistent with respect to the restrictions applied to assure the specified safe behaviors., Comment: 8 pages in Proceedings of Specification and Verification of Component-Based Systems (SAVCBS'04) at 12th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'12), October 31-November 1, 2004, Newport Beach, California, USA

Published
2015

8. Distributed Enforcement of Service Choreographies

Author

Autili, Marco and Tivoli, Massimo

Subjects
Computer Science - Software Engineering
Abstract

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario., Comment: In Proceedings FOCLASA 2014, arXiv:1502.03157

Published
2015
Full Text
View/download PDF

9. Distributed Composition of Highly-Collaborative Services and Sensors in Tactical Domains

Author

Perucci, Alexander, Autili, Marco, Tivoli, Massimo, Aloisio, Alessandro, Inverardi, Paola, Kacprzyk, Janusz, Series Editor, Pal, Nikhil R., Advisory Editor, Bello Perez, Rafael, Advisory Editor, Corchado, Emilio S., Advisory Editor, Hagras, Hani, Advisory Editor, Kóczy, László T., Advisory Editor, Kreinovich, Vladik, Advisory Editor, Lin, Chin-Teng, Advisory Editor, Lu, Jie, Advisory Editor, Melin, Patricia, Advisory Editor, Nedjah, Nadia, Advisory Editor, Nguyen, Ngoc Thanh, Advisory Editor, Wang, Jun, Advisory Editor, Ciancarini, Paolo, editor, Mazzara, Manuel, editor, Messina, Angelo, editor, Sillitti, Alberto, editor, and Succi, Giancarlo, editor

Published
2020
Full Text
View/download PDF

10. CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems

Author

Autili, Marco, Di Salle, Amleto, Pompilio, Claudio, Tivoli, Massimo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bliudze, Simon, editor, and Bocchi, Laura, editor

Published
2020
Full Text
View/download PDF

11. A Hybrid Approach to Microservices Load Balancing

Author

Autili, Marco, Perucci, Alexander, De Lauretis, Lorenzo, Bucchiarone, Antonio, editor, Dragoni, Nicola, editor, Dustdar, Schahram, editor, Lago, Patricia, editor, Mazzara, Manuel, editor, Rivera, Victor, editor, and Sadovykh, Andrey, editor

Published
2020
Full Text
View/download PDF

13. Automatic adaptor synthesis for protocol transformation

Author

Autili, Marco, Inverardi, Paola, and Tivoli, Massimo

Subjects
Computer Science - Software Engineering
Abstract

Adaptation of software components is an important issue in Component Based Software Engineering (CBSE). Building a system from reusable or Commercial-Off-The-Shelf (COTS) components introduces a set of issues, mainly related to compatibility and communication aspects. Components may have incompatible interaction behavior. Moreover it might be necessary to enhance the current communication protocol to introduce more sophisticated interactions among components. We address these problems enhancing our architectural approach which allows for detection and recovery of integration mismatches by synthesizing a suitable coordinator. Starting from the specification of the system to be assembled and from the specification of the needed protocol enhancements, our framework automatically derives, in a compositional way, the glue code for the set of components. The synthesized glue code avoids interaction mismatches and provides a protocol-enhanced version of the composed system., Comment: 8 pages, Proceedings of the First International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'04) at ECOOP 2004, June 14, 2004, Oslo, Norway

Published
2014

14. CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications

Author

Autili, Marco, Di Salle, Amleto, Gallo, Francesco, Pompilio, Claudio, Tivoli, Massimo, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Riis Nielson, Hanne, editor, and Tuosto, Emilio, editor

Published
2019
Full Text
View/download PDF

15. Different Glasses to Look into the Three Cs: Component, Connector, Coordination

Author

Arbab, Farhad, Autili, Marco, Inverardi, Paola, Tivoli, Massimo, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Boreale, Michele, editor, Corradini, Flavio, editor, Loreti, Michele, editor, and Pugliese, Rosario, editor

Published
2019
Full Text
View/download PDF

20. Synthesis of Distributed and Adaptable Coordinators to Enable Choreography Evolution

Author

Autili, Marco, Inverardi, Paola, Perucci, Alexander, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, de Lemos, Rogério, editor, Garlan, David, editor, Ghezzi, Carlo, editor, and Giese, Holger, editor

Published
2017
Full Text
View/download PDF

21. Synthesis and Verification of Self-aware Computing Systems

Author

Calinescu, Radu, Autili, Marco, Cámara, Javier, Di Marco, Antinisca, Gerasimou, Simos, Inverardi, Paola, Perucci, Alexander, Jansen, Nils, Katoen, Joost-Pieter, Kwiatkowska, Marta, Mengshoel, Ole J., Spalazzese, Romina, Tivoli, Massimo, Kounev, Samuel, editor, Kephart, Jeffrey O., editor, Milenkoski, Aleksandar, editor, and Zhu, Xiaoyun, editor

Published
2017
Full Text
View/download PDF

23. Self-aware Computing Systems: Related Concepts and Research Areas

Author

Cámara, Javier, Bellman, Kirstie L., Kephart, Jeffrey O., Autili, Marco, Bencomo, Nelly, Diaconescu, Ada, Giese, Holger, Götz, Sebastian, Inverardi, Paola, Kounev, Samuel, Tivoli, Massimo, Kounev, Samuel, editor, Kephart, Jeffrey O., editor, Milenkoski, Aleksandar, editor, and Zhu, Xiaoyun, editor

Published
2017
Full Text
View/download PDF

26. Automated Integration of Service-Oriented Software Systems

Author

Autili, Marco, Inverardi, Paola, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dastani, Mehdi, editor, and Sirjani, Marjan, editor

Published
2015
Full Text
View/download PDF

27. Biological Immunity and Software Resilience: Two Faces of the Same Coin?

Author

Autili, Marco, Di Salle, Amleto, Gallo, Francesco, Perucci, Alexander, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Fantechi, Alessandro, editor, and Pelliccione, Patrizio, editor

Published
2015
Full Text
View/download PDF

28. Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications

Author

Autili, Marco, Inverardi, Paola, Mignosi, Filippo, Spalazzese, Romina, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Dediu, Adrian-Horia, editor, Formenti, Enrico, editor, Martín-Vide, Carlos, editor, and Truthe, Bianca, editor

Published
2015
Full Text
View/download PDF

31. ModelLAND: Where Do Models Come from?

Author

Autili, Marco, Di Ruscio, Davide, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bencomo, Nelly, editor, France, Robert, editor, Cheng, Betty H. C., editor, and Aßmann, Uwe, editor

Published
2014
Full Text
View/download PDF

32. Synthesis of Resilient Choreographies

Author

Autili, Marco, Di Salle, Amleto, Tivoli, Massimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gorbenko, Anatoliy, editor, Romanovsky, Alexander, editor, and Kharchenko, Vyacheslav, editor

Published
2013
Full Text
View/download PDF

33. A Model-Based Synthesis Process for Choreography Realizability Enforcement

Author

Autili, Marco, Di Ruscio, Davide, Di Salle, Amleto, Inverardi, Paola, Tivoli, Massimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Cortellessa, Vittorio, editor, and Varró, Dániel, editor

Published
2013
Full Text
View/download PDF

34. Integration Architecture Synthesis for Taming Uncertainty in the Digital Space

Author

Autili, Marco, Cortellessa, Vittorio, Di Ruscio, Davide, Inverardi, Paola, Pelliccione, Patrizio, Tivoli, Massimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Calinescu, Radu, editor, and Garlan, David, editor

Published
2012
Full Text
View/download PDF

35. An Integrated Development and Runtime Environment for the Future Internet

Author

Ben Hamida, Amira, Kon, Fabio, Ansaldi Oliva, Gustavo, Dos Santos, Carlos Eduardo Moreira, Lorré, Jean-Pierre, Autili, Marco, De Angelis, Guglielmo, Zarras, Apostolos, Georgantas, Nikolaos, Issarny, Valérie, Bertolino, Antonia, Álvarez, Federico, editor, Cleary, Frances, editor, Daras, Petros, editor, Domingue, John, editor, Galis, Alex, editor, Garcia, Ana, editor, Gavras, Anastasius, editor, Karnourskos, Stamatis, editor, Krco, Srdjan, editor, Li, Man-Sze, editor, Lotz, Volkmar, editor, Müller, Henning, editor, Salvadori, Elio, editor, Sassen, Anne-Marie, editor, Schaffers, Hans, editor, Stiller, Burkhard, editor, Tselentis, Georgios, editor, Turkama, Petra, editor, and Zahariadis, Theodore, editor

Published
2012
Full Text
View/download PDF

40. Towards a Connector Algebra

Author

Autili, Marco, Chilton, Chris, Inverardi, Paola, Kwiatkowska, Marta, Tivoli, Massimo, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2010
Full Text
View/download PDF

41. Context-Aware Adaptive Services: The PLASTIC Approach

Author

Autili, Marco, Di Benedetto, Paolo, Inverardi, Paola, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Wirsing, Martin, editor

Published
2009
Full Text
View/download PDF

43. Synthesis of Concurrent and Distributed Adaptors for Component-Based Systems

Author

Autili, Marco, Flammini, Michele, Inverardi, Paola, Navarra, Alfredo, Tivoli, Massimo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gruhn, Volker, editor, and Oquendo, Flavio, editor

Published
2006
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results