Formal Aspects for Semantic Service Modeling Based on High-Level Petri Nets.

Michael Köhler Jan Ortmann

Published in: CIMCA/IAWTIC (2005)

Keyphrases

management system
formal models
web service discovery
domain specific
semantic information
petri net
dynamic aspects
semantic web
semantic similarity
formal model
service oriented architecture
service discovery
web services discovery
high level petri nets