Search Requires Understanding Use

---

• Does the service result in a flight being booked? In food being ordered?
  Postconditions (Effects) can state this information.
• Can "I" use this service? Am I 18? Do I have an $80 order?
  Preconditions can state this information.
• What are the terms used in the service?
  Axioms can related service terms to pre- and postconditions and to taxonomies of the service directory.
• Such a representation + distributed search allowed by Infomaster allows for development of UDDI++, or UDR (UDDI Done Right).

---

---

cjp