%0 Journal Article
%T Automated Detection Method for Web Services Feature Interaction<br>一种Web服务特征交互自动检测方法
%A LUO Xiang-yu
%A TAN Zheng
%A DONG Rong-sheng
%A <br>骆翔宇
%A 谭征
%A 董荣胜
%J 计算机科学
%D 2010
%I 
%X 模型检测技术可有效验证Web服务组合的异常情况，如特征交互问题等，但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度，需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上，提出BPEI、活动执行的形式化模型，给出活动执行语义，进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法，这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明，提出的算法可以有效验证Web服务中的特征交互问题，而且支持认知逻辑规范的验证。
%K Model checking
%K Web service composition
%K Feature interaction
%K BPEL<br>模型检测，Web服务组合，特征交互，BPEI
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=C41EA4C4A1097906D6776E6481117466&yid=140ECF96957D60B2&vid=42425781F0B1C26E&iid=59906B3B2830C2C5&sid=F24949CFDB502409&eid=91C9056D8E8856E0&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0