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.