Search

The consistency of the workflow network model is related to the matching semantics of the elements in the model, but in real life, multiple models with one or more activities have the same effect everywhere, so how to calculate consistency of two models under such overlapping correspondence has become a problem. For this condition, we should analyze overlapping correspondence due to the influence of overlapping correspondences. In this paper we obtain the relations of transitions based on relation profiles we proposed before, and build a behavioral matrix of relations. Based on the partner matrix of behavioral matrix, we express different overlapping correspondences, and define a new formula to compute the consistency degree of two Workflow nets based on overlapping correspondence. Additionally, this paper utilizes some examples and proofs to show these definitions, computation as well as the advantages.

We present a novel approach for the specification and enforcement of authorizations that enables controlled data sharing for collaborative queries in the cloud. Data authorities can establish authorizations regulating access to their data distinguishing three visibility levels (no visibility, encrypted visibility, and plaintext visibility). Authorizations are enforced accounting for the information content carried in the computation to ensure no information is improperly leaked and adjusting visibility of data on-the-fly. Assignment of operations to subjects takes into consideration the cost of operation execution as well as of the encryption/decryption operations needed to make the assignment authorized. Our approach enables users and data authorities to fully enjoy the benefits and economic savings of the competitive open cloud market, while maintaining control over data. [ABSTRACT FROM AUTHOR]