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
Antonio Brogi,Stefano Forti +1 more
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
Antonio Brogi,Razvan Popescu +1 more
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.