No abstract

No abstract

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.