User-Centric Design for Mathematical Web Services

Table 1

Sample web service operations.

WS1: Web Service: Principle Conjunctive Normal Form
Operation: PCNF
Input: expression	Data type: string
Output: lit	Data type: literal
WS2: Web Service: Symmetric Difference
Operation: SymmetricDifference
Input: operandVal; operandName; expression	Data type: array of string; Data type: array of string; Data type: string
Output: lit	Data type: literal