Fluent Calculus-Based Semantic Web Service Composition and Verification Using WSSL

Keyphrases

• Fluent Calculus 100%
• Semantic Web Service Composition 100%
• Web Service Verification 100%
• Verification Process 50%
• Specification Language 50%
• Non-deterministic 50%
• Language-based 50%
• Execution Time 50%
• Service Specification 50%
• Control Construct 50%
• Semantic Web Services 50%
• Ramification Problem 50%
• Qualification Problem 50%
• Verification Framework 50%
• Composition Framework 50%
• Frame Problem 50%
• Termination Time 50%

Computer Science

• Fluent Calculus 100%
• Web Service Composition 100%
• Semantic Web Service 100%
• Service Verification 100%
• Verification Process 50%
• Specification Language 50%
• Indirect Effect 50%
• Execution Time 50%
• Service Specification 50%
• Exploit Framework 50%
• Qualification Problem 50%
• Ramification Problem 50%

Engineering

• Execution Time 100%
• Indirect Effect 100%