Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata 论文

2011Lecture notes in computer science引用 221
DOI
Business Process Modeling and AnalysisLogic, Reasoning, and KnowledgeService-Oriented Architecture and Web Services
Business Process Modeling and AnalysisLogic, Reasoning, and KnowledgeService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis
关系图谱

4

作者

2

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

威

威尔·范·德·阿尔斯特

M

Michael Westergaard

M

Marco Montali

F

Fabrizio Maria Maggi

相关技术查看全部 (2)

Service-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis

相关事件

暂无数据

相关文章

暂无数据