| Expressiveness
& Semantics |
|
|
|
|
|
|
|
|
|
| Problem: DAML+OIL has a well-defined semantics,
but |
||||||||
| it is not sufficiently
expressive to characterize all and only |
||||||||
| the intended
interpretations of DAML-S. |
||||||||
| Solution 1: |
||||||||
| A. | Distributed
operational semantics via Petri Nets. |
|||||||
| B. | Interleaving
function-based operational semantics w/ |
|||||||
| subtype
polymorphism. |
||||||||
