A formal approach to protocol interoperability testing.

Ruibing Hao Jianping Wu

Published in: J. Comput. Sci. Technol. (1998)

Keyphrases

formal analysis
semantic web
lightweight
web services
test cases
formal model
software testing
metadata
coloured petri nets
security protocols
formal specification
semi automatic
ontology mapping
test set
semantic interoperability
cryptographic protocols
network simulator
file transfer
information systems