Patent Document ID: 7721252
Application ID: 11121994
Patent Status: 1

Claim One:
1. An apparatus having a processor for a product-line architecture description and verification, comprising: a product-line architecture model conversion tool configured to operate on a computer in order to classify related architecture model components according to variant characteristics by analyzing inputted scenarios, generating a dependency relationship model by extracting a dependency relationship between the architecture model components based on a variant element, and generating the product-line architecture from an inputted architecture model based on the generated dependency relationship model; and a product-line architecture verification tool configured to operate on the computer in order to receive a scenario of a system requirement, mapping the scenario to the related architecture model components, analyzing an architecture model dependency by analyzing static modeling information and dynamic modeling information of the product-line architecture, and generating an aspect model of the requirement, the scenario and the related architecture model components; wherein the product-line architecture model conversion tool includes: a scenario analyzer for classifying the architecture model components according to the variant characteristics by analyzing the inputted scenarios for implementing the product-line architecture; a variant element relationship model generator for generating the dependency relationship model by extracting the dependency relationship between the architecture model components based on the variant element and managing the generated dependency relationship model for describing elements changed by the variant element; and a product-line architecture model generator configured to operate on a computer for generating the product-line architecture from the inputted architecture model based on the dependency relationship model, the product-line architecture model generator includes: an optional function used when an opt operator is used; and an alternative function used when an alt operator is used; wherein the architecture model components are classified as an optional component based on expansion of independent individual function if a component mapped using the opt operator is not included in another scenario, and the architecture model components are classified as a component of the optional function if the component mapped to the opt operator is included in other scenario; and wherein the architecture model components are classified as a variant component changing embodiments without changing the interface if interfaces of components mapped using the alt operator are identical to the interface of an architecture model, and the architecture model components are classified to a variant component changing the interface if the interfaces of the architecture model components are not identical to the interface of the architecture model.