首页 > 最新文献

IET Software最新文献

英文 中文
Retracted: The use of the intelligent Bayesian network method combined with blockchain technology in the optimisation of tunnel construction quality control 收回:智能贝叶斯网络方法与区块链技术在隧道施工质量控制优化中的应用
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-02-02 DOI: 10.1049/sfw2.12109
Liping Cai, Qiaona Gong, Feng Jiang, Mingzhan Yuan, Zhiyong Xiao, Shuai Zhang, Chengcheng Zheng, Yue Wu

Retraction: [Liping Cai, Qiaona Gong, Feng Jiang, Mingzhan Yuan, Zhiyong Xiao, Shuai Zhang, Chengcheng Zheng, Yue Wu, The use of the intelligent Bayesian network method combined with blockchain technology in the optimisation of tunnel construction quality control, IET Software 2023 (https://doi.org/10.1049/sfw2.12109)].

The above article from IET Software, published online on 2 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

收回:[蔡丽萍,龚巧娜,冯江,袁明展,肖志勇,张帅,郑诚成,吴岳,智能贝叶斯网络方法与区块链技术相结合在隧道施工质量控制优化中的应用,IET软件2023(https://doi.org/10.1049/sfw2.12109)]。IET Software的上述文章于2023年2月2日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术研究所(IET)和John Wiley and Sons有限公司同意撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: The use of the intelligent Bayesian network method combined with blockchain technology in the optimisation of tunnel construction quality control","authors":"Liping Cai,&nbsp;Qiaona Gong,&nbsp;Feng Jiang,&nbsp;Mingzhan Yuan,&nbsp;Zhiyong Xiao,&nbsp;Shuai Zhang,&nbsp;Chengcheng Zheng,&nbsp;Yue Wu","doi":"10.1049/sfw2.12109","DOIUrl":"https://doi.org/10.1049/sfw2.12109","url":null,"abstract":"<p>Retraction: [Liping Cai, Qiaona Gong, Feng Jiang, Mingzhan Yuan, Zhiyong Xiao, Shuai Zhang, Chengcheng Zheng, Yue Wu, The use of the intelligent Bayesian network method combined with blockchain technology in the optimisation of tunnel construction quality control, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12109)].</p><p>The above article from <i>IET Software</i>, published online on 2 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12109","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50117922","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Retracted: Software solution for text summarisation using machine learning based Bidirectional Encoder Representations from Transformers algorithm 收回:使用基于机器学习的双向编码器表示的Transformers算法进行文本汇总的软件解决方案
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-02-02 DOI: 10.1049/sfw2.12098
Abdulwahid Al Abdulwahid

Retraction: [Abdulwahid Al Abdulwahid, Software solution for text summarisation using machine learning based Bidirectional Encoder Representations from Transformers algorithm, IET Software 2023 (https://doi.org/10.1049/sfw2.12098)].

The above article from IET Software, published online on 2 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

收回:[Abdulwahid Al-Abdulwahid,使用基于机器学习的双向编码器表示的Transformers算法进行文本汇总的软件解决方案,IET软件2023(https://doi.org/10.1049/sfw2.12098)]来自IET Software的上述文章于2023年2月2日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术学会(IET)和John Wiley and Sons有限公司之间的协议撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: Software solution for text summarisation using machine learning based Bidirectional Encoder Representations from Transformers algorithm","authors":"Abdulwahid Al Abdulwahid","doi":"10.1049/sfw2.12098","DOIUrl":"https://doi.org/10.1049/sfw2.12098","url":null,"abstract":"<p>Retraction: [Abdulwahid Al Abdulwahid, Software solution for text summarisation using machine learning based Bidirectional Encoder Representations from Transformers algorithm, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12098)].</p><p>The above article from <i>IET Software</i>, published online on 2 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-02-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12098","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50117923","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Retracted: Intelligent distribution system of university student dormitory based on data fusion optimisation algorithm 收回:基于数据融合优化算法的大学生宿舍智能分配系统
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-02-01 DOI: 10.1049/sfw2.12100
Tingting Zheng

Retraction: [Tingting Zheng, Intelligent distribution system of university student dormitory based on data fusion optimisation algorithm, IET Software 2023 (https://doi.org/10.1049/sfw2.12100)].

The above article from IET Software, published online on 1 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

收回:【郑婷婷,基于数据融合优化算法的大学生宿舍智能分配系统,IET软件2023(https://doi.org/10.1049/sfw2.12100)]来自IET Software的上述文章于2023年2月1日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术学会(IET)和John Wiley and Sons有限公司之间的协议撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: Intelligent distribution system of university student dormitory based on data fusion optimisation algorithm","authors":"Tingting Zheng","doi":"10.1049/sfw2.12100","DOIUrl":"https://doi.org/10.1049/sfw2.12100","url":null,"abstract":"<p>Retraction: [Tingting Zheng, Intelligent distribution system of university student dormitory based on data fusion optimisation algorithm, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12100)].</p><p>The above article from <i>IET Software</i>, published online on 1 February 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12100","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50115994","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
MetaFL: Metamorphic fault localisation using weakly supervised deep learning MetaFL:使用弱监督深度学习的变质断层定位
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-02-01 DOI: 10.1049/sfw2.12102
Lingfeng Fu, Yan Lei, Meng Yan, Ling Xu, Zhou Xu, Xiaohong Zhang

Deep-Learning-based Fault Localisation (DLFL) leverages deep neural networks to learn the relationship between statement behaviour and program failures, showing promising results. However, since DLFL uses program failures as labels to conduct supervised learning, a labelled dataset is a requisite of applying DLFL. A failure is detected by comparing program output with a test oracle which is the standard answer for the given input. The problem is, test oracles are often difficult, or even impossible to acquire in real life, and that has severely restricted the application of DLFL since we have only unlabelled datasets in most cases. Thus, MetaFL: Metamorphic Fault Localisation Using Weakly Supervised Deep Learning is proposed, to provide a weakly supervised learning solution for DLFL. Instead of using test oracles, MetaFL uses metamorphic relations to prescribe expected behaviour of a program, and defines labels of metamorphic testing groups by verifying integrity in each group of test cases. Hence, a coarse-grained labelled dataset can be built from the originally unlabelled one, with which DLFL can work now, utilising a weakly supervised learning paradigm. The experiments show that MetaFL yields a performance comparable to plain DLFL under ideal condition (i.e. the labels of datasets are available). MetaFL successfully extends the methodology of DLFL from supervised learning to weakly supervised learning, and a fully labelled dataset is no longer mandatory for applying DLFL.

基于深度学习的故障定位(DLFL)利用深度神经网络来学习语句行为和程序故障之间的关系,显示出有希望的结果。然而,由于DLFL使用程序故障作为标签来进行监督学习,因此标记的数据集是应用DLFL的必要条件。通过将程序输出与测试预言机进行比较来检测故障,测试预言机是给定输入的标准答案。问题是,测试预言往往很难,甚至不可能在现实生活中获得,这严重限制了DLFL的应用,因为在大多数情况下,我们只有未标记的数据集。因此,提出了MetaFL:使用弱监督深度学习的变形故障定位,为DLFL提供了一种弱监督学习解决方案。MetaFL不使用测试预言,而是使用变形关系来规定程序的预期行为,并通过验证每组测试用例的完整性来定义变形测试组的标签。因此,可以利用弱监督学习范式,从最初未标记的数据集构建粗粒度标记数据集,DLFL现在可以使用该数据集工作。实验表明,在理想条件下(即数据集的标签可用),MetaFL的性能与普通DLFL相当。MetaFL成功地将DLFL的方法从监督学习扩展到了弱监督学习,并且完全标记的数据集不再是应用DLFL的强制性数据集。
{"title":"MetaFL: Metamorphic fault localisation using weakly supervised deep learning","authors":"Lingfeng Fu,&nbsp;Yan Lei,&nbsp;Meng Yan,&nbsp;Ling Xu,&nbsp;Zhou Xu,&nbsp;Xiaohong Zhang","doi":"10.1049/sfw2.12102","DOIUrl":"https://doi.org/10.1049/sfw2.12102","url":null,"abstract":"<p>Deep-Learning-based Fault Localisation (DLFL) leverages deep neural networks to learn the relationship between statement behaviour and program failures, showing promising results. However, since DLFL uses program failures as labels to conduct supervised learning, a labelled dataset is a requisite of applying DLFL. A failure is detected by comparing program output with a test oracle which is the standard answer for the given input. The problem is, test oracles are often difficult, or even impossible to acquire in real life, and that has severely restricted the application of DLFL since we have only unlabelled datasets in most cases. Thus, MetaFL: Metamorphic Fault Localisation Using Weakly Supervised Deep Learning is proposed, to provide a weakly supervised learning solution for DLFL. Instead of using test oracles, MetaFL uses metamorphic relations to prescribe expected behaviour of a program, and defines labels of metamorphic testing groups by verifying integrity in each group of test cases. Hence, a coarse-grained labelled dataset can be built from the originally unlabelled one, with which DLFL can work now, utilising a weakly supervised learning paradigm. The experiments show that MetaFL yields a performance comparable to plain DLFL under ideal condition (i.e. the labels of datasets are available). MetaFL successfully extends the methodology of DLFL from supervised learning to weakly supervised learning, and a fully labelled dataset is no longer mandatory for applying DLFL.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12102","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50116166","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Retracted: Smart optimal path with blockchain modelling in internet of things using enhanced K-means clustering and advance encryption standard 收回:物联网中使用增强的K-means聚类和高级加密标准的区块链建模的智能最优路径
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-28 DOI: 10.1049/sfw2.12095
Inas Ismael Imran, Shymaa Mohammed Jameel, Refed Adnan Jaleel

Retraction: [Inas Ismael Imran, Shymaa Mohammed Jameel, Refed Adnan Jaleel, Smart optimal path with blockchain modelling in internet of things using enhanced K-means clustering and advance encryption standard, IET Software 2023 (https://doi.org/10.1049/sfw2.12095)].

The above article from IET Software, published online on 28 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

撤回:[Inas Ismael Imran,Shymaa Mohammed Jameel,Refed Adnan Jaleel,物联网中使用增强K-means聚类和高级加密标准的区块链建模的智能最优路径,IET软件2023(https://doi.org/10.1049/sfw2.12095)]上述来自IET Software的文章于2023年1月28日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术学会(IET)和John Wiley and Sons有限公司同意撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: Smart optimal path with blockchain modelling in internet of things using enhanced K-means clustering and advance encryption standard","authors":"Inas Ismael Imran,&nbsp;Shymaa Mohammed Jameel,&nbsp;Refed Adnan Jaleel","doi":"10.1049/sfw2.12095","DOIUrl":"https://doi.org/10.1049/sfw2.12095","url":null,"abstract":"<p>Retraction: [Inas Ismael Imran, Shymaa Mohammed Jameel, Refed Adnan Jaleel, Smart optimal path with blockchain modelling in internet of things using enhanced K-means clustering and advance encryption standard, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12095)].</p><p>The above article from <i>IET Software</i>, published online on 28 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12095","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50155229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Smart optimal path with blockchain modelling in internet of things using enhanced K‐means clustering and advance encryption standard 基于增强K - means聚类和先进加密标准的物联网区块链模型智能最优路径
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-28 DOI: 10.1049/sfw2.12095
Inas Ismael Imran, Shymaa Mohammed Jameel, Refed Adnan Jaleel
{"title":"Smart optimal path with blockchain modelling in internet of things using enhanced K‐means clustering and advance encryption standard","authors":"Inas Ismael Imran, Shymaa Mohammed Jameel, Refed Adnan Jaleel","doi":"10.1049/sfw2.12095","DOIUrl":"https://doi.org/10.1049/sfw2.12095","url":null,"abstract":"","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45751215","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Evaluation of Compliance Rule Languages for Modelling Regulatory Compliance Requirements 为法规遵从性需求建模的遵从性规则语言的评估
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-28 DOI: 10.3390/software2010004
Andrea Zasada, M. Hashmi, M. Fellmann, David Knuplesch
Compliance in business processes has become a fundamental requirement given the constant rise in regulatory requirements and competitive pressures that have emerged in recent decades. While in other areas of business process modelling and execution, considerable progress towards automation has been made (e.g., process discovery, executable process models), the interpretation and implementation of compliance requirements is still a highly complex task requiring human effort and time. To increase the level of “mechanization” when implementing regulations in business processes, compliance research seeks to formalize compliance requirements. Formal representations of compliance requirements should, then, be leveraged to design correct process models and, ideally, would also serve for the automated detection of violations. To formally specify compliance requirements, however, multiple process perspectives, such as control flow, data, time and resources, have to be considered. This leads to the challenge of representing such complex constraints which affect different process perspectives. To this end, current approaches in business process compliance make use of a varied set of languages. However, every approach has been devised based on different assumptions and motivating scenarios. In addition, these languages and their presentation usually abstract from real-world requirements which often would imply introducing a substantial amount of domain knowledge and interpretation, thus hampering the evaluation of their expressiveness. This is a serious problem, since comparisons of different formal languages based on real-world compliance requirements are lacking, meaning that users of such languages are not able to make informed decisions about which language to choose. To close this gap and to establish a uniform evaluation basis, we introduce a running example for evaluating the expressiveness and complexity of compliance rule languages. For language selection, we conducted a literature review. Next, we briefly introduce and demonstrate the languages’ grammars and vocabularies based on the representation of a number of legal requirements. In doing so, we pay attention to semantic subtleties which we evaluate by adopting a normative classification framework which differentiates between different deontic assignments. Finally, on top of that, we apply Halstead’s well-known metrics for calculating the relevant characteristics of the different languages in our comparison, such as the volume, difficulty and effort for each language. With this, we are finally able to better understand the lexical complexity of the languages in relation to their expressiveness. In sum, we provide a systematic comparison of different compliance rule languages based on real-world compliance requirements which may inform future users and developers of these languages. Finally, we advocate for a more user-aware development of compliance languages which should consider a trade off be
鉴于最近几十年来出现的监管需求和竞争压力的不断增加,业务流程中的遵从性已经成为一项基本需求。虽然在业务流程建模和执行的其他领域,已经在自动化方面取得了相当大的进展(例如,流程发现、可执行流程模型),但遵从性需求的解释和实现仍然是一项高度复杂的任务,需要人力和时间。为了在业务流程中实现规则时提高“机械化”水平,遵从性研究试图将遵从性需求形式化。因此,应该利用遵从性需求的正式表示来设计正确的流程模型,并且在理想情况下,还可以用于自动检测违规行为。然而,要正式指定遵从性需求,必须考虑多个过程透视图,例如控制流、数据、时间和资源。这导致了表示影响不同过程透视图的复杂约束的挑战。为此,业务流程遵从性的当前方法使用了一组不同的语言。然而,每种方法都是基于不同的假设和激励情景而设计的。此外,这些语言及其表示通常是从现实世界的需求中抽象出来的,这通常意味着引入大量的领域知识和解释,从而阻碍了对其表达性的评估。这是一个严重的问题,因为缺乏基于实际遵从性需求的不同形式语言的比较,这意味着这些语言的用户无法对选择哪种语言做出明智的决定。为了缩小这一差距并建立统一的评估基础,我们引入了一个运行的示例来评估遵从规则语言的表达性和复杂性。在语言选择上,我们进行了文献综述。接下来,我们将根据一些法律要求的表示简要介绍和演示语言的语法和词汇。在此过程中,我们通过采用区分不同义务赋值的规范分类框架来评估语义的微妙之处。最后,在此基础上,我们应用Halstead的著名指标来计算我们比较中不同语言的相关特征,如每种语言的数量、难度和努力。有了这个,我们最终能够更好地理解语言的词汇复杂性与其表达能力的关系。总之,我们基于现实世界的遵从性需求对不同的遵从性规则语言进行了系统的比较,这可能会为未来的用户和开发人员提供这些语言的信息。最后,我们提倡对遵从性语言进行更加用户感知的开发,它应该考虑在表达性、复杂性和可用性之间进行权衡。
{"title":"Evaluation of Compliance Rule Languages for Modelling Regulatory Compliance Requirements","authors":"Andrea Zasada, M. Hashmi, M. Fellmann, David Knuplesch","doi":"10.3390/software2010004","DOIUrl":"https://doi.org/10.3390/software2010004","url":null,"abstract":"Compliance in business processes has become a fundamental requirement given the constant rise in regulatory requirements and competitive pressures that have emerged in recent decades. While in other areas of business process modelling and execution, considerable progress towards automation has been made (e.g., process discovery, executable process models), the interpretation and implementation of compliance requirements is still a highly complex task requiring human effort and time. To increase the level of “mechanization” when implementing regulations in business processes, compliance research seeks to formalize compliance requirements. Formal representations of compliance requirements should, then, be leveraged to design correct process models and, ideally, would also serve for the automated detection of violations. To formally specify compliance requirements, however, multiple process perspectives, such as control flow, data, time and resources, have to be considered. This leads to the challenge of representing such complex constraints which affect different process perspectives. To this end, current approaches in business process compliance make use of a varied set of languages. However, every approach has been devised based on different assumptions and motivating scenarios. In addition, these languages and their presentation usually abstract from real-world requirements which often would imply introducing a substantial amount of domain knowledge and interpretation, thus hampering the evaluation of their expressiveness. This is a serious problem, since comparisons of different formal languages based on real-world compliance requirements are lacking, meaning that users of such languages are not able to make informed decisions about which language to choose. To close this gap and to establish a uniform evaluation basis, we introduce a running example for evaluating the expressiveness and complexity of compliance rule languages. For language selection, we conducted a literature review. Next, we briefly introduce and demonstrate the languages’ grammars and vocabularies based on the representation of a number of legal requirements. In doing so, we pay attention to semantic subtleties which we evaluate by adopting a normative classification framework which differentiates between different deontic assignments. Finally, on top of that, we apply Halstead’s well-known metrics for calculating the relevant characteristics of the different languages in our comparison, such as the volume, difficulty and effort for each language. With this, we are finally able to better understand the lexical complexity of the languages in relation to their expressiveness. In sum, we provide a systematic comparison of different compliance rule languages based on real-world compliance requirements which may inform future users and developers of these languages. Finally, we advocate for a more user-aware development of compliance languages which should consider a trade off be","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82781217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Retracted: Visualisation-based binary classification of android malware using vgg16 撤回:使用vgg16对安卓恶意软件进行基于可视化的二进制分类
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-23 DOI: 10.1049/sfw2.12094
Aryan Marwaha, Rami Qays Malik, Shehab Mohamed Beram, Ali Rizwan, Kakarla Hari Kishore, Deepak Thakur, Tanya Gera, Mohammad Shabaz

Retraction: [Aryan Marwaha, Rami Qays Malik, Shehab Mohamed Beram, Ali Rizwan, Hari Kishore Kakarla, Deepak Thakur, Tanya Gera, Mohammad Shabaz, Visualisation-based binary classification of android malware using vgg16, IET Software 2023 (https://doi.org/10.1049/sfw2.12094)].

The above article from IET Software, published online on 23 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

撤回:[Aryan Marwaha,Rami Qays Malik,Shehab Mohamed Beram,Ali Rizwan,Hari Kishore Kakarla,Deepak Thakur,Tanya Gera,Mohammad Shabaz,使用vgg16的基于可视化的android恶意软件二进制分类,IET软件2023(https://doi.org/10.1049/sfw2.12094)]。IET Software的上述文章于2023年1月23日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术学会(IET)和John Wiley and Sons有限公司同意撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: Visualisation-based binary classification of android malware using vgg16","authors":"Aryan Marwaha,&nbsp;Rami Qays Malik,&nbsp;Shehab Mohamed Beram,&nbsp;Ali Rizwan,&nbsp;Kakarla Hari Kishore,&nbsp;Deepak Thakur,&nbsp;Tanya Gera,&nbsp;Mohammad Shabaz","doi":"10.1049/sfw2.12094","DOIUrl":"https://doi.org/10.1049/sfw2.12094","url":null,"abstract":"<p>Retraction: [Aryan Marwaha, Rami Qays Malik, Shehab Mohamed Beram, Ali Rizwan, Hari Kishore Kakarla, Deepak Thakur, Tanya Gera, Mohammad Shabaz, Visualisation-based binary classification of android malware using vgg16, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12094)].</p><p>The above article from <i>IET Software</i>, published online on 23 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12094","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50141809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Constructing meaningful code changes via graph transformer 通过图转换器构造有意义的代码更改
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-21 DOI: 10.1049/sfw2.12097
Shikai Guo, Mengxuan Li, Xin Ge, Hui Li, Rong Chen, Tingting Li

The rapid development of Open-Source Software (OSS) has resulted in a significant demand for code changes to maintain OSS. Symptoms of poor design and implementation choices in code changes often occur, thus heavily hindering code reviewers to verify correctness and soundness of code changes. Researchers have investigated how to learn meaningful code changes to assist developers in anticipating changes that code reviewers may suggest for the submitted code. However, there are two main limitations to be addressed, including the limitation of long-range dependencies of the source code and the missing syntactic structural information of the source code. To solve these limitations, a novel method is proposed, named Graph Transformer for learning meaningful Code Transformations (GTCT), to provide developers with preliminary and quick feedback when developers submit code changes, which can improve the quality of code changes and improve the efficiency of code review. GTCT comprises two components: code graph embedding and code transformation learning. To address the missing syntactic structural information of the source code limitation, the code graph embedding component captures the types and patterns of code changes by encoding the source code into a code graph structure from the lexical and syntactic representations of the source code. Subsequently, the code transformation learning component uses the multi-head attention mechanism and positional encoding mechanism to address the long-range dependencies limitation. Extensive experiments are conducted to evaluate the performance of GTCT by both quantitative and qualitative analyses. For the quantitative analysis, GTCT relatively outperforms the baseline on six datasets by 210%, 342.86%, 135%, 29.41%, 109.09%, and 91.67% in terms of perfect prediction. Meanwhile, the qualitative analysis shows that each type of code change by GTCT outperforms that of the baseline method in terms of bug fixed, refactoring code and others' taxonomy of code changes.

开放源码软件(OSS)的快速发展导致了对代码更改的巨大需求,以维护OSS。在代码更改中,经常会出现设计和实现选择不当的症状,从而严重阻碍代码审查人员验证代码更改的正确性和可靠性。研究人员调查了如何学习有意义的代码更改,以帮助开发人员预测代码审查人员可能对提交的代码建议的更改。然而,有两个主要的限制需要解决,包括源代码的长程依赖性的限制和源代码缺少语法结构信息。为了解决这些局限性,提出了一种新的方法,称为图变换器,用于学习有意义的代码变换(GTCT),在开发人员提交代码更改时为开发人员提供初步快速的反馈,从而提高代码更改的质量和代码审查的效率。GTCT包括两个部分:代码图嵌入和代码转换学习。为了解决源代码限制的语法结构信息缺失问题,代码图嵌入组件通过将源代码从源代码的词汇和语法表示编码为代码图结构来捕获代码变化的类型和模式。随后,代码转换学习组件使用多头注意力机制和位置编码机制来解决长程依赖性限制。进行了大量的实验,通过定量和定性分析来评估GTCT的性能。对于定量分析,GTCT在六个数据集上的完美预测相对优于基线210%、342.86%、135%、29.41%、109.09%和91.67%。同时,定性分析表明,GTCT的每种类型的代码更改在bug修复、重构代码和其他代码更改分类方面都优于基线方法。
{"title":"Constructing meaningful code changes via graph transformer","authors":"Shikai Guo,&nbsp;Mengxuan Li,&nbsp;Xin Ge,&nbsp;Hui Li,&nbsp;Rong Chen,&nbsp;Tingting Li","doi":"10.1049/sfw2.12097","DOIUrl":"https://doi.org/10.1049/sfw2.12097","url":null,"abstract":"<p>The rapid development of Open-Source Software (OSS) has resulted in a significant demand for code changes to maintain OSS. Symptoms of poor design and implementation choices in code changes often occur, thus heavily hindering code reviewers to verify correctness and soundness of code changes. Researchers have investigated how to learn meaningful code changes to assist developers in anticipating changes that code reviewers may suggest for the submitted code. However, there are two main limitations to be addressed, including the limitation of long-range dependencies of the source code and the missing syntactic structural information of the source code. To solve these limitations, a novel method is proposed, named Graph Transformer for learning meaningful Code Transformations (GTCT), to provide developers with preliminary and quick feedback when developers submit code changes, which can improve the quality of code changes and improve the efficiency of code review. GTCT comprises two components: code graph embedding and code transformation learning. To address the missing syntactic structural information of the source code limitation, the code graph embedding component captures the types and patterns of code changes by encoding the source code into a code graph structure from the lexical and syntactic representations of the source code. Subsequently, the code transformation learning component uses the multi-head attention mechanism and positional encoding mechanism to address the long-range dependencies limitation. Extensive experiments are conducted to evaluate the performance of GTCT by both quantitative and qualitative analyses. For the quantitative analysis, GTCT relatively outperforms the baseline on six datasets by 210%, 342.86%, 135%, 29.41%, 109.09%, and 91.67% in terms of perfect prediction. Meanwhile, the qualitative analysis shows that each type of code change by GTCT outperforms that of the baseline method in terms of bug fixed, refactoring code and others' taxonomy of code changes.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12097","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50140087","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Retracted: Data exploration of college students' humanistic literacy in the internet age under the big data environment 收回:大数据环境下网络时代大学生人文素养的数据探索
IF 1.6 4区 计算机科学 Q2 Computer Science Pub Date : 2023-01-20 DOI: 10.1049/sfw2.12087
Taixiang Tang, Huihua Zhang

Retraction: [Taixiang Tang, Huihua Zhang, Data exploration of college students' humanistic literacy in the internet age under the big data environment, IET Software 2023 (https://doi.org/10.1049/sfw2.12087)].

The above article from IET Software, published online on 20 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.

收回:[唐泰祥,张惠华,大数据环境下互联网时代大学生人文素养的数据探索,IET软件2023(https://doi.org/10.1049/sfw2.12087)]来自IET Software的上述文章于2023年1月20日在线发表在威利在线图书馆(wileyonlinelibrary.com),经主编Hana Chockler、工程与技术学会(IET)和John Wiley and Sons有限公司同意撤回。本文作为客座编辑特刊的一部分发表。经过调查,IET和该杂志确定,这篇文章没有按照该杂志的同行评审标准进行评审,有证据表明该特刊的同行评审过程受到了系统的操纵。因此,我们不能保证内容的完整性或可靠性。因此,我们决定收回这篇文章。提交人已被告知撤回的决定。
{"title":"Retracted: Data exploration of college students' humanistic literacy in the internet age under the big data environment","authors":"Taixiang Tang,&nbsp;Huihua Zhang","doi":"10.1049/sfw2.12087","DOIUrl":"https://doi.org/10.1049/sfw2.12087","url":null,"abstract":"<p>Retraction: [Taixiang Tang, Huihua Zhang, Data exploration of college students' humanistic literacy in the internet age under the big data environment, <i>IET Software</i> 2023 (https://doi.org/10.1049/sfw2.12087)].</p><p>The above article from <i>IET Software</i>, published online on 20 January 2023 in Wiley Online Library (wileyonlinelibrary.com), has been retracted by agreement between the Editor-in-Chief, Hana Chockler, the Institution of Engineering and Technology (the IET) and John Wiley and Sons Ltd. This article was published as part of a Guest Edited special issue. Following an investigation, the IET and the journal have determined that the article was not reviewed in line with the journal’s peer review standards and there is evidence that the peer review process of the special issue underwent systematic manipulation. Accordingly, we cannot vouch for the integrity or reliability of the content. As such we have taken the decision to retract the article. The authors have been informed of the decision to retract.</p>","PeriodicalId":50378,"journal":{"name":"IET Software","volume":null,"pages":null},"PeriodicalIF":1.6,"publicationDate":"2023-01-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1049/sfw2.12087","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50138493","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IET Software
全部 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