Facilitation of computation services
Component software architecture (ease of programming)
Tractable specifications
- Machine-aided interconnection through machine-readable specifications
- Ontology for mathematical computation
Reliable, robust, behavior
- easy to connect components
- simple, correct numerical behavior