|
Volumn 4102 LNCS, Issue , 2006, Pages 458-464
|
A hybrid approach for generating compatible WS-BPEL partner processes
|
Author keywords
Behavioral Compatibility; Business Process Modeling; Petri nets; Tool based Verification; Web Service; WS BPEL
|
Indexed keywords
ADMINISTRATIVE DATA PROCESSING;
COMPUTATIONAL METHODS;
COMPUTER SIMULATION;
INFORMATION SERVICES;
MATHEMATICAL MODELS;
PETRI NETS;
WORLD WIDE WEB;
BEHAVIORAL COMPATIBILITY;
BUSINESS PROCESS EXECUTION LANGUAGE;
BUSINESS PROCESS MODELING;
TOOL BASED VERIFICATION;
WEB SERVICES;
COMPUTER PROGRAMMING LANGUAGES;
|
EID: 33749992390
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/11841760_39 Document Type: Conference Paper |
Times cited : (10)
|
References (8)
|