M
Marco Autili
Researcher at University of L'Aquila
Publications - 95
Citations - 1562
Marco Autili is an academic researcher from University of L'Aquila. The author has contributed to research in topics: Choreography & The Internet. The author has an hindex of 21, co-authored 95 publications receiving 1424 citations.
Papers
More filters
Journal ArticleDOI
Service-oriented middleware for the Future Internet: state of the art and research directions
Valérie Issarny,Nikolaos Georgantas,Sara Hachem,Apostolos V. Zarras,Panos Vassiliadist,Marco Autili,Marco Aurélio Gerosa,Amira Ben Hamida +7 more
TL;DR: This article focuses on research challenges for service-oriented middleware design, investigating service description, discovery, access, and composition in the Future Internet of services.
Journal ArticleDOI
Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar
TL;DR: A comprehensive framework combining qualitative, real-time, and probabilistic property specification patterns has remained elusive and a unified catalogue is presented that combines all known plus 40 newly identified or extended patterns.
Journal ArticleDOI
Graphical scenarios for specifying temporal properties: an automated approach
TL;DR: A scenario-based visual language called Property Sequence Chart (PSC) is presented that, in this opinion, fixes the highlighted lacks of these notations by extending a subset of UML 2.0 Interaction Sequence Diagrams and has been validated with respect to well known property specification patterns.
Proceedings ArticleDOI
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems
TL;DR: SYNTHESIS is a tool for automatically assembling correct and distributed component-based systems that takes as input an high-level behavioural description for each component that must form the system to be built and a specification of the component interactions that must be enforced in the system.
Book ChapterDOI
Context-Aware Adaptive Services: The PLASTIC Approach
TL;DR: This paper describes the approach to context-aware adaptive services within the IST PLASTIC project and makes use of Chameleon, a formal framework for adaptive Java applications.