时序约束下Guard-Stage-Milestone业务模型的一致性验证与异常处理

杜彦华, 于泽

Consistency validation and modification of Guard-Stage-Milestone models under temporal constraints

DU Yanhua, YU Ze

系统工程理论与实践 . 2016, (8): 2108 -2126 . DOI: 10.12011/1000-6788(2016)08-2108-19