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.