Semantic consistency verification method of semantic Web service combination
A verification method and web service technology, applied in the field of Semantic Web and Web services, can solve problems such as not allowing arcs, no quality of service non-functional attribute verification analysis, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0073] Described method is realized by following steps successively:
[0074] Step (1), initialization
[0075] Construct the storage unit of the semantic Web service coloring Petri net model to be verified, the model is an octet, expressed as SWS-net,
[0076] SWS-net=(CPN, DT, DV, P in , P out , H in , H out , R),
[0077] CPN is defined as a colored Petri net, expressed as CPN, which is a six-tuple used to describe the state change in the process, CPN=(∑, P, T, F, C, E), where:
[0078] ∑ is a collection of colors, representing the different colors of the token. The token refers to the dynamic object in the storehouse. The position of the token refers to the current state of the storehouse where the token is located.
[0079] P is a collection of places, representing all places in the Petri net model, places represent different states,
[0080] T is a collection of transitions, representing all transitions in the Petri net model. Transitions represent events, transfo...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com