           |
Connect D1.1 Dry-run Files
Overview
The files below are a product of the top-down exercise performed using the "popcorn scenario" as part of the Connect project. These were used by the various partners as inputs and outputs.
Interface Descriptions
- Lime Consumer WSDL [pdf]
- Lime Merchant WSDL [pdf]
- UPnP/SOAP Merchant WSDL [pdf]
Abstract Machine Models
Results from Learning
- Lime Consumer Mealy Machine [dot as pdf, diagram as pdf]
- Lime Consumer LTS [dot as pdf, diagram as pdf]
- Lime Merchant Mealy Machine [dot as pdf, diagram as pdf]
- Lime Merchant LTS [dot as pdf, diagram as pdf]
- Tuple Space Mealy Machine [dot as pdf, diagram as pdf]
- Tuple Space Reduced Mealy Machine [dot as pdf, diagram as pdf]
- Tuple Space Reduced LTS [dot as pdf, diagram as pdf]
- UPnP/SOAP Consumer Mealy Machine [dot as pdf, diagram as pdf]
- UPnP/SOAP Consumer LTS [dot as pdf, diagram as pdf]
- UPnP/SOAP Merchant Mealy Machine [dot as pdf, diagram as pdf]
- UPnP/SOAP Merchant LTS [dot as pdf, diagram as pdf]
Inputs assumed by Synthesis
- Lime Consumer LTS [pdf]
- UPnP/SOAP Merchant LTS [pdf]
- Ontology Mapping between messages used by UPnP/SOAP Merchant and Lime Consumer [pdf]
Results of Connector Synthesis
- Connector between Lime Consumer and UPnP/SOAP Merchant [pdf]
|
