등록
제품 계열 아키텍처의 표현 및 검증 장치와 그 방법
- 발명자
-
이승연, 최유희, 신규상, 양영종
- 출원번호
-
11121994 (2005.07.06)
- 공개번호
-
20060136864 (2006.06.22)
- 등록번호
- 7721252 (2010.05.18)
- 출원국
- 미국
- 협약과제
- 초록
- 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.
- KSP 제안 키워드
- Architecture Model, Architecture description, Aspect model, Dependency relationships, Model components, Product architecture, Product line architecture, Relationship model, Static modeling, System Requirements, Verification Tool, dynamic modeling, model conversion, model-based, product line