A petri net-based method for compatibility analysis and composition of web services in business process execution language

Keyphrases

• Petri Nets 100%
• Web Service Composition 100%
• Compatibility Analysis 100%
• Business Process Execution Language 100%
• Real Life Cases 50%
• Web Services 50%
• Service Composition 50%
• Service Workflow 50%
• Workflow Net 50%
• Automatic Composition 50%
• Service-oriented Architecture 50%
• Automatic Web Service Composition 50%
• Compositional Verification 50%
• Verification Technology 50%
• WS-BPEL 50%
• Business Process as a Service (BPaaS) 50%
• Invocation 50%
• Lightweight Methods 50%
• Colored Petri Nets 50%
• Internal Logic 50%

Computer Science

• Petri Net 100%
• Web Service 100%
• business process execution language 100%
• Business Process Execution Language 100%
• Research Direction 20%
• Service Composition 20%
• Web Service Composition 20%
• Service Oriented Architecture 20%
• Colored Petri Net 20%