Abstract: As compared with large-scale infrastructures with much attention in the design, construction, and operation, there are a huge number of small-scale infrastructures with a relatively lower ...
Since the data-aware business process usually covers the control flow and data flow, and both of them have a direct impact on its execution, it is challenging to ensure its correctness. In this ...