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

摘要：

为了独立软件服务定义严谨的规格可以保证程序的正确性,研究了软件产品线开发中的可变性建模问题,提出了基于Restful服务驱动产品线模型的演化进程,给出了一种基于抽象行为规格化(Abstract behavioral specification)的组件行为规格方法.该方法基于抽象行为解决了服务间的共享依赖和相互影响,同时实现了规格与实现的独立描述与运行时自动化验证,克服了传统方法未关注模型演化的缺陷.最后,结合应用实例说明了此方法的可行性和有效性.

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

所属期刊栏目：48

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目;浙江省自然科学基金资助项目

在线出版日期：2020-04-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：119-125