Workflow system has become a standard solution for managing a complex business *** to guarantee its correctness is a key *** methods only focus on the control-flow verification,while they neglect the modeling and chec...
详细信息
Workflow system has become a standard solution for managing a complex business *** to guarantee its correctness is a key *** methods only focus on the control-flow verification,while they neglect the modeling and checking of *** some studies are presented to repair the data-flow errors,they do not consider the effect of delete operations or weak circulation relations on the repairing ***’s more,repairing some data-flow errors may bring in new *** order to solve these problems,we use workflow net with data(wfd-net)systems to model and analyze a workflow *** on weak behavioral relations and order relations in a wfd-net system,we formalize four kinds of data-flow *** then,we reveal the relations between these errors and organize them into a ***,we propose some new methods to repair data-flow errors in a wfd-net system based on system requirements and repair ***,a case study of campus-card recharging shows the applicability of our methods,and a group of experiments show their advantages and effectiveness.
Data is the main driver of the digital economy. Accordingly, companies are interested in maintaining technical control over the usage of their data at any given time. The International Data Spaces initiative addresses...
详细信息
ISBN:
(纸本)9789897585210
Data is the main driver of the digital economy. Accordingly, companies are interested in maintaining technical control over the usage of their data at any given time. The International Data Spaces initiative addresses exactly this aspect of data sovereignty with usage control enforcement. In this paper, we introduce the so-called Workflow with Data and Usage control network (wfdU-net) model. The data consumer can visually define his or her workflow using the wfdU-net model and annotate the data operations and context. With model checking we validate that the wfdU-net follows the usage policies defined by the data owner. Afterwards, the compliant wfdU-net can be executed by exporting the wfdU-net in a Petri net Markup Language (PNML). We evaluated our approach by using our example wfdU-net in a data analytics use case.
暂无评论