Generating Interface Grammars From WSDL for Automated Verification of Web Services

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-10383-4_38
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Formal Framework for Automated Analysis and Verification of Web-Based Applications

English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

An AI Planning Based Approach for Automated Web Services Composition

2007English

Credibility Verification of RESTful Web Services Based on Behavior Declaration

DEStech Transactions on Computer Science and Engineering
2017English

Generating Robust Parsers Using Island Grammars

English

A Distributed Multi-Agent Planning Approach for Automated Web Services Composition

Web Intelligence and Agent Systems: An International Journal
2012English

Enhancing Interface Understandability as a Means for Better Discovery of Web Services

International Journal of Information Technology and Web Engineering
Computer Science
2016English

Automated Deduction for Verification

ACM Computing Surveys
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy