Automated synthesis of application-layer connectors from automata-based specifications

DOI10.1016/J.JCSS.2019.03.001MaRDI QIDQ2424673zbMATH OpenOpenAlexFDO

Authors Marco Autili, P. Inverardi, Romina Spalazzese, Massimo Tivoli, Filippo Mignosi

Publication date 25 June 2019

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jcss.2019.03.001

zbMATH Keywords

automated mediator synthesiscommunicationcoordinationheterogeneous applicationsinteroperabilityprotocol mismatchesprotocols

Mathematics Subject Classification ID

Network protocols (68M12) Distributed systems (68M14) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Automated synthesis of application-layer connectors from automata-based specifications
• Mediator Synthesis in a Component Algebra with Data
• Automated Technology for Verification and Analysis
• Interface synthesis and protocol conversion
• The synthesis of communication protocols

Cites work

• A basic algebra of stateless connectors
• A discrete event systems approach for protocol conversion
• Automated synthesis of application-layer connectors from automata-based specifications
• Deciding choreography realizability
• Failure-free coordinators synthesis for component-based architectures
• Formal verification of parallel programs
• Handbook on ontologies
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Knowledge engineering: Principles and methods
• The internet of things: a survey

Cited in

(3)

• Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015
• Automated synthesis of application-layer connectors from automata-based specifications
• Automated Synthesis of Protocol Converters with BALM-II

Describes a project that uses

Uses Software

• LearnLib

This page was built for publication: Automated synthesis of application-layer connectors from automata-based specifications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2424673)