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

DOI10.1016/j.jcss.2019.03.001zbMath1423.68066OpenAlexW2928231652MaRDI QIDQ2424673

Filippo Mignosi, Paola Inverardi, Romina Spalazzese, Massimo Tivoli, Marco Autili

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

communicationcoordinationprotocolsinteroperabilityheterogeneous applicationsautomated mediator synthesisprotocol mismatches

Mathematics Subject Classification ID

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

Related Items

Special issue: Selected papers of the 9th international conference on language and automata theory and applications, LATA 2015

Uses Software

• LearnLib

Cites Work

• Unnamed Item
• Unnamed Item
• The internet of things: a survey
• A basic algebra of stateless connectors
• Failure-free coordinators synthesis for component-based architectures
• A discrete event systems approach for protocol conversion
• Automated Synthesis of Application-Layer Connectors from Automata-Based Specifications
• Handbook on Ontologies
• Deciding choreography realizability
• Knowledge engineering: Principles and methods
• Formal verification of parallel programs