首页 > 最新文献

2009 Third International Conference on Genetic and Evolutionary Computing最新文献

英文 中文
Research on the Model of Similar Electronic Coursework Detection 相似电子课程作业检测模型的研究
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.27
Fu Bing
With rapid development of network technologies, many universities have realized coursework electronically in many courses. But students copy electronic coursework more and more commonly. This paper proposes two methods of anti-plagiarism plagiarism both from Internet and among students: If the source of plagiarism is from Internet, we adopt the technology based on the semantic tree similarity detection, in which distributed database and parallel computation are used. If the source of plagiarism is among students, we use a new way based on digital watermarking and information hiding technology. Our program can embed the information of originators into the characters of coursework by the watermarking algorithm with high embedding capacity. When the coursework is copied by others, the program can detect the similar parts and locate the source of plagiarism accurately.
随着网络技术的飞速发展,许多高校已经在许多课程中实现了作业电子化。但是学生抄电子作业越来越普遍。本文提出了两种反网络抄袭和学生抄袭的方法:如果抄袭源来自网络,我们采用基于语义树相似度检测的技术,其中使用分布式数据库和并行计算。如果抄袭的来源是学生,我们采用基于数字水印和信息隐藏技术的新方法。该方案通过嵌入容量大的水印算法,将发信人的信息嵌入到课程作业的字符中。当课程作业被他人抄袭时,该程序可以检测出相似的部分,并准确定位抄袭的来源。
{"title":"Research on the Model of Similar Electronic Coursework Detection","authors":"Fu Bing","doi":"10.1109/WGEC.2009.27","DOIUrl":"https://doi.org/10.1109/WGEC.2009.27","url":null,"abstract":"With rapid development of network technologies, many universities have realized coursework electronically in many courses. But students copy electronic coursework more and more commonly. This paper proposes two methods of anti-plagiarism plagiarism both from Internet and among students: If the source of plagiarism is from Internet, we adopt the technology based on the semantic tree similarity detection, in which distributed database and parallel computation are used. If the source of plagiarism is among students, we use a new way based on digital watermarking and information hiding technology. Our program can embed the information of originators into the characters of coursework by the watermarking algorithm with high embedding capacity. When the coursework is copied by others, the program can detect the similar parts and locate the source of plagiarism accurately.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126957309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Traffic Cache for Structure Peer-to-Peer Networks 结构对等网络的流量缓存
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.198
Kuisheng Lin, Ya Zhou, Guimin Huang
The rise in peer-to-peer (P2P) networking has been tremendous in last several years; a large amount of network bandwidth backbone is consumed by P2P traffic. Although many methods have been proposed to manage P2P traffic, these methods require a lot of knowledge about the workloads and are generally difficult to implement. In this paper, we propose a mechanism of traffic cache based on P2P networks and simply modify LRU algorithm to improve cache hit ratio. A series of simulation experiments on the OMNeT++ show that the mechanism can greatly increase the proportion of local area network traffic while P2P downloads are done and effectively reduce the cross-border traffic for having a good way to reduce backbone load.
点对点(P2P)网络在过去几年中迅猛发展;P2P业务占用了大量的骨干网络带宽。虽然已经提出了许多方法来管理P2P流量,但这些方法需要大量关于工作负载的知识,并且通常难以实现。本文提出了一种基于P2P网络的流量缓存机制,并对LRU算法进行简单修改以提高缓存命中率。在omnet++上进行的一系列仿真实验表明,该机制可以在P2P下载时大大提高局域网流量的比例,有效地减少了跨境流量,是降低骨干网负载的好方法。
{"title":"A Traffic Cache for Structure Peer-to-Peer Networks","authors":"Kuisheng Lin, Ya Zhou, Guimin Huang","doi":"10.1109/WGEC.2009.198","DOIUrl":"https://doi.org/10.1109/WGEC.2009.198","url":null,"abstract":"The rise in peer-to-peer (P2P) networking has been tremendous in last several years; a large amount of network bandwidth backbone is consumed by P2P traffic. Although many methods have been proposed to manage P2P traffic, these methods require a lot of knowledge about the workloads and are generally difficult to implement. In this paper, we propose a mechanism of traffic cache based on P2P networks and simply modify LRU algorithm to improve cache hit ratio. A series of simulation experiments on the OMNeT++ show that the mechanism can greatly increase the proportion of local area network traffic while P2P downloads are done and effectively reduce the cross-border traffic for having a good way to reduce backbone load.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125713507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Method of Robust Stabilization for the Delay Neural Networks with Nonlinear Perturbations 非线性扰动时滞神经网络的鲁棒镇定方法
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.126
Ruliang Wang, Hong Lei, Jin Wang
In this paper, we consider a class of time-delay dynamical systems with nonlinear perturbation. The nonlinear perturbation functions are assumed bounded. we provide a robust stabilization criterion via designing a memoryless state feedback controller for the time-delay dynamical neural networks with nonlinear perturbation. The sufficient criterion is given in terms of linear matrix inequality (LMI). The checking for robust stabilization of time-delay dynamical neural networks with nonlinear perturbation by our result can be carried out rather simply, and convenient for the application. The applicability of our results is demonstrated by means of two specific examples.
本文考虑了一类具有非线性扰动的时滞动力系统。假设非线性扰动函数是有界的。通过设计具有非线性扰动的时滞动态神经网络的无记忆状态反馈控制器,给出了鲁棒镇定判据。用线性矩阵不等式(LMI)给出了充分判据。用本文的结果对具有非线性扰动的时滞动态神经网络的鲁棒镇定性进行了简单的检验,便于应用。通过两个具体的例子证明了我们的结果的适用性。
{"title":"A Method of Robust Stabilization for the Delay Neural Networks with Nonlinear Perturbations","authors":"Ruliang Wang, Hong Lei, Jin Wang","doi":"10.1109/WGEC.2009.126","DOIUrl":"https://doi.org/10.1109/WGEC.2009.126","url":null,"abstract":"In this paper, we consider a class of time-delay dynamical systems with nonlinear perturbation. The nonlinear perturbation functions are assumed bounded. we provide a robust stabilization criterion via designing a memoryless state feedback controller for the time-delay dynamical neural networks with nonlinear perturbation. The sufficient criterion is given in terms of linear matrix inequality (LMI). The checking for robust stabilization of time-delay dynamical neural networks with nonlinear perturbation by our result can be carried out rather simply, and convenient for the application. The applicability of our results is demonstrated by means of two specific examples.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113942304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
A Mixed Unsupervised Clustering-Based Intrusion Detection Model 基于混合无监督聚类的入侵检测模型
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.72
Cuixiao Zhang, Guobing Zhang, Shanshan Sun
Through analyzing the advantages and disadvantages between anomaly detection and misuse detection, a mixed intrusion detection system (IDS) model is designed. First, data is examined by the misuse detection module, then abnormal data detection is examined by anomaly detection module. In this model, the anomaly detection module is built using unsupervised clustering method, and the algorithm is an improved algorithm of K-means clustering algorithm and it is proved to have high detection rate in the anomaly detection module.
通过分析异常检测和误用检测的优缺点,设计了一种混合入侵检测系统模型。首先通过误用检测模块对数据进行检测,然后通过异常检测模块对异常数据进行检测。在该模型中,采用无监督聚类方法构建异常检测模块,该算法是k均值聚类算法的改进算法,在异常检测模块中被证明具有较高的检测率。
{"title":"A Mixed Unsupervised Clustering-Based Intrusion Detection Model","authors":"Cuixiao Zhang, Guobing Zhang, Shanshan Sun","doi":"10.1109/WGEC.2009.72","DOIUrl":"https://doi.org/10.1109/WGEC.2009.72","url":null,"abstract":"Through analyzing the advantages and disadvantages between anomaly detection and misuse detection, a mixed intrusion detection system (IDS) model is designed. First, data is examined by the misuse detection module, then abnormal data detection is examined by anomaly detection module. In this model, the anomaly detection module is built using unsupervised clustering method, and the algorithm is an improved algorithm of K-means clustering algorithm and it is proved to have high detection rate in the anomaly detection module.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121714900","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 36
A Method of Improved BP Neural Algorithm Based on Simulated Annealing Algorithm 一种基于模拟退火算法的改进BP神经算法
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.39
Kai Bai, Jing Xiong
This paper analyses the BP algorithm in detail, including the number of hidden layer, the amount of neural node and training algorithm. In order to improve the training speed, this paper adopts the automatic and adaptive step to perfect the BP algorithm. In addition, because the traditional BP neural network is easy to trap into local minimum, this paper makes use of the characteristic of simulated annealing algorithm and let it unite with BP algorithm. Because the simulated annealing algorithm can get optimal approximation by searching local, it can help BP algorithm not to trap into local minimum.
本文对BP算法进行了详细的分析,包括隐层数、神经节点数和训练算法。为了提高训练速度,本文采用自动自适应步进对BP算法进行了改进。另外,由于传统的BP神经网络容易陷入局部极小,本文利用模拟退火算法的特点,使其与BP算法相结合。由于模拟退火算法可以通过局部搜索得到最优逼近,可以帮助BP算法避免陷入局部最小值。
{"title":"A Method of Improved BP Neural Algorithm Based on Simulated Annealing Algorithm","authors":"Kai Bai, Jing Xiong","doi":"10.1109/WGEC.2009.39","DOIUrl":"https://doi.org/10.1109/WGEC.2009.39","url":null,"abstract":"This paper analyses the BP algorithm in detail, including the number of hidden layer, the amount of neural node and training algorithm. In order to improve the training speed, this paper adopts the automatic and adaptive step to perfect the BP algorithm. In addition, because the traditional BP neural network is easy to trap into local minimum, this paper makes use of the characteristic of simulated annealing algorithm and let it unite with BP algorithm. Because the simulated annealing algorithm can get optimal approximation by searching local, it can help BP algorithm not to trap into local minimum.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123806948","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Perpendicularity Error Evaluation of an Axis Based on New Generation GPS 基于新一代GPS的轴垂直度误差评估
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.105
J. Peng, Y. Zhong, Kewei Liu, Meifa Huang
Operation and operator technologies used in new generation Geometrical Product Specifications (GPS) provide the necessary knowledge basis for digitization and standardization in verification process of geometrical products. This paper analyzes the operator formation for perpendicularity error evaluation of an axis, and presents mathematical models and the objective optimization functions of every association operation based on the minimum zone solution. A multi-population genetic algorithm based read-coded is then introduced to solve the optimization problem. The basic idea and steps of the algorithm are described in detail. Finally, the measurement process of the perpendicularity error evaluation of an axis based on real-coded multi-population genetic algorithm is realized through an example. The experiment indicates that the proposed method is efficient and feasible. The result of evaluation is accurate and unique.
新一代全球定位系统(GPS)中使用的操作和操作技术为几何产品验证过程的数字化和标准化提供了必要的知识基础。分析了坐标轴垂直度误差评价的算子构成,提出了基于最小区域解的各关联算子的数学模型和目标优化函数。然后引入基于读编码的多种群遗传算法来解决优化问题。详细介绍了该算法的基本思想和步骤。最后,通过实例实现了基于实数编码多种群遗传算法的轴垂直度误差评价的测量过程。实验表明,该方法是有效可行的。评价结果准确、独特。
{"title":"Perpendicularity Error Evaluation of an Axis Based on New Generation GPS","authors":"J. Peng, Y. Zhong, Kewei Liu, Meifa Huang","doi":"10.1109/WGEC.2009.105","DOIUrl":"https://doi.org/10.1109/WGEC.2009.105","url":null,"abstract":"Operation and operator technologies used in new generation Geometrical Product Specifications (GPS) provide the necessary knowledge basis for digitization and standardization in verification process of geometrical products. This paper analyzes the operator formation for perpendicularity error evaluation of an axis, and presents mathematical models and the objective optimization functions of every association operation based on the minimum zone solution. A multi-population genetic algorithm based read-coded is then introduced to solve the optimization problem. The basic idea and steps of the algorithm are described in detail. Finally, the measurement process of the perpendicularity error evaluation of an axis based on real-coded multi-population genetic algorithm is realized through an example. The experiment indicates that the proposed method is efficient and feasible. The result of evaluation is accurate and unique.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121357404","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Application of Particle Swarm Optimization to Seismic Location 粒子群算法在地震定位中的应用
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.48
Dong-xue Han, Gai-yun Wang
The particle swarm optimization (PSO) is an adaptive optimization based on swarm intelligence. The basic principle and the method of it being used in seismic location were introduced. To get a more accurate result, the objective function is the residual square sum of the observational travel-time and theoretical travel-time of the same earthquake return two stations. Compared with Genetic Algorithm on Seismic Location, PSO, after numerous experiments, proved its distinct superiority to locate the hypocenter more quickly and accurately. PSO is potentially useful for seismic location.
粒子群算法是一种基于群体智能的自适应优化算法。介绍了它在地震定位中的基本原理和方法。为了得到更准确的结果,目标函数为同一地震回波两个台站的观测走时与理论走时的残差平方和。与遗传算法在地震定位中的应用相比,粒子群算法在快速准确定位震源方面具有明显的优势。PSO可能对地震定位有用。
{"title":"Application of Particle Swarm Optimization to Seismic Location","authors":"Dong-xue Han, Gai-yun Wang","doi":"10.1109/WGEC.2009.48","DOIUrl":"https://doi.org/10.1109/WGEC.2009.48","url":null,"abstract":"The particle swarm optimization (PSO) is an adaptive optimization based on swarm intelligence. The basic principle and the method of it being used in seismic location were introduced. To get a more accurate result, the objective function is the residual square sum of the observational travel-time and theoretical travel-time of the same earthquake return two stations. Compared with Genetic Algorithm on Seismic Location, PSO, after numerous experiments, proved its distinct superiority to locate the hypocenter more quickly and accurately. PSO is potentially useful for seismic location.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132914490","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Application of PID with Single-Neuron Adaptive Control in Liquid Level Control 单神经元PID自适应控制在液位控制中的应用
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.66
Xiangjiao Tang, Ting-Pei Huang, Xiaoyu Liu, J. Wang
As the liquid position control system has the characteristic of a large time delay, instability and non-linear, a neural network self-adaptive PID controller based on self-adaptive PID and neural network is introduced in this paper, it can optimize and adjust the controller parameters on line. The system simulation is carried out in the end. The simulation results show that the control effect of this method has good dynamic performance, robustness and good practicality.
针对液体位置控制系统具有大时滞、不稳定和非线性的特点,本文介绍了一种基于自适应PID和神经网络的神经网络自适应PID控制器,它可以在线优化和调整控制器参数。最后进行了系统仿真。仿真结果表明,该方法具有良好的动态性能、鲁棒性和实用性。
{"title":"Application of PID with Single-Neuron Adaptive Control in Liquid Level Control","authors":"Xiangjiao Tang, Ting-Pei Huang, Xiaoyu Liu, J. Wang","doi":"10.1109/WGEC.2009.66","DOIUrl":"https://doi.org/10.1109/WGEC.2009.66","url":null,"abstract":"As the liquid position control system has the characteristic of a large time delay, instability and non-linear, a neural network self-adaptive PID controller based on self-adaptive PID and neural network is introduced in this paper, it can optimize and adjust the controller parameters on line. The system simulation is carried out in the end. The simulation results show that the control effect of this method has good dynamic performance, robustness and good practicality.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131880450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Intelligent Simulation on Phosphate in One Trough Based on Neural Network 基于神经网络的一槽磷酸盐智能模拟
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.36
Li-fang Chen, Liang Chen, Jian-tao Gu, Xiaohui Yuan
At present, phosphate in one trough is a research focus. Traditional research methods have unfavorable factors, such as time-consuming, material costs, pollution, unsafe and so on. In this paper, intelligent simulation system is constructed based on neural network. For any combination of a set of experimental data, the system can calculate the membrane weight and corrosion resistance results. Based on the calculating results, users can choose an optimizing combination data to arrange experiment for verification. The intelligent simulation methods not only resolve the huge experiments problems, but also achieve the optimal data selection, at the same time saving experiment’s resource.
单槽磷酸盐是目前研究的热点。传统的研究方法存在耗时、材料成本、污染、不安全等不利因素。本文构建了基于神经网络的智能仿真系统。对于任意组合的一组实验数据,系统可以计算出膜重和耐腐蚀性的结果。根据计算结果,用户可选择优化组合数据安排实验进行验证。智能仿真方法不仅解决了庞大的实验问题,而且实现了数据的最优选择,同时节省了实验资源。
{"title":"Intelligent Simulation on Phosphate in One Trough Based on Neural Network","authors":"Li-fang Chen, Liang Chen, Jian-tao Gu, Xiaohui Yuan","doi":"10.1109/WGEC.2009.36","DOIUrl":"https://doi.org/10.1109/WGEC.2009.36","url":null,"abstract":"At present, phosphate in one trough is a research focus. Traditional research methods have unfavorable factors, such as time-consuming, material costs, pollution, unsafe and so on. In this paper, intelligent simulation system is constructed based on neural network. For any combination of a set of experimental data, the system can calculate the membrane weight and corrosion resistance results. Based on the calculating results, users can choose an optimizing combination data to arrange experiment for verification. The intelligent simulation methods not only resolve the huge experiments problems, but also achieve the optimal data selection, at the same time saving experiment’s resource.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133365591","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Detecting Feature Interactions in Web Services with Timed Automata 用时间自动机检测Web服务中的特征交互
Pub Date : 2009-10-14 DOI: 10.1109/WGEC.2009.144
Xiangyu Luo, Aicheng Xuan, Rongsheng Dong
With the rapid development of Web services, feature interactions have become one of the critical problems in Web services composition. This paper proposes a model checking method for detecting feature interactions in Web services composition. By the proposed method, the Web services descriptions written in WS-BPEL are translated into timed automata, and then we apply a well known model checking tool UPPAAL that supports this formalism to modeling Web services composition and analyzing feature interactions. We take a particular case study, an automatic stock trading system, as an example to illustrate the effectiveness of the proposed method.
随着Web服务的快速发展,功能交互已成为Web服务组合中的关键问题之一。提出了一种用于检测Web服务组合中特征交互的模型检查方法。通过提出的方法,将用WS-BPEL编写的Web服务描述转换为时间自动机,然后应用支持这种形式化的著名模型检查工具UPPAAL对Web服务组合建模并分析功能交互。最后以股票自动交易系统为例,说明了该方法的有效性。
{"title":"Detecting Feature Interactions in Web Services with Timed Automata","authors":"Xiangyu Luo, Aicheng Xuan, Rongsheng Dong","doi":"10.1109/WGEC.2009.144","DOIUrl":"https://doi.org/10.1109/WGEC.2009.144","url":null,"abstract":"With the rapid development of Web services, feature interactions have become one of the critical problems in Web services composition. This paper proposes a model checking method for detecting feature interactions in Web services composition. By the proposed method, the Web services descriptions written in WS-BPEL are translated into timed automata, and then we apply a well known model checking tool UPPAAL that supports this formalism to modeling Web services composition and analyzing feature interactions. We take a particular case study, an automatic stock trading system, as an example to illustrate the effectiveness of the proposed method.","PeriodicalId":277950,"journal":{"name":"2009 Third International Conference on Genetic and Evolutionary Computing","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116750608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
期刊
2009 Third International Conference on Genetic and Evolutionary Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1