High level Petri nets have been extensively used for system modeling; however their strong expressive power cost their analyzability. Currently, there are no effective general formal analysis techniques for high level Petri nets. Fortunately, high level Petri nets are executable and as a result they can be tested. In recent years, some theoretical testing adequacy coverage measurements have been proposed. In this paper, we propose an approach to validate the above theoretical results through experiments using the simulation functionality of the model checker Spin.

No abstract

No abstract

One of the main approaches to accessing heterogeneous data is via the use of a mediation framework. The current problem with mediation systems is that they are viewed as black boxes from the perspective of their clients. As clients enter their data, they are unable to control the access to their data from entities within the mediation system. In this paper we present a solution in the form of a security framework, named Collaboration Security Framework that addresses the needs of all entities, i.e. external clients, mediators or data sources, to have autonomy in applying security policies during collaboration. As a result all entities participating in a collaboration have control over the access to their data by applying local, global and collaboration channel security rules, which can be changed at runtime and that are security model independent.

No abstract