PPT Slide
Context of Specification
Type
Input
Output
InConstraints
OutConstraints
Input/Output Variable Declarations
Logical Constraints on Variables
(Pre-/Post-Conditions)
Context
Data Types Used in Variable Declarations
Specification in LARKS
Service Matching Parameters:
Time, Cost, Quality, etc.
ConcDescriptions
Ontological Description of Used Words
Previous slide
Next slide
Back to first slide
View graphic version