nteroperable role-based access control model (IRBAC 2000) has solved inter-domains authentication access through role-mapping, but it may appear related conflicts in the process of role-mapping and then posing a security risk. This study introduces the conflict detection mechanism on the inter-domain of Role-Mapping process, and it is effectively and quickly detected the associated conflicts, and gives the detection algorithm and experimental verification, to improve the inter-domain security interoperable.
Software process reuse can improve the quality of software products and save the cost of software development, in order to make it more convenient for software organization to build software process model rapidly and efficiently, a method was proposed to analyze the value model which is based on the Petri net, introduces the concept of time and the implementation of value, through a specific algorithm design to provide guidance and decision-making basis for assessing the reuse of software process.
Model-driven architecture and service-oriented architecture are popular software development methods at the present, these two methods have their own advantages and disadvantages, the proposed SOA-based Model-driven Rapid Development Architecture by combining these two methods, Using colored Petri nets’ tools to study service composition methods specifically, and described five basic logical structure of service composition through formal methods, then gave out the construction method of composite services, finally, verified the effectiveness and safety of the service composition method through the modeling.
In the face of immense Web pages of WWW, how to extract valuable knowledge from the Internet is a difficult problem. The main research work of this paper was to apply FCA (Formal concept analysis) and Web terms on the Web representing the relationship between Web pages and web terms. We deeply studied how to apply Galois to Web page mining, and used the Java language to design the Web pages mining system. The system uses the constructed Galois lattice to extract potential knowledge of WWW. The results prove that the use of Galois Lattices and Web terms for Web pages mining is feasible.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.