The Deductive Synthesis Aproach
Begin with Goals/Constraints of Business Logic
First use to create
P
0
in product
T0
Try to capture changed business logic/services/objects of Customer
Synthesize new P
'
1
using that logic
Guide synthesis using P
'
0
In the simple case, this is trivial.
But inputs/outputs may be very different.
Particular approach, with required semantics at
"Planning Process Instances with Web Services"
The paper is at
http://logic.stanford.edu/sharing/papers/ICIS09-serviceplanning.pdf
©2009
Charles Petrie
- permission to reproduce widely with attribution
