In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and eval...In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.展开更多
Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluati...Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluation Process Algebra(Bio-PEPA). The formal modelling of cloud services is formally modded by Bio-PEPA and the modules are transformed between cloud service internal structures and various components. Then, the security adaptive target detection algorithm of cloud service is divided into two processes, the short-term optimal action selection process which selects the current optimal detective action through the iterative operation of the expected function and the adaptive function, and the long-term detective strategy realized through the updates and eliminations of action planning table. The combination of the two processes reflects the self-adaptability of cloud service system to target detection. The simulating test detects three different kinds of security risks and then analyzes the relationship between the numbers of components with time in the service process. The performance of this method is compared with random detection method and three anomaly detection methods by the cloud service detection experiment. The detection time of this method is 50.1% of three kinds of detection methods and 86.3% of the random detection method. The service success rate is about 15% higher than that of random detection methods. The experimental results show that the algorithm has good time performance and high detection hit rate.展开更多
将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应...将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信特性.展开更多
The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for softwa...The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment.展开更多
Smart environment is being used in many areas to deliver more services to individuals in a physical space, such as a hospital. In the UK, the National Health Service(NHS) provides free and high quality healthcare serv...Smart environment is being used in many areas to deliver more services to individuals in a physical space, such as a hospital. In the UK, the National Health Service(NHS) provides free and high quality healthcare service for all residents. Smart hospital environment is able to support NHS and provide more convenience. Patient flow scheduling is a crucial section in a smart hospital environment. Smart hospital environment aims to provide a smart environment in the hospital to facilitate individual experience and improve the quality of healthcare service.First of all, this paper investigates a real world patient flow scenario of a hospital in the UK and models a general scheduling scheme based on the scenario using a compositional formal approach, i.e. performance evaluation process algebra(PEPA). This scheduling scheme uses an easy-implemented solution(the grouping scheme) to reduce the waiting queue in the hospital. Secondly, fluid flow analysis is used for the performance analysis by generating a set of ordinary differential equations(ODEs) in terms of the PEPA model.展开更多
基金Sponsored by the National High-Tech.R&D Program for CIMS,China(Grant No.2007AA04Z146)
文摘In order to improve the influence of the uncertain and dynamic of node enterprise behavior on the performance of supply chain,the method based on stochastic process algebra for description,analysis,validation and evaluation of supply chain business process model is proposed.Firstly,the description of the uncertainty of node enterprise behavior is given using the extended Unified Modeling Language sequence diagram,and mapping rule is defined from the extended Unified Modeling Language sequence diagram to stochastic process algebra.Secondly,on the basis of the acquired stochastic process algebra model,the supply chain business process model is verified with Mobility Workbench.Finally,according to the operational semantics of stochastic process algebra,the continuous-time Markov chain,isomorphic with stochastic process algebra model,is built; and the system performance evaluation of transient status and stable status is respectively conducted in accordance with Markov transfer relations and the current state of system,obtaining the predicted performance value and average performance index value for a specific period of time.The simulation experiments show that the proposed method can accurately describe the stochastic behaviors of supply chain system and interactions among nodes,effectively verify the validity of the model,and objectively and exactly evaluate design of the supply chain.
基金Supported by the National Natural Science Foundation of China(61202458,61403109)the Natural Science Foundation of Heilongjiang Province of China(F2017021)and the Harbin Science and Technology Innovation Research Funds(2016RAQXJ036)
文摘Combining the principle of antibody concentration with the idea of biological evolution, this paper proposes an adaptive target detection algorithm for cloud service security based on Bio-Inspired Performance Evaluation Process Algebra(Bio-PEPA). The formal modelling of cloud services is formally modded by Bio-PEPA and the modules are transformed between cloud service internal structures and various components. Then, the security adaptive target detection algorithm of cloud service is divided into two processes, the short-term optimal action selection process which selects the current optimal detective action through the iterative operation of the expected function and the adaptive function, and the long-term detective strategy realized through the updates and eliminations of action planning table. The combination of the two processes reflects the self-adaptability of cloud service system to target detection. The simulating test detects three different kinds of security risks and then analyzes the relationship between the numbers of components with time in the service process. The performance of this method is compared with random detection method and three anomaly detection methods by the cloud service detection experiment. The detection time of this method is 50.1% of three kinds of detection methods and 86.3% of the random detection method. The service success rate is about 15% higher than that of random detection methods. The experimental results show that the algorithm has good time performance and high detection hit rate.
文摘将现有入侵容忍、自毁技术与自律计算相结合,提出了一种基于SM-PEPA(semi-Markov performance evaluation process algebra)的关键任务系统自律可信性模型以支持形式化分析和推理.该模型具有一定程度的自管理能力,采用分级处理的方式应对各种程度的可信性威胁,满足了关键任务系统对可信性的特殊需求.在此基础上,从稳态概率角度提出了一种自律可信性度量方法.最后,结合具体实例对模型参数对自律可信性的影响进行了初步分析.实验结果表明,增大关键任务系统可信性威胁检测率和自恢复成功率,可在较大范围内提高系统的自律可信特性.
文摘The software architecture is a design of application system,performance evaluation of software architecture during the early stage of their development is really attractive. This paper proposes a new method for software architecture performance modeling. To achieve this ,it adds new calculus into stochastic process algebra(SPA in short),the developed SPA called extended stochastic process algebra (ESPA in short). By ESPA,performance evaluation and software architecture modeling can combine perfectly. It defines a few performance terms for software architecture using reward structure derived from ESPA. To explain the performance terms it also designs an experiment.
基金the National Natural Science Foundation of China(Nos.61502206 and 61472343)the Natural Science Foundation of Jiangsu Province(Nos.BK20160543 and BK20150523)the Open Project of Key Laboratory of Jiangsu Province(No.BM20082061507)
文摘Smart environment is being used in many areas to deliver more services to individuals in a physical space, such as a hospital. In the UK, the National Health Service(NHS) provides free and high quality healthcare service for all residents. Smart hospital environment is able to support NHS and provide more convenience. Patient flow scheduling is a crucial section in a smart hospital environment. Smart hospital environment aims to provide a smart environment in the hospital to facilitate individual experience and improve the quality of healthcare service.First of all, this paper investigates a real world patient flow scenario of a hospital in the UK and models a general scheduling scheme based on the scenario using a compositional formal approach, i.e. performance evaluation process algebra(PEPA). This scheduling scheme uses an easy-implemented solution(the grouping scheme) to reduce the waiting queue in the hospital. Secondly, fluid flow analysis is used for the performance analysis by generating a set of ordinary differential equations(ODEs) in terms of the PEPA model.