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