Solution Dortmund/Potsdam Synthesis
From SWS Challenge Wiki
This site is in a constant state of change! last update: 10/09/2008
Contents |
[edit]
Contact Information
If you have any additional questions regarding the described solutions do not hesitate to contact a member of our team:
[edit]
Papers describing the solutions
The following papers cover our participation in the SWS-Challenge:
- Fourth workshop (Innsbruck, 2007) full paper A first solution to the mediation scenario #1 using an algorithm to synthesize the mediator using temporal logic constraints and data flow annotations (see Solution by the team from University of Dortmund and University of Potsdam, Germany in addition as the technology described there is being reused).
[edit]
How to get the running solutions
- Synthesized Mediation #1 Part 1 Web Service
- Mediation #1 Part 2 Web Service
- Mediation #1 Part 3 Daemon
- jABC Service Framework Installer (Win/Linux or Mac)
[edit]
Solution to Mediation Scenario #1 using synthesis algorithm
[edit]
Synthesis contraints
- F(AddLineItemLoop)
- NOT(AddLineItemLoop) WU CreateNewOrder
- NOT(CreateNewOrder) WU searchCustomer
- F(closeOrder)
- F(SaveItemsNoAndPOR)
- NOT(ProvideSearchCustomerType) WU SaveStartTime
- NOT(closeOrder) WU ProvideCloseOrderType
[edit]
Synthesis type mapping
[edit]
Service offers
- Automatically generated services
- Manually implemented services
- Dedicated synthesis services
- Web Service framework handler
[edit]
Data type descriptions
[edit]
Data flow models
[edit]
Mediation 1/1 synthesized
[edit]
The synthesis process
