| 1. |
- Autili, Marco, et al.
(författare)
-
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
- 2015
-
Ingår i: Language and Automata Theory and Applications. - Cham : Springer. ; , s. 3-24
-
Konferensbidrag (refereegranskat)abstract
- The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous efforts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this paper, we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: {\em coordinator} and {\em mediator}. The former is used when the NSs to be connected are already able to communicate but they need to be specifically coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described efforts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. By considering our past experience on the automatic synthesis of coordinators and mediators as a baseline, we conclude by overviewing a formal method for the automated synthesis of mediators that allows to relax some assumptions state-of-the-art approaches rely on, and characterize the necessary and sufficient interoperability conditions that ensure the mediator existence and correctness.
|
|
| 2. |
- Autili, Marco, et al.
(författare)
-
Automated synthesis of application-layer connectors from automata-based specifications
- 2019
-
Ingår i: Journal of computer and system sciences (Print). - : Elsevier. - 0022-0000 .- 1090-2724. ; 104, s. 17-40
-
Tidskriftsartikel (refereegranskat)abstract
- Ubiquitous and Pervasive Computing, and the Internet of Things, promote dynamic interaction among heterogeneous systems. To achieve this vision, interoperability among heterogeneous systems represents a key enabler, and mediators are often built to solve protocol mismatches. Many approaches propose the synthesis of mediators. Unfortunately, a rigorous characterization of the concept of interoperability is still lacking, hence making hard to assess their applicability and soundness. In this paper, we provide a framework for the synthesis of mediators that allows us to: (i) characterize the conditions for the mediator existence and correctness; and (ii) establish the applicability boundaries of the synthesis method.
|
|
| 3. |
- Autili, Marco, et al.
(författare)
-
Cooperative Intelligent Transport Systems : Choreography-Based Urban Traffic Coordination
- 2021
-
Ingår i: IEEE transactions on intelligent transportation systems (Print). - : Institute of Electrical and Electronics Engineers Inc.. - 1524-9050 .- 1558-0016. ; 22:4, s. 2088-2099
-
Tidskriftsartikel (refereegranskat)abstract
- With the emerging connected automated vehicles, 5G and Internet of Things (IoT), vehicles and road infrastructure become connected and cooperative, enabling Cooperative Intelligent Transport Systems (C-ITS). C-ITS are transport system of systems that involves many stakeholders from different sectors. While running their own systems and providing services independently, stakeholders cooperate with each other for improving the overall transport performance such as safety, efficiency and sustainability. Massive information on road and traffic is already available and provided through standard services with different protocols. By reusing and composing the available heterogeneous services, novel value-added applications can be developed. This paper introduces a choreography-based service composition platform, i.e. the CHOReVOLUTION Integrated Development and Runtime Environment (IDRE), and it reports on how the IDRE has been successfully exploited to accelerate the reuse-based development of a choreography-based Urban Traffic Coordination (UTC) application. The UTC application takes the shape of eco-driving services that through real-time eco-route evaluation assist the drivers for the most eco-friendly and comfortable driving experience. The eco-driving services are realized through choreography and they are exploited through a mobile app for online navigation. From specification to deployment to execution, the CHOReVOLUTION IDRE has been exploited to support the realization of the UTC application by automatizing the generation of the distributed logic to properly bind, coordinate and adapt the interactions of the involved parties. The benefits brought by CHOReVOLUTION IDRE have been assessed through the evaluation of a set of Key Performance Indicators (KPIs).
|
|
| 4. |
|
|
| 5. |
- Calinescu, Radu, et al.
(författare)
-
Synthesis and Verification of Self-aware Computing Systems
- 2017
-
Ingår i: Self-aware Computing Systems. - Cham : Springer. - 9783319474724 ; , s. 337-373
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Self-aware computing systems are envisaged to exploit the knowledge of their own software architecture, hardware infrastructure and environment in order to follow high-level goals through proactively adapting as their environment evolves. This chapter describes two classes of key enabling techniques for self-adaptive systems: automated synthesis and formal verification. The ability to dynamically synthesize component connectors and compositions underpins the proactive adaptation of the architecture of self-aware systems. Deciding when adaptation is needed and selecting valid new architectures or parameters for self-aware systems often requires formal verification. We present the state of the art in the use of the two techniques for the development of self-aware computing systems and summarize the main research challenges associated with their adoption in practice.
|
|
| 6. |
|
|
| 7. |
- Ciccozzi, Federico, 1983-, et al.
(författare)
-
Editorial to theme issue on model-driven engineering of component-based software systems
- 2019
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1374 .- 1619-1366. ; 18:1, s. 7-10
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This theme issue aims at providing a forum for disseminating latest trends in the use and combination of model-driven engineering (MDE) and component-based software engineering (CBSE). One of the main aims of MDE is to increase productivity in the development of complex systems, while reducing the time to market. Regarding CBSE, one of the main goals is to deliver and then support the exploitation of reusable “off-the-shelf” software components to be incorporated into larger applications. An effective interplay of MDE and CBSE can bring benefits to both communities: on the one hand, the CBSE community would benefit from implementation and automation capabilities of MDE, and on the other hand, MDE would benefit from the foundational nature of CBSE. In total, we received 23 submissions to this theme issue, and each submission was reviewed by at least three reviewers. Thanks to the high quality of the submissions that we received, we could eventually accept six papers for publication.
|
|
| 8. |
|
|
| 9. |
|
|
| 10. |
|
|
