|
Volumn 1, Issue , 2008, Pages 473-476
|
Petri net based web service interactive behavior compatibility analysis
|
Author keywords
Behavior compatibility; Petri Nets; Reachable tree; Service composition; Virification; Web service
|
Indexed keywords
FORESTRY;
INFORMATION MANAGEMENT;
PETRI NETS;
WEBSITES;
BEHAVIOR COMPATIBILITY;
COMPATIBILITY ANALYSIS;
INTERACTIVE BEHAVIOR;
REACHABLE TREE;
SERVICE COMPOSITIONS;
VERIFICATION OF SERVICES;
VIRIFICATION;
WEB SERVICES COMPOSITION;
WEB SERVICES;
|
EID: 70350155248
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/ISBIM.2008.106 Document Type: Conference Paper |
Times cited : (2)
|
References (12)
|