Mathematical Representations for Web Services
Abstract
Specifying at a technical level the semantic content of computational models and the services they may provide requires mathematical descriptions. Computer source code, such as C, C++, or Java, provides, at an algorithmic level, a relatively primitive form of unambiguous, mathematical specification. These computer languages are not as useful for specifying requirements, exposing assumptions, validating that designs satisfy required global properties, or for verifying that implementations conform to the design and requirements. The outward mathematical properties of software services may be documented in natural language, but they are not generally documented in machine-readable form. Much work has been done during the last twenty years in a variety of concurrent efforts to bring about the ability to write machine-readable, formal, representations of mathematical concepts. These may be used to represent various forms of mathematical knowledge, including mathematical specifications of software objects. We discuss how these ideas may be so applied.
Document Details
- Document Type
- Technical Report
- Publication Date
- Apr 01, 2005
- Accession Number
- ADA638039
Entities
People
- Joseph B. Collins
Organizations
- United States Naval Research Laboratory