文章基本信息

标题：A Conflicts Detection Approach for Merging Formal Specification Views
本地全文：下载
作者：Fathi Taibi ; Fouad Mohammed Abbou ; Md. Jahangir Alam 等
期刊名称：Journal of Software Engineering and Applications
印刷版ISSN：1945-3116
电子版ISSN：1945-3124
出版年度：2010
卷号：3
期号：5
页码：460-471
DOI：10.4236/jsea.2010.35052
出版社：Scientific Research Publishing
摘要：Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this process, developers working in parallel introduce and make modifications to requirements until reaching a specification that satisfies the stakeholders’ requirements. Merge conflicts are inevitable when integrating the modifications made by different developers to a shared specification. Thus, detecting and resolving these conflicts is critical to ensure a consistent resulting specification. A conflicts detection approach for merging Object-Oriented formal specifications is proposed in this paper. Conflicts are classified, formally defined and detected based on the results of a proposed differencing algorithm. The proposed approach has been empirically evaluated, and the experimental results are discussed in this paper.
关键词：Formal Specification; Object-Oriented; Collaboration; Merge Conflicts; Consistency