摘要 |
An apparatus and a method for a product-line description and verification is provided. The apparatus includes: a product-line architecture model conversion tool for classifying related architecture model components according to variant characteristics by analyzing inputted scenarios, generating a dependency relationship model by extracting a dependency relationship between architecture model elements based on a variant element, and generating a product-line architecture from an inputted architecture model based on the dependency relationship model; and a product-line architecture verification tool for receiving a scenario of a system requirement, mapping the scenario to related architecture model components, analyzing an architecture model dependency by analyzing static modeling information and dynamic modeling information of a product architecture, and generating an aspect model of the requirements, the scenario and the related architecture model components.
|