位置：成果数据库 > 会议 > 会议详情页
Checking order constraints in collaborative workflow with invariant analysis
  • 所属机构名称：南京大学
  • 会议名称：Workshops on Web Information Systems Engineering, WISE 2010: 1st International Symposium on Web Inte
  • 时间：2011
  • 成果类型：会议
  • 相关项目：面向网构软件的过程演化技术研究
作者： Ge, Jidong|Hu, Haiyang|
同会议论文项目
面向网构软件的过程演化技术研究
期刊论文 16 会议论文 12 专利 1
同项目会议论文
A Task Selecting Algorithm for Personal Schedules in Workflow Systems
Refactoring and publishing WS-BPEL processes to obtain more partners
Invariant analysis for ordering constraints of multi-view business process model
Safe regression test selection based on program dependence graphs
Global-time-offsets based checkpoint selection for dynamic verification of fixed-time constraints in
A new process mining algorithm based on event type
Do Data Dependencies in Source Code complement Call Dependencies for Understanding Requirements Trac
Migration Validity of WS-BPEL Instances Revisited
Public-view and Object Petri net based Modeling of Cross-organizational Process
Supporting Flexibility of the CMMI Process Framework with a Multi-layered Process Model
Dynamic Prediction of Deadlines in Time-Constrained Workflows