On tractability from requirements to architecture in product line software engineering

PLSE（Product Line Software Engineering）被认为是实现高生产率的又一突破口。我们提出并验证了构建产品线体系结构的方法，允许非功能性以及功能性需求，并确保软件和体系结构的需求之间的易处理性。在此基础上，讨论了体系结构级执行前检查、代码检查和生成代码的工具等问题。

PLSE(Product Line Software Engineering) has been expected to be another breakthrough to the high productivity. We proposed and validated the methods for constructing product line architecture allowing for non-functional as well as functional requirements, and for ensuring tractability between requirements for the software and the architecture. Based on the methods, we also discussed about the issues on architecture-level pre-execution check, code inspection, and tools for generating codes from the architecture.