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

【Abstract】 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.更多还原