requirement. Furthermore, programming using sequence constructs normally produce nested structures and The current approachfor modeling synchronization in scattered code, especially under the existence of business processes relies on sequencing constructs, such concurrency [21]. As a result, there is no easy way to add as sequence, parallel etc. However, sequencing constructs or delete a constraint in a process without over-specifying obfuscate the true source of dependencies in a business necessary constraints or invalidating existing ones. process. Moreover, because of the nested structure and In this paper, we describe a synchronization modeling scattered code that results from using sequencing approach for business processes in which dependencies sconsteruct it is hard to add or delete additional are first-class citizens, explicitly modeled to guide activityconstructs, ithardove r netesaryiconal scheduling. This dependency-equal-to-scheduling style is constraints without over-speci...
Qinyi Wu, Calton Pu, Akhil Sahai, Roger S. Barga