位置：成果数据库 > 会议 > 会议详情页
Invariant analysis for ordering constraints of multi-view business process model
  • 所属机构名称：南京大学
  • 会议名称：SenDe, IDP, IEKB, MBC, International Workshops, APWeb 2012
  • 时间：2012
  • 成果类型：会议
  • 相关项目：面向网构软件的过程演化技术研究
作者： Ge, Jidong|Hu, Haiyang|Hu, Hao|Fei, Xianglin|
同会议论文项目
面向网构软件的过程演化技术研究
期刊论文 16 会议论文 12 专利 1
同项目会议论文
A Task Selecting Algorithm for Personal Schedules in Workflow Systems
Refactoring and publishing WS-BPEL processes to obtain more partners
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
Checking order constraints in collaborative workflow with invariant analysis
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