| 1 |
1
휘처 기반 소프트웨어 제품라인 개발 환경을 제공하는 시스템으로서, 특정 영역에 대한 후보 휘처 모델들을 에디터 모듈을 통해 입력받아 공통점을 나타내는 필수 휘처, 차이점을 나타내는 선택적 휘처 및 택일적 휘처를 분류하여 트리(tree) 구조의 휘처 모델을 작성하는 휘처 모델링 모듈과, 상기 작성된 휘처 모델 중 필수 휘처 및 선택적 택일적 휘처를 찾아서 그들의 관계 및 합성 법칙을 명세하도록 제공하고, 상기 제공에 대응하여 입력되는 휘처 법칙을 상기 휘처 모델에 적용하여 합성 법칙에 맞게 명세되어 있는지, 휘처들 간의 관계가 제대로 설정되어 있는지를 검증하는 휘처 모델 검증 모듈과, 상기 검증된 휘처 모델을 가져와서 상기 휘처들 중에서 응용 프로그램 개발 시 공통점을 표현하는 필수 휘처들과 차이점을 나타내는 선택적 휘처들을 선택하도록 제공하고, 상기 제공에 대응하여 선택된 휘처 선택 정보를 휘처 법칙에 따라 검증 및 저장하는 휘처 선택 모듈을 포함하는 ASADAL/FORM과,상기 휘처 모델과 휘처 선택 정보를 기반으로 재사용 가능한 자산 컴포넌트 개발 지원과, 자산 컴포넌트를 매크로 처리하여 휘처 선택에 맞는 소프트웨어 컴포넌트를 생성하며, 상기 컴포넌트에 대한 형상 관리를 지원하는 ASADAL/COMP와,상기 응용 프로그램 개발을 위한 아키텍처 모델링 및 운영 모델링과 자동 코드 생성, 가상 테스트 베드의 구축 및 시뮬레이션을 통한 검증을 수행하는 ASADAL/OBJ와,상기 ASADAL/FORM, ASADAL/COMP 및 ASADAL/OBJ에 의해 생성된 데이터를 저장하는 ASADAL/ASSET DB와,상기 ASADAL/ASSET DB에 저장된 데이터들 간의 일관성을 검증하는 ASADAL/ANALYZER를 포함하는 시스템
|
| 2 |
2
제 1 항에 있어서,상기 휘처 모델링 모듈에 의해 생성된 휘처 모델과, 상기 휘처 선택 모듈에 의해 생성된 휘처 선택 정보는 상기 ASADAL/ASSET DB에 저장되는 것을 특징으로 하는시스템
|
| 3 |
3
휘처 기반 소프트웨어 제품라인 개발 환경을 제공하는 시스템으로서, 특정 영역에 대한 후보 휘처 모델들을 이용하여 휘처 모델을 작성하고, 상기 작성된 휘처 모델을 찾아서 그들의 관계 및 합성 법칙을 명세 제공하고 상기 제공에 대응하여 입력되는 휘처 법칙을 상기 휘처 모델에 적용하여 합성 법칙에 맞게 명세되어 있는지를 검증하며, 상기 검증된 휘처 모델을 가져와서 상기 휘처들 중에서 응용 프로그램 개발 시 공통점을 표현하는 필수 휘처들과 차이점을 나타내는 선택적 휘처들을 선택하도록 제공하고 상기 제공에 대응하여 선택된 휘처 선택 정보를 휘처 법칙에 따라 검증 및 저장하는 ASADAL/FORM과,상기 휘처 모델에서 정의된 필수 휘처들 중에서 휘처들 중에서 관련성이 높은 휘처들을 묶어 자산 컴포넌트를 정의하고, 상기 자산 컴포넌트에 관련되는 선택적 휘처 및 택일적 휘처들이 존재하면 컴포넌트가 어떻게 대응해야 할지를 매크로(macro)를 사용하여 명세하도록 제공하며 상기 제공에 대응하여 입력된 매크로 명세와 휘처의 관계를 설정하여 자산 컴포넌트를 작성하는 자산 컴포넌트 개발 모듈과, 상기 매크로 사용시 발생하는 문법적인 오류와 명세의 유효성을 검증하는 자산 컴포넌트 검증 모듈과, 상기 휘처 선택 정보에 기초하여 자산 컴포넌트 명세에 포함된 매크로를 처리하여 선택된 휘처들을 구현하는 코드로 변화시켜 소프트웨어 컴포넌트를 자동 생성하는 소프트웨어 컴포넌트 생성 모듈과, 상기 소프트웨어 컴포넌트의 생성 시 사용된 휘처 선택 정보와 자산 컴포넌트 정보에 기초하여 생성된 형상관리 정보를 관리하며, 상기 소프트웨어 컴포넌트에서 오류가 발생하는 경우에 그것이 생성된 휘처 모델과 자산 컴포넌트에 대한 역추적성을 제공하는 컴포넌트 형상관리 모듈을 포함하는 ASADAL/COMP와,상기 응용 프로그램 개발을 위한 아키텍처 모델링 및 운영 모델링과 자동 코드 생성, 가상 테스트 베드의 구축 및 시뮬레이션을 통한 검증을 수행하는 ASADAL/OBJ와,상기 ASADAL/FORM, ASADAL/COMP 및 ASADAL/OBJ에 의해 생성된 데이터를 저장하는 ASADAL/ASSET DB와,상기 ASADAL/ASSET DB에 저장된 데이터들 간의 일관성을 검증하는 ASADAL/ANALYZER를 포함하는 시스템
|
| 4 |
4
제 3 항에 있어서,상기 자산 컴포넌트 개발 모듈은 상기 ASADAL/ASSET DB에서 상기 휘처 모델을 전달받아 상기 자산 컴포넌트를 생성하며, 상기 생성된 자산 컴포넌트를 상기 ASADAL/ASSET DB에 저장하며,상기 소프트웨어 컴포넌트 생성 모듈은 상기 ASADAL/ASSET DB에서 상기 휘처 선택 정보와 상기 자산 컴포넌트를 전달받아 상기 소프트웨어 컴포넌트를 생성하며, 상기 생성된 소프트웨어 컴포넌트를 상기 ASADAL/ASSET DB에 저장하며,상기 형상관리 모듈에서 생성된 상기 형상관리 정보는 상기 ASADAL/ASSET DB에 저장되는 것을 특징으로 하는시스템
|
| 5 |
5
휘처 기반 소프트웨어 제품라인 개발 환경을 제공하는 시스템으로서,특정 영역에 대한 후보 휘처 모델들을 이용하여 휘처 모델을 작성하고, 상기 작성된 휘처 모델을 찾아서 그들의 관계 및 합성 법칙을 명세 제공하고 상기 제공에 대응하여 입력되는 휘처 법칙을 상기 휘처 모델에 적용하여 합성 법칙에 맞게 명세되어 있는지를 검증하며, 상기 검증된 휘처 모델을 가져와서 상기 휘처들 중에서 응용 프로그램 개발 시 공통점을 표현하는 필수 휘처들과 차이점을 나타내는 선택적 휘처들을 선택하도록 제공하고 상기 제공에 대응하여 선택된 휘처 선택 정보를 휘처 법칙에 따라 검증 및 저장하는 ASADAL/FORM과,상기 휘처 모델과 휘처 선택 정보를 기반으로 재사용 가능한 자산 컴포넌트 개발 지원과, 자산 컴포넌트를 매크로 처리하여 휘처 선택에 맞는 소프트웨어 컴포넌트를 생성하며, 상기 컴포넌트에 대한 형상 관리를 지원하는 ASADAL/COMP와,상기 휘처 모델에 표현된 휘처의 비기능적 요소를 고려하여 소프트웨어 컴포넌트를 어떻게 배치할지를 설계하여 소프트웨어 아키텍처를 생성하는 소프트웨어 아키텍처 모델링 모듈과, 기능과 행위 명세 언어를 이용하여 응용 소프트웨어 고유의 컴포넌트에 대한 운영 모델을 생성하는 운영 모델링 모듈과, 상기 소프트웨어 아키텍처 모델링 모듈 및 운영 모델링 모듈에서 생성된 소프트웨어 아키텍처 및 운영 모델에 포함된 명세의 불일치성 및 오류를 검증하는 모델 유효성 검증 모듈과, 상기 운영 모델 및 아키텍쳐 모델을 기초로 하여 타겟 프로그램 언어로 제어 코드 및 시뮬레이션 코드를 생성하는 자동 코드 생성 모듈을 포함하는 ASADAL/OBJ와,상기 ASADAL/FORM, ASADAL/COMP 및 ASADAL/OBJ에 의해 생성된 데이터를 저장하는 ASADAL/ASSET DB와,상기 ASADAL/ASSET DB에 저장된 데이터들 간의 일관성을 검증하는 ASADAL/ANALYZER를 포함하는 시스템
|
| 6 |
6
제 5 항에 있어서,상기 ASADAL/OBJ는,상기 응용 프로그램이 배치되어 실행될 시스템을 가상으로 모델링하여 환경 객체를 생성하는 환경 객체 모델링 모듈,상기 제어 코드를 상기 시스템을 제어하기 위한 응용 프로그램을 개발하는 제어부에서 실행하는 제어기 시뮬레이션 모듈,상기 시뮬레이션 코드를 상기 환경 객체에서 실행하는 환경 시뮬레이션 모듈,상기 제어기 시뮬레이션 모듈과 상기 환경 시뮬레이션 모듈 간에 송수신되는 데이터와 이벤트를 연결하는 가상 입출력 매핑 모듈,상기 시스템과 상기 환경 시뮬레이션 모듈 간에 송수신되는 데이터와 이벤트를 연결하는 실제 입출력 매핑 모듈을 더 포함하는 것을 특징으로 하는시스템
|
| 7 |
7
제 6 항에 있어서,상기 환경 객체 모델링 모듈은 상기 환경 객체의 형태를 모델링하기 위해 여러 가지 모양을 가지는 시스템을 시각적으로 표현하기 위한 3차원 형태를 생성하며, 상기 환경 시뮬레이션 모듈은 상기 3차원 형태를 상기 운영 모델과 매치하여 3차원 시뮬레이션을 수행하는 것을 특징으로 하는시스템
|
| 8 |
8
제 6 항에 있어서,상기 시스템은 상기 실제 입출력 매핑 모듈을 통하여 상기 환경 시뮬레이션 모듈과 이벤트와 데이터의 통신을 수행하여 시뮬레이션을 수행하는 것을 특징으로 하는시스템
|
| 9 |
9
제 5 항에 있어서,상기 운영 모델링 모듈은 기능 명세의 방법을 통하여 상기 시스템의 외부에서 입력되는 재사용 가능한 소프트웨어 컴포넌트를 사용하는 것을 특징으로 하는 시스템
|
| 10 |
10
제 5 항에 있어서,상기 소프트웨어 아키텍처 모델링 모듈은 생성된 소프트웨어 아키텍처를 상기 ASADAL/ASSET DB에 저장하며,상기 운영 모델링 모듈은 상기 ASADAL/ASSET DB에 저장된 상기 소프트웨어 아키텍처를 전달받아 상기 운영 모델을 생성하고, 상기 생성된 운영 모델을 상기 ASADAL/ASSET DB에 저장하는 것을 특징으로 하는시스템
|
| 11 |
11
휘처 기반 소프트웨어 제품라인 개발 환경을 제공하는 시스템으로서,특정 영역에 대한 후보 휘처 모델들을 이용하여 휘처 모델을 작성하고, 상기 작성된 휘처 모델을 찾아서 그들의 관계 및 합성 법칙을 명세 제공하고 상기 제공에 대응하여 입력되는 휘처 법칙을 상기 휘처 모델에 적용하여 합성 법칙에 맞게 명세되어 있는지를 검증하며, 상기 검증된 휘처 모델을 가져와서 상기 휘처들 중에서 응용 프로그램 개발 시 공통점을 표현하는 필수 휘처들과 차이점을 나타내는 선택적 휘처들을 선택하도록 제공하고 상기 제공에 대응하여 선택된 휘처 선택 정보를 휘처 법칙에 따라 검증 및 저장하는 ASADAL/FORM과,상기 휘처 모델과 휘처 선택 정보를 기반으로 재사용 가능한 자산 컴포넌트 개발 지원과, 자산 컴포넌트를 매크로 처리하여 휘처 선택에 맞는 소프트웨어 컴포넌트를 생성하며, 상기 컴포넌트에 대한 형상 관리를 지원하는 ASADAL/COMP와,상기 응용 프로그램 개발을 위한 아키텍처 모델링 및 운영 모델링과 자동 코드 생성, 가상 테스트 베드의 구축 및 시뮬레이션을 통한 검증을 수행하는 ASADAL/OBJ와,상기 ASADAL/FORM, ASADAL/COMP 및 ASADAL/OBJ에 의해 생성된 데이터를 저장하는 ASADAL/ASSET DB와,상기 ASADAL/ASSET DB에 저장된 데이터들 간의 일관성을 검증하며, 상기 휘처 모델과 상기 자산 컴포넌트 간의 일관성을 검사하는 모듈과, 운영 모델의 일관성을 검사하는 모듈과, 상기 아키텍처 모델과 상기 소프트웨어 컴포넌트 간의 일관성을 검사하는 모듈과, 상기 소프트웨어 컴포넌트와 상기 운영 모델 간의 일관성을 검사하는 모듈을 포함하는 ASADAL/ANALYZER를 포함하는 시스템
|
