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
关系图谱

Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata · 相关事件

暂无数据