Automated synthesis of application-layer connectors from automata-based specifications (Q2424673)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated synthesis of application-layer connectors from automata-based specifications |
scientific article |
Statements
Automated synthesis of application-layer connectors from automata-based specifications (English)
0 references
25 June 2019
0 references
automated mediator synthesis
0 references
interoperability
0 references
protocols
0 references
heterogeneous applications
0 references
communication
0 references
coordination
0 references
protocol mismatches
0 references
