Quality of Service (QoS) is a key factor in Web service advertising, choosing and runtime monitoring. Web service QoS is multi-faceted, fuzzy and dynamic. Current researches focus on implementation level performance a...Quality of Service (QoS) is a key factor in Web service advertising, choosing and runtime monitoring. Web service QoS is multi-faceted, fuzzy and dynamic. Current researches focus on implementation level performance assurance, ignoring domain specific or application level metrics which are also very important to service users. Industry Web service standards lack QoS expression. The support for QoS based service choice-making is very limited. We proposed an extended Web service QoS model based on configurable fuzzy synthetic evaluation system. Web service QoS is evaluated dynamically according to the service context. A QoS requirement description model is also given for service QoS requirement definition. An interactive Web service choice-making process is described, which takes QoS as a key factor when choosing from functionally equivalent services.展开更多
An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise’s ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE’s partition idea...An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise’s ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE’s partition idea, PSL is extended and new PSL Extensions is created to define the ontology of process, organization, resource and product in the PPROCE model. As a result, PPROCE model can be defined by a set of corresponding formal language. It facilitates the future work not only in the model verification, model optimization and model simulation, but also in the model translation.展开更多
The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over m...The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over multiple enterprises. The inherent characteristics of workflow system make it suitable to implement the cross organization management. This paper, firstly, proposes an inter enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce. This model has extended the standard workflow model. After that, an architecture which supports the model has been introduced, especially it details the structure and implementation of interfaces between enterprises.展开更多
An enterprise can improve its adaptability in the changing market by means of workflow technologies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow mod...An enterprise can improve its adaptability in the changing market by means of workflow technologies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling Language (UML) activity diagram is an important visual process modeling language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established. Using π-calculus, the deadlock property of workflow is analyzed.展开更多
HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can n...HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can not handle complex role resolution such as Separation of Roles and Binding of Roles, and several exception situations, such as Role Delegation and Role Unavailable. From the perspective of project-oriented workflow, a project and its sub-projects can be under the charge of teams (or virtual teams). The teams should satisfy the role resolution of the projects managed by the team. To support the above requirements, based on team-enabled organization model, this paper extended HP’s policy language to support the role resolution in project-oriented workflow, and provided its modeling and enforcement mechanism.展开更多
In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. ...In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. A comprehensive authorization model is proposed from the perspective of project management. In this model, the concept of activity decomposition and team is introduced, which improves the security of conventional role-based access control. Furthermore, policy is provided to define the static and dynamic constraints such as Separation of Duty (SoD). Validity of constraints is proposed to provide a fine-grained assignment, which improves the performance of policy management. The model is applicable not only to project-oriented workflow applications but also to other teamwork environments such as virtual enterprise.展开更多
In this paper,hyperbolic geometry is used to constructing new quantum color codes.We use hyperbolic tessellations and hyperbolic polygons to obtain them by pairing the edges on compact surfaces.These codes have minimu...In this paper,hyperbolic geometry is used to constructing new quantum color codes.We use hyperbolic tessellations and hyperbolic polygons to obtain them by pairing the edges on compact surfaces.These codes have minimum distance of at least 4 and the encoding rate near to 1,which are not mentioned in other literature.Finally,a comparison table with quantum codes recently proposed by the authors is provided.展开更多
基金Project supported by the National Natural Science Foundation of China (No. 60503041), the Hi-Tech Research and DevelopmentProgram (863) of China (No. 2004AA104340), the Chinese SemanticGrid Project, and the Science and Technology Commission ofShanghai Municipality (No. 03dz15027), China
文摘Quality of Service (QoS) is a key factor in Web service advertising, choosing and runtime monitoring. Web service QoS is multi-faceted, fuzzy and dynamic. Current researches focus on implementation level performance assurance, ignoring domain specific or application level metrics which are also very important to service users. Industry Web service standards lack QoS expression. The support for QoS based service choice-making is very limited. We proposed an extended Web service QoS model based on configurable fuzzy synthetic evaluation system. Web service QoS is evaluated dynamically according to the service context. A QoS requirement description model is also given for service QoS requirement definition. An interactive Web service choice-making process is described, which takes QoS as a key factor when choosing from functionally equivalent services.
文摘An integrated enterprise workflow model called PPROCE is presented firstly. Then, an enterprise’s ontology established by TOVE and Process Specification Language (PSL) is studied. Combined with TOVE’s partition idea, PSL is extended and new PSL Extensions is created to define the ontology of process, organization, resource and product in the PPROCE model. As a result, PPROCE model can be defined by a set of corresponding formal language. It facilitates the future work not only in the model verification, model optimization and model simulation, but also in the model translation.
文摘The goals of B2B electronic commerce and supply chain management system are to implement interoperability of independent enterprises, to smooth the information flow between them and to deploy business processes over multiple enterprises. The inherent characteristics of workflow system make it suitable to implement the cross organization management. This paper, firstly, proposes an inter enterprises workflow model based on the agreement to support the construction of supply chain management system and B2B electronic commerce. This model has extended the standard workflow model. After that, an architecture which supports the model has been introduced, especially it details the structure and implementation of interfaces between enterprises.
文摘An enterprise can improve its adaptability in the changing market by means of workflow technologies. In the build time, the main function of Workflow Management System (WFMS) is to model business process. Workflow model is an abstract representation of the real-world business process. The Unified Modeling Language (UML) activity diagram is an important visual process modeling language proposed by the Object Management Group (OMG). The novelty of this paper is representing workflow model by means of UML activity diagram. A translation from UML activity diagram to π-calculus is established. Using π-calculus, the deadlock property of workflow is analyzed.
文摘HP defines an SQL-like language to specify organizational policies (or constraints) in workflow systems. Three types of policies were studied including qualification, requirements and substitution policies which can not handle complex role resolution such as Separation of Roles and Binding of Roles, and several exception situations, such as Role Delegation and Role Unavailable. From the perspective of project-oriented workflow, a project and its sub-projects can be under the charge of teams (or virtual teams). The teams should satisfy the role resolution of the projects managed by the team. To support the above requirements, based on team-enabled organization model, this paper extended HP’s policy language to support the role resolution in project-oriented workflow, and provided its modeling and enforcement mechanism.
文摘In the context of workflow systems, security-relevant aspect is related to the assignment of activities to (human or automated) agents. This paper intends to cast light on the management of project-oriented workflow. A comprehensive authorization model is proposed from the perspective of project management. In this model, the concept of activity decomposition and team is introduced, which improves the security of conventional role-based access control. Furthermore, policy is provided to define the static and dynamic constraints such as Separation of Duty (SoD). Validity of constraints is proposed to provide a fine-grained assignment, which improves the performance of policy management. The model is applicable not only to project-oriented workflow applications but also to other teamwork environments such as virtual enterprise.
文摘In this paper,hyperbolic geometry is used to constructing new quantum color codes.We use hyperbolic tessellations and hyperbolic polygons to obtain them by pairing the edges on compact surfaces.These codes have minimum distance of at least 4 and the encoding rate near to 1,which are not mentioned in other literature.Finally,a comparison table with quantum codes recently proposed by the authors is provided.