Behavioral Compatibility Analysis for Context-independent Service Substitution
2012 Seventh ChinaGrid Annual Conference（2012）
Key words
new composite service,new service,service composition,service substitution verification,web service process,behavioral compatibility,context-dependent behavioral substitutability analysis,temporal constraint,temporal constraints generation,Petri net,Behavioral Compatibility Analysis,Context-independent Service Substitution
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined