scispace - formally typeset
A

Antonio Brogi

Researcher at University of Pisa

Publications -  277
Citations -  5153

Antonio Brogi is an academic researcher from University of Pisa. The author has contributed to research in topics: Logic programming & Cloud computing. The author has an hindex of 30, co-authored 246 publications receiving 4533 citations. Previous affiliations of Antonio Brogi include University of Málaga.

Papers
More filters
Journal ArticleDOI

QoS-Aware Deployment of IoT Applications Through the Fog

TL;DR: A simple, yet general, model to support the QoS-aware deployment of multicomponent IoT applications to Fog infrastructures is proposed and a Java tool, FogTorch, based on the proposed model has been prototyped.
Journal ArticleDOI

A formal approach to component adaptation

TL;DR: A formal methodology for adapting components with mismatching interaction behaviour, with a simple, high-level notation for expressing adaptor specifications, and a fully automated procedure to derive concrete adaptors from given high- level specifications.
Journal ArticleDOI

Cloud Container Technologies: A State-of-the-Art Review

TL;DR: A discussion of agreed and emerging concerns in the container orchestration space is discussed, positioning it within the cloud context, but also moving it closer to current concerns in cloud platforms, microservices and continuous development.
Journal ArticleDOI

Formalizing Web Service Choreographies

TL;DR: This paper shows how to check whether two or more Web services are compatible to interoperate or not, and, if not, whether the specification of adaptors that mediate between them can be automatically generated, enabling the communication of (a priori) incompatible Web services.
Journal Article

Automated generation of BPEL adapters

TL;DR: This paper presents a methodology for the automated generation of (service) adapters capable of solving behavioural mismatches among BPEL processes that builds (if possible) a BPEL process that allows the two processes to successfully interoperate.