Formal semantics and analysis of control flow in WS-BPEL 论文

2007Science of Computer Programming引用 341
DOI
Service-Oriented Architecture and Web ServicesBusiness Process Modeling and AnalysisPetri Nets in System Modeling
Business Process Modeling and AnalysisPetri Nets in System ModelingService-Oriented Architecture and Web Services
相关技术:Petri Nets in System ModelingService-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis
关系图谱

6

作者

3

相关技术

0

相关事件

0

相关文章

作者查看全部 (6)

A

Arthur H. M. ter Hofstede

M

Marlon Dumas

S

Stephan Breutel

威

威尔·范·德·阿尔斯特

相关技术查看全部 (3)

Petri Nets in System ModelingService-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis

相关事件

暂无数据

相关文章

暂无数据