抽象行为规格化的软件产品线可变性建模方法  

Modeling method for software product line variability based on abstract behavioral specification

作　　者：沈国江[1] 吴昊 陈波[1] 朱李楠[1] SHEN Guojiang;WU Hao;CHEN Bo;ZHU Linan(College of Computer Science and Technology,Zhejiang University of Technology,Hangzhou 310023,China)

机构地区：[1]浙江工业大学计算机科学与技术学院,浙江杭州310023

出　　处：《浙江工业大学学报》2020年第2期119-125,共7页Journal of Zhejiang University of Technology

基　　金：国家自然科学基金资助项目(61701443);浙江省自然科学基金资助项目(LY16F020035)。

摘　　要：为了独立软件服务定义严谨的规格可以保证程序的正确性,研究了软件产品线开发中的可变性建模问题,提出了基于Restful服务驱动产品线模型的演化进程,给出了一种基于抽象行为规格化(Abstract behavioral specification)的组件行为规格方法。该方法基于抽象行为解决了服务间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证,克服了传统方法未关注模型演化的缺陷。最后,结合应用实例说明了此方法的可行性和有效性。Defining rigorous specifications for independent software services ensures the correctness of the program. The modeling method for software product line variability is studied. The evolution process based on Restful service-driven product line model is proposed. A component behavior specification method based on Abstract Behavioral Specification is presented. The method solves the sharing dependencies and mutual influence between services based on abstract behavior. At the same time, it realizes independent description and runtime automatic verification of specifications, and overcomes the shortcomings that traditional methods do not pay attention to model evolution. Finally, the feasibility and effectiveness of this method are illustrated by an application example.

关 键 词：软件产品线 可变性 体系结构 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]