Previous

Point 10: Simplification via Abstraction

---

• Use simple and well-studied formalisms as basis for Web Services.
• Think of how the Semantic Web and Web Services fits into things many already understand - such as Web-scale types and programming languages.
• Formal Semantics for Implementation: pi calculus
• Formal Semantics for Most Users: typed lambda calculus
• Semantic Web Ontologies: Types
• Service Discovery: Logical Programming
• Service Composition: Functional Programming
• This transforms the Web from a universal information space to a universal computation space.