As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new appro...As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.展开更多
The uncertainty of time, quantity and quality of recycling products leads tothe bad stability and flexibility of remanufacturing logistics networks, and general design onlycovered the minimizing logistics cost, thus, ...The uncertainty of time, quantity and quality of recycling products leads tothe bad stability and flexibility of remanufacturing logistics networks, and general design onlycovered the minimizing logistics cost, thus, robust design is presented here to solve theuncertainty. The mathematical model of remanufacturing logistics networks is built based onstochastic distribution of uncontrollable factors, and robust objectives are presented. Theintegration of mathematical simulation and design of experiment method is performed to do sensitiveanalysis. The influence of each factor and level on the system is investigated, and the main factorsand optimum combination are studied. The numbers of factors, level of each factor and designprocess of experiment are investigated as well. Finally, the process of robust design based ondesign of experiment is demonstrated by a detailed example.展开更多
Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of wor...Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.展开更多
Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web system...Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web systems. This study presents a model for Web-based software development for analysis and design phases based on the ISO/IEC 12207 standard. It describes the methods used to define processes and entities in order to reflect the contents in Web applications. It applies the methodology of Web-Road Map by KCC Information and Technology using this model to the public project. As a result, Web-Road Map is proven to be an efficient model to analyze and design Web-applications.展开更多
文摘As a variant of process algebra, π calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π calculus, thus facilitating the optimization of business processes.
基金This project is supported by Provincial Natural Science Foundation of Shanghai, China (No. 02ZH14060).
文摘The uncertainty of time, quantity and quality of recycling products leads tothe bad stability and flexibility of remanufacturing logistics networks, and general design onlycovered the minimizing logistics cost, thus, robust design is presented here to solve theuncertainty. The mathematical model of remanufacturing logistics networks is built based onstochastic distribution of uncontrollable factors, and robust objectives are presented. Theintegration of mathematical simulation and design of experiment method is performed to do sensitiveanalysis. The influence of each factor and level on the system is investigated, and the main factorsand optimum combination are studied. The numbers of factors, level of each factor and designprocess of experiment are investigated as well. Finally, the process of robust design based ondesign of experiment is demonstrated by a detailed example.
文摘Nowadays an increasing number of workflow products and research prototypes begin to adopt XML for representing workflow models owing to its easy use and well understanding for people and machines. However, most of workflow products and research prototypes provide the few supports for the verification of XML-based workflow model, such as free-deadlock properties, which is essential to successful application of workflow technology. In this paper, we tackle this problem by mapping the XML-based workflow model into Petri-net, a kind of well-known formalism for modeling, analyzing and verifying system. As a result, the XML-based workflow model can be automatically verified with the help of general Petri-net tools, such as DANAMICS. The presented approach not only enables end users to represent workflow model with XML-based modeling language, but also the correctness of model can be ensured, thus satisfying the needs of business processes.
文摘Despite a short history of the Web development, Web-related technologies are rapidly develop- ing. However, the Web application quality is improving slowly, which requires efficient methods for devel- oping Web systems. This study presents a model for Web-based software development for analysis and design phases based on the ISO/IEC 12207 standard. It describes the methods used to define processes and entities in order to reflect the contents in Web applications. It applies the methodology of Web-Road Map by KCC Information and Technology using this model to the public project. As a result, Web-Road Map is proven to be an efficient model to analyze and design Web-applications.
