Login / Signup
Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets.
Yong-shang Cheng
Zhijian Wang
Congming Wang
Long-ye Tang
Ling Shang
Published in:
ALPIT (2007)
Keyphrases
</>
colored petri nets
semantic web services
web services
petri net
service discovery
semantic web technologies
web services discovery
databases
goal driven
database
domain knowledge
co occurrence