Sciweavers

7288 search results - page 60 / 1458
» On process rate semantics
Sort
View
ICWS
2004
IEEE
15 years 5 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,...
ICWS
2004
IEEE
15 years 5 months ago
Mapping a Business Process Model to a Semantic Web Service Model
Li Guo, Yun-Heh Chen-Burger, David Robertson
DPD
2010
105views more  DPD 2010»
15 years 4 months ago
Beyond soundness: on the verification of semantic business process models
Ingo Weber, Jörg Hoffmann, Jan Mendling