 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Related
Industrial Initiatives
|
|
|
• |
UDDI •
ebXML
|
|
|
|
• |
WSDL •
.Net
|
|
|
|
• |
XLANG •
Biztalk, e-speak, etc
|
|
|
These XML-based
initiatives are currently complementary to DAML-S.
|
DAML-S intends
to build on top of these efforts enabling increased
|
|
expressiveness,
semantics, inference that enables automation.
|
|
|
Related
Academics Efforts
|
|
|
|
• |
Process Algebras (e.g., Pi Calculus)
|
|
|
|
• |
Process Specification Language (Hoare
Logic, PSL)
|
|
|
|
• |
Planning Domain Definition Language
(PDDL)
|
|
|
|
• |
Business Process Modeling (e.g., BMPL)
|
|
|
|
• |
OntoWeb Process
Modeling Effort
|
|
