| Process
Model: Recent
evolution |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| • | Conditional
outputs & effects |
|||||||||||||
| • | Parameter
bindings |
|||||||||||||
| <rdf:Description
rdf:about="#FullCongoBuy"> |
||||||||||||||
| <sameValues
rdf:parseType="daml:collection"> |
||||||||||||||
| <ValueOf
atClass="#FullCongoBuy“ |
||||||||||||||
|
theProperty="#fullCongoBuyBookISBN"/> |
||||||||||||||
| <ValueOf
atClass="#LocatedBookOutput“ |
||||||||||||||
|
theProperty="outInCatalogBookISBN"/> |
||||||||||||||
| <ValueOf
atClass="#CongoBuyBook“ |
||||||||||||||
|
theProperty="#congoBuyBookISBN"/> |
||||||||||||||
| </sameValues> |
||||||||||||||
| č Pushing the limits of DAML+OIL expressiveness |
||||||||||||||
