Automatic verification of data-centric business processes 论文

2009引用 218
DOIPDF
Business Process Modeling and AnalysisService-Oriented Architecture and Web ServicesSemantic Web and Ontologies
Semantic Web and OntologiesBusiness Process Modeling and AnalysisService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis
关系图谱

Automatic verification of data-centric business processes · 作者

V

Victor Vianu

F

Fabio Patrizi

R

Richard Hull

A

Alin Deutsch