[{"data":1,"prerenderedAt":366},["ShallowReactive",2],{"publication-2017\u002Ffault-localisation-for-ws-bpel-programs-based-on-predicate-switching-and-program-en":3,"publication-members":53},{"_path":4,"_dir":5,"_draft":6,"_partial":6,"_locale":7,"title":8,"description":7,"_hidden":6,"slicing authors":9,"authors_orcid":16,"year":22,"doi":23,"openalex_id":24,"venue":25,"abstract_screenshot":18,"keywords":26,"body":40,"_type":46,"_id":47,"_source":48,"_file":49,"_stem":50,"_extension":51,"locale":52},"\u002Fpublications\u002F2017\u002Ffault-localisation-for-ws-bpel-programs-based-on-predicate-switching-and-program","2017",false,"","Fault localisation for WS-BPEL programs based on predicate switching and program",[10,11,12,13,14,15],"Sun, Chang‐ai","Ran, Yufeng","Zheng, Caiyun","Liu, Huai","Towey, Dave","Zhang, Xiangyu",[17,18,18,19,20,21],"0000-0003-3696-6176",null,"0000-0003-3125-4399","0000-0003-0877-4353","0000-0002-9544-2500",2017,"https:\u002F\u002Fdoi.org\u002F10.1016\u002Fj.jss.2017.10.030","W2767168670","Journal of Systems and Software",[27,28,29,30,31,32,33,34,35,36,37,38,39],"Business Process Execution Language","Computer science","Program slicing","Web service","Service-oriented architecture","Slicing","Business process","Software engineering","Distributed computing","Programming language","World Wide Web","Work in process","Engineering",{"type":41,"children":42,"toc":43},"root",[],{"title":7,"searchDepth":44,"depth":44,"links":45},2,[],"markdown","content:publications:2017:fault-localisation-for-ws-bpel-programs-based-on-predicate-switching-and-program.md","content","publications\u002F2017\u002Ffault-localisation-for-ws-bpel-programs-based-on-predicate-switching-and-program.md","publications\u002F2017\u002Ffault-localisation-for-ws-bpel-programs-based-on-predicate-switching-and-program","md","en",[54,67,72,83,90,98,104,113,120,126,131,141,148,157,163,175,184,193,199,207,212,220,226,234,238,248,255,263,268,277,283,291,297,305,310,316,326,334,340,348,353,361],{"_path":55,"title":56,"name":57,"role":58,"email":18,"image":59,"category":60,"interests":61,"order":44,"_id":66},"\u002Fmembers\u002Fstaff\u002Falain-chong","Vice President for Global Affairs and Partnerships · Professor of Information Systems and Digital Innovation","Alain Chong","Deputy Director of Lab","assets\u002F8.png","staff",[62,63,64,65],"信息系统与运作管理","计算机科学与运筹学","Information Systems and Operations Management","Computer Science and Operations Research","content:members:staff:alain-chong.md",{"_path":55,"title":68,"role":69,"interests":70,"_id":71},"全球事务与合作副校长 · 信息系统与数字创新教授","实验室副主任",[62,63],"content:members:staff:alain-chong.zh-CN.md",{"_path":73,"title":74,"name":75,"role":76,"email":18,"image":77,"category":60,"interests":78,"order":81,"_id":82},"\u002Fmembers\u002Fstaff\u002Fanthony-belloti","Professor","Anthony Belloti","Core Member","assets\u002F41.png",[79,80],"Machine Learning and Credit Risk Model","Model Risks",9,"content:members:staff:anthony-belloti.md",{"_path":73,"title":84,"role":85,"interests":86,"_id":89},"计算机科学系教授","核心成员",[87,88],"机器学习与信用风险模型","模型风险","content:members:staff:anthony-belloti.zh-CN.md",{"_path":91,"title":92,"name":92,"role":76,"email":18,"image":93,"category":60,"interests":94,"order":96,"_id":97},"\u002Fmembers\u002Fstaff\u002Fboon-giin-lee","Boon Giin Lee","assets\u002F31.jpg",[95],"Intelligent Sensor and Extended Reality",11,"content:members:staff:boon-giin-lee.md",{"_path":91,"title":99,"role":85,"interests":100,"_id":103},"人机交互实验室负责人 · 计算机科学系副教授",[101,102],"人机交互 HCI","智能传感与扩展现实技术","content:members:staff:boon-giin-lee.zh-CN.md",{"_path":105,"title":106,"name":106,"role":107,"email":18,"image":108,"category":60,"interests":109,"order":111,"_id":112},"\u002Fmembers\u002Fstaff\u002Fcong-cao","Cong Cao","Direction Leader","assets\u002FCC.png",[110],"Science and technology policy and institutional reform",7,"content:members:staff:cong-cao.md",{"_path":105,"title":114,"name":115,"role":116,"interests":117,"_id":119},"宁波诺丁汉大学商学院创新学教授","曹聪","方向带头人",[118],"科技政策与体制改革","content:members:staff:cong-cao.zh-CN.md",{"_path":121,"title":122,"name":122,"role":76,"email":18,"image":123,"category":60,"order":124,"_id":125},"\u002Fmembers\u002Fstaff\u002Fdave-towey","Dave Towey","assets\u002F32.jpg",8,"content:members:staff:dave-towey.md",{"_path":121,"title":127,"role":85,"interests":128,"_id":130},"计算机科学系教授 · 计算机科学系主任",[129],"计算机科学与语言学","content:members:staff:dave-towey.zh-CN.md",{"_path":132,"title":133,"name":133,"role":76,"email":18,"image":134,"category":60,"interests":135,"order":139,"_id":140},"\u002Fmembers\u002Fstaff\u002Ffazl-ullah-khan","Fazl Ullah Khan","assets\u002F44.png",[136,137,138],"Computer Network","Computer Architecture and Network Security","Software Engineering",12,"content:members:staff:fazl-ullah-khan.md",{"_path":132,"title":142,"role":85,"interests":143,"_id":147},"计算机科学系助理教授 · IEEE 高级会员",[144,145,146],"计算机网络","计算机和网络安全","软件工程","content:members:staff:fazl-ullah-khan.zh-CN.md",{"_path":149,"title":150,"name":151,"role":76,"email":18,"image":152,"category":60,"interests":153,"order":155,"_id":156},"\u002Fmembers\u002Fstaff\u002Fheng-yu","Associate Professor","Heng Yu","assets\u002FHENGYU.png",[154],"Embedded Systems Design",17,"content:members:staff:heng-yu.md",{"_path":149,"title":158,"name":159,"role":85,"interests":160,"_id":162},"计算机科学系副教授","于恒",[161],"嵌入式系统设计","content:members:staff:heng-yu.zh-CN.md",{"_path":164,"title":150,"name":165,"role":76,"email":18,"image":166,"category":60,"interests":167,"order":173,"_id":174},"\u002Fmembers\u002Fstaff\u002Fheshan-du","Heshan Du","assets\u002Fhesahndu.png",[168,169,170,171,172],"Logic, Knowledge Representation and Reasoning","Geographic Information Systems","Operations Research","Machine Learning","Reinforcement Learning",20,"content:members:staff:heshan-du.md",{"_path":164,"title":158,"name":176,"role":85,"interests":177,"_id":183},"杜何珊",[178,179,180,181,182],"逻辑与知识表示","地理信息系统","运筹学","机器学习","强化学习","content:members:staff:heshan-du.zh-CN.md",{"_path":185,"title":186,"name":187,"role":76,"email":18,"image":188,"category":60,"interests":189,"order":191,"_id":192},"\u002Fmembers\u002Fstaff\u002Fhuan-jin","Assistant Professor","Huan Jin","assets\u002Fhuanjin.png",[190,171],"Optimisation",21,"content:members:staff:huan-jin.md",{"_path":185,"title":194,"name":195,"role":85,"interests":196,"_id":198},"计算机科学系助理教授","靳欢",[197,181],"优化","content:members:staff:huan-jin.zh-CN.md",{"_path":200,"title":150,"name":201,"role":107,"email":18,"image":202,"category":60,"interests":203,"order":205,"_id":206},"\u002Fmembers\u002Fstaff\u002Fjianfeng-ren","Jianfeng Ren","assets\u002F42.jpg",[171,204],"Computer Vision",3,"content:members:staff:jianfeng-ren.md",{"_path":200,"title":158,"name":208,"role":116,"interests":209,"_id":211},"任剑锋",[181,210],"计算机视觉","content:members:staff:jianfeng-ren.zh-CN.md",{"_path":213,"title":214,"name":214,"role":107,"email":18,"image":215,"category":60,"interests":216,"order":218,"_id":219},"\u002Fmembers\u002Fstaff\u002Fjiawei-li","Jiawei Li","assets\u002F11.png",[217],"Computer Science and Artificial Intelligence",15,"content:members:staff:jiawei-li.md",{"_path":213,"title":221,"name":222,"role":116,"interests":223,"_id":225},"计算机科学系助理教授 · 英国诺丁汉大学博士后","李家炜",[224],"计算机与人工智能","content:members:staff:jiawei-li.zh-CN.md",{"_path":227,"title":150,"name":228,"role":76,"email":18,"image":229,"category":60,"interests":230,"order":232,"_id":233},"\u002Fmembers\u002Fstaff\u002Fmatthew-pike","Matthew Pike","assets\u002F43.jpg",[231],"Digitalised Learning",16,"content:members:staff:matthew-pike.md",{"_path":227,"title":158,"role":85,"interests":235,"_id":237},[236],"数字化学习","content:members:staff:matthew-pike.zh-CN.md",{"_path":239,"title":186,"name":240,"role":76,"email":18,"image":241,"category":60,"interests":242,"order":246,"_id":247},"\u002Fmembers\u002Fstaff\u002Fning-xue","Ning Xue","\u002Fimages\u002Fuon-logo.png",[243,244,245],"Artificial Intelligence","Computational Intelligence","Combinatorial Optimization",13,"content:members:staff:ning-xue.md",{"_path":239,"title":194,"name":249,"role":85,"interests":250,"_id":254},"薛宁",[251,252,253],"人工智能","计算智能","组合优化","content:members:staff:ning-xue.zh-CN.md",{"_path":256,"title":186,"name":257,"role":76,"email":18,"image":258,"category":60,"interests":259,"order":261,"_id":262},"\u002Fmembers\u002Fstaff\u002Fqian-zhang","Qian Zhang","assets\u002Fqz.png",[260,204,171],"Image Processing",14,"content:members:staff:qian-zhang.md",{"_path":256,"title":194,"name":264,"role":85,"interests":265,"_id":267},"张茜",[266,210,181],"图像处理","content:members:staff:qian-zhang.zh-CN.md",{"_path":269,"title":74,"name":270,"role":271,"email":18,"image":272,"category":60,"interests":273,"orcid":274,"order":275,"_id":276},"\u002Fmembers\u002Fstaff\u002Fruibin-bai","Ruibin Bai","Director of Lab","assets\u002F38.png",[65],"0000-0003-1722-568X",1,"content:members:staff:ruibin-bai.md",{"_path":269,"title":278,"name":279,"role":280,"interests":281,"_id":282},"教授","白瑞斌","实验室主任",[63],"content:members:staff:ruibin-bai.zh-CN.md",{"_path":284,"title":285,"name":285,"role":107,"email":18,"image":286,"category":60,"interests":287,"order":289,"_id":290},"\u002Fmembers\u002Fstaff\u002Fsean-he","Sean He","assets\u002F39.png",[204,288,171],"Data Analytics",5,"content:members:staff:sean-he.md",{"_path":284,"title":292,"name":293,"role":116,"interests":294,"_id":296},"计算机科学系教授 · 国家级讲席学者","何祥健",[210,295,181],"数据分析","content:members:staff:sean-he.zh-CN.md",{"_path":298,"title":299,"name":299,"role":76,"email":18,"image":300,"category":60,"interests":301,"order":303,"_id":304},"\u002Fmembers\u002Fstaff\u002Ftianxiang-cui","Tianxiang Cui","assets\u002Ftianxiangcui.png",[244,302,171,172],"Operation Research",19,"content:members:staff:tianxiang-cui.md",{"_path":298,"title":142,"name":306,"role":85,"interests":307,"_id":309},"崔天翔",[252,308,181,182],"运筹研究","content:members:staff:tianxiang-cui.zh-CN.md",{"_path":311,"title":74,"name":312,"role":76,"email":18,"image":313,"category":60,"order":314,"_id":315},"\u002Fmembers\u002Fstaff\u002Fxiuping-hua","Xiuping Hua","assets\u002FxiupignHua.png",10,"content:members:staff:xiuping-hua.md",{"_path":311,"title":317,"name":318,"role":85,"interests":319,"_id":325},"金融、会计与经济系教授","华秀萍",[320,321,322,323,324,87],"资产定价","公司金融","衍生品","金融科技","创新金融和普惠金融","content:members:staff:xiuping-hua.zh-CN.md",{"_path":327,"title":74,"name":328,"role":76,"email":18,"image":329,"category":60,"interests":330,"order":332,"_id":333},"\u002Fmembers\u002Fstaff\u002Fying-weng","Ying Weng","assets\u002Fyingweng.png",[204,260,331],"IoT",4,"content:members:staff:ying-weng.md",{"_path":327,"title":84,"name":335,"role":85,"interests":336,"_id":339},"翁莹",[210,266,337,338],"物联网 IoT","无线网络安全与服务质量","content:members:staff:ying-weng.zh-CN.md",{"_path":341,"title":186,"name":342,"role":76,"email":18,"image":343,"category":60,"interests":344,"order":346,"_id":347},"\u002Fmembers\u002Fstaff\u002Fyuan-yao","Yuan Yao","assets\u002Fyuanyao.png",[345],"Autonomous Agents and Multi-Agent Systems",18,"content:members:staff:yuan-yao.md",{"_path":341,"title":194,"name":349,"role":85,"interests":350,"_id":352},"姚远",[351],"自主智能体与多智能体系统","content:members:staff:yuan-yao.zh-CN.md",{"_path":354,"title":186,"name":355,"role":107,"email":18,"image":356,"category":60,"interests":357,"order":359,"_id":360},"\u002Fmembers\u002Fstaff\u002Fzheng-lu","Zheng Lu","assets\u002F13.png",[358],"Computer Science",6,"content:members:staff:zheng-lu.md",{"_path":354,"title":194,"name":362,"role":116,"interests":363,"_id":365},"卢正",[364],"计算机科学","content:members:staff:zheng-lu.zh-CN.md",1782640083307]