|
 |
|
|
|
|
|
|
|
|
|
|
DAML-S is just
another DAML+OIL ontology
|
|
|
è All the tools & technologies for DAML+OIL are
relevant
|
|
|
Some DAML-S
Specific Tools and Technologies:
|
|
Discovery, Matchmaking, Agent
Brokering: CMU, SRI (OAA), Stanford KSL
|
|
Automated Web Service Composition:
Stanford KSL, BBN/Yale/Kestrel,
|
|
|
CMU, MIT, Nokia, SRI
|
|
|
DAML-S Editor: Stanford KSL, SRI,
CMU (profiles), Manchester
|
|
|
Process Modeling Tools & Reasoning:
SRI, Stanford KSL
|
|
|
Service Enactment /Simulation: SRI,
Stanford KSL
|
|
|
Formal Specification of DAML-S
Operational/Execution Semantics:
|
|
|
CMU, Stanford KSL, SRI
|
|
|
|
