公开(公告)号：KR1020030056654A

公开(公告)日：2003-07-04

申请号：KR1020010086928

申请日：2001-12-28

Applicant: 한국전자통신연구원

Inventor： 최유희 ,  이승연 ,  권오천 ,  신규상

IPC: G06F9/45

CPC classification number: G06F8/71 ,  G06F8/40

Abstract: PURPOSE: A device and a method for assembling an EJB(Enterprise JavaBeans) component are provided to visually assemble the EJB component in a play-and-plug method, to generate a composite EJB in order to reuse the assembled component, and to perform the composite EJB as a unit application together with a client program. CONSTITUTION: A composite palette(201) browses an EJB wrapper file, which is an access code connecting the EJB components to be assembled and used with an architecture model file, a component description file, and the components, and makes it used when an architecture diagram editor(202) performs the modeling of the architecture. The architecture diagram editor(202) performs the visual modeling of the architecture by fitting to a C2(Chiron-2) style. A diagram palette(202) examines a syntax or a grammar error in the completed assembly architecture, and examines that the architecture state is following a C2 rule.

Abstract translation: 目的：提供用于组装EJB（Enterprise JavaBeans）组件的设备和方法，以便在播放和插拔方法中可视化地组装EJB组件，以生成复合EJB以便重新使用组装的组件，并执行 复合EJB作为单元应用程序与客户端程序一起。 组合：复合调色板（201）浏览EJB包装器文件，该文件是连接要组装和使用的EJB组件的访问代码，用于架构模型文件，组件描述文件和组件，并使其在架构 图编辑器（202）执行体系结构的建模。 架构图编辑器（202）通过适应C2（Chiron-2）风格来执行架构的可视化建模。 图表调色板（202）检查完成的装配架构中的语法或语法错误，并检查架构状态是否遵循C2规则。

公开(公告)号：KR100576941B1

公开(公告)日：2006-05-10

申请号：KR1020030094804

申请日：2003-12-22

Applicant: 한국전자통신연구원

Inventor： 이승연 ,  신규상

IPC: G06F9/44

Abstract: 본 발명은 소프트웨어 시스템의 모델 기반 개발(Model-Driven Development: MDD)을 원활히 지원하기 위하여 플랫폼에 독립적으로 설계된 모델을 원하는 플랫폼에 종속적인 모델로 변환하는 기법 및 시스템에 관한 것이다.
즉, 본 발명은 플랫폼에 독립적인 모델(Platform Independent Model: PIM)을 다양한 플랫폼 종속 모델(Platform Specific Model: PSM)로 자동 변환하기 위하여 메타모델 기반의 모델 변환 규칙 정의방법과, 모델 변환의 전체 프로세스와, 정의된 변환 규칙 메타모델과 변환 프로세스를 지원하여 플랫폼 종속 모델을 생성하는 모델 변환 시스템의 구조를 제공한다. 이에 따라 개발자는 플랫폼에 독립적인 모델을 원하는 플랫폼에 맞게 변환될 수 있도록 변환 규칙 메타모델을 기반으로 변환 규칙 인스턴스를 비쥬얼하게 정의할 수 있으며, 모델 변환 시스템을 이용하여 개발자가 정의한 변환 규칙 인스턴스에 맞게 플랫폼에 종속적인 모델을 자동 생성할 수 있다.
모델 변환, 모델 기반 개발, 플랫폼 독립적인 모델, 플랫폼 종속적인 모델, 메타모델

公开(公告)号：KR100501411B1

公开(公告)日：2005-07-18

申请号：KR1020020074397

申请日：2002-11-27

Applicant: 한국전자통신연구원

Inventor： 윤석진 ,  이승연 ,  신규상

IPC: G06F9/44

Abstract: 본 발명은 업무용 소프트웨어시스템을 개발함에 있어 각 구성 컴포넌트에 대한 기능적 성능뿐만 아니라 시간과 같은 비기능적 성능을 모의시험함으로써 보다 예측가능한 시스템을 개발할 수 있도록 하는 비기능적 성능조건이 강제되는 소프트웨어 모형화시스템 및 방법에 관한 것이다.
본 발명은 UML을 기반으로 수치적으로 강제된 성능요구조건이 기술된 비즈니스모형에 비기능적 요구사항인 시간 성능조건을 기술하는 비즈니스모형작성기와, 비즈니스모형에 기술된 성능요구조건을 만족하도록 각 컴포넌트에 대해 성능지수를 명세하고 이를 토대로 설계모형을 작성하는 설계모형작성기와, 설계모형을 시뮬레이션하는 성능시험시뮬레이터와, 시뮬레이션결과를 통해 설계모형이 성능요구조건을 만족하는지 검사하는 모형성능검사기와, 설계모형이 성능요구조건을 만족할 경우 그 구현모형을 작성하는 구현모형작성기와, 구현모형을 하드웨어시스템에서 실행하고 그 수행성능을 측정하는 구현성능측정기로 구성된다.

公开(公告)号：KR100672894B1

公开(公告)日：2007-01-22

申请号：KR1020040109132

申请日：2004-12-21

Applicant: 한국전자통신연구원

Inventor： 최유희 ,  이승연 ,  신규상 ,  양영종

IPC: G06F9/44

CPC classification number: G06F8/10

Abstract: 본 발명은 제품 계열 아키텍처의 표현 및 검증 장치와 그 방법에 관한 것으로서, 공통성과 가변성이 표현된 제품 계열 아키텍처 모델을 자동으로 생성하기 위하여, 제품 계열 아키텍처 구축을 위한 시나리오를 분석하는 시나리오 분석기와, 가변 요소들간의 의존 관계를 형성하기 위한 가변 요소 관계 모델의 생성 모듈과, 입력된 아키텍처 모델을 제품 계열 아키텍처로 자동 변환하는 제품 계열 아키텍처 모델 생성 모듈을 제공하며; 생성된 제품 계열 아키텍처 모델이 시스템의 요구사항을 만족시키는지 검증하기 위하여, 요구사항에 대한 시나리오를 입력 받는 시나리오 입력 모듈과, 시나리오에 대한 아키텍처 모델 요소들을 식별하고 의존성을 파악하는 아키텍처 모델 매핑 모듈과, 요구사항과 시나리오와 아키텍처 요소들간의 관계를 검증 관점 모델로 생성하고 흐름을 추적하는 검증 관점 모델 생성 및 추적 모듈을 제공하여, 가변성을 명시적으로 표현할 수 있게 하고, 제품 계열 아키텍처를 자동으로 생성해 줌으로써 사용자로 하여금 직접 복잡한 가변 요소간의 관계를 고려하지 않아도 되도록 도와주며, 시나리오 기반의 아키텍처 모델 분석을 통하여 아키텍처 모델이 요구사항을 만족하게 설계되었는지 검증할 수 있다.
제품 계열 아키텍처(Product-Line Architecture), 공통성(Commonality), 가변성(Variability), 아키텍처 검증(Architecture Verification), 요구사항(Requirements), 시나리오(Scenario), 검증 관점 모델(Verification Aspect Model)

公开(公告)号：KR1020060070609A

公开(公告)日：2006-06-26

申请号：KR1020040109132

申请日：2004-12-21

Applicant: 한국전자통신연구원

Inventor： 최유희 ,  이승연 ,  신규상 ,  양영종

IPC: G06F9/44

CPC classification number: G06F8/10 ,  G06F8/20 ,  G06F8/30

Abstract: 본 발명은 제품 계열 아키텍처의 표현 및 검증 장치와 그 방법에 관한 것으로서, 공통성과 가변성이 표현된 제품 계열 아키텍처 모델을 자동으로 생성하기 위하여, 제품 계열 아키텍처 구축을 위한 시나리오를 분석하는 시나리오 분석기와, 가변 요소들간의 의존 관계를 형성하기 위한 가변 요소 관계 모델의 생성 모듈과, 입력된 아키텍처 모델을 제품 계열 아키텍처로 자동 변환하는 제품 계열 아키텍처 모델 생성 모듈을 제공하며; 생성된 제품 계열 아키텍처 모델이 시스템의 요구사항을 만족시키는지 검증하기 위하여, 요구사항에 대한 시나리오를 입력 받는 시나리오 입력 모듈과, 시나리오에 대한 아키텍처 모델 요소들을 식별하고 의존성을 파악하는 아키텍처 모델 매핑 모듈과, 요구사항과 시나리오와 아키텍처 요소들간의 관계를 검증 관점 모델로 생성하고 흐름을 추적하는 검증 관점 모델 생성 및 추적 모듈을 제공하여, 가변성을 명시적으로 표현할 수 있게 하고, 제품 계열 아키텍처를 자동으로 생성해 줌으로써 사용자로 하여금 직접 복잡한 가변 요소간의 관계를 고려하지 않아도 되도록 도와주며, 시나리오 기반의 아키텍처 모델 분석을 통하여 아키텍처 모델이 요구사항을 만족하게 설계되었는지 검증할 수 있다.
제품 계열 아키텍처(Product-Line Architecture), 공통성(Commonality), 가변성(Variability), 아키텍처 검증(Architecture Verification), 요구사항(Requirements), 시나리오(Scenario), 검증 관점 모델(Verification Aspect Model)

公开(公告)号：KR100551695B1

公开(公告)日：2006-02-13

申请号：KR1020030051435

申请日：2003-07-25

Applicant: 한국전자통신연구원

Inventor： 이승연 ,  권오천 ,  김진태 ,  이은미 ,  박수용 ,  신규상

IPC: G06F17/00

Abstract: 본 발명은 시나리오에 기반하여 개발될 시스템의 요구 사항을 분석하는 장치에 관한 것으로, 시스템이 사용될 비즈니스에 관한 지식을 비즈니스에서 존재할 수 있는 개체 및 행위를 이용하여 표현한 비즈니스 기술 모델을 생성하는 비즈니스 기술기와, 비즈니스 기술 모델에 표현된 개체들 간의 관계를 에이전트 중심에 발생하는 이벤트 중심으로 기술하는 하나 이상의 시나리오를 생성하는 시나리오 생성기와, 생성된 시나리오에 표현된 요구 사항간의 유사성을 찾아서 시나리오를 분류하는 시나리오 분류기와, 분류된 시나리오의 관계를 규정하면서 공통된 프로세스나 역할을 중심으로 시나리오의 목표를 생성하는 시나리오 추상기와, 생성된 목표 중에서 최상위 목표로부터 하향식으로 진행하여 시나리오의 검증을 수행하는 시나리오 검증기와, 검증된 시나리오의 품질을 평가하기 위한 품질 모델을 매핑하는 품질 속성 매핑기를 포함한다. 따라서, 본 발명은 소프트웨어 품질 속성을 고려한 요구 사항 획득이 이뤄지므로, 품질속성에 맞는 시스템관리를 이룰 수가 있으며, 품질속성을 매핑하는 과정에서 정량적인 수치로 품질속성이 파악되므로 설계나 개발 단계에서 구체적인 요구 사항 선택 자료로 사용될 수 있는 효과가 있다.

公开(公告)号：KR1020040046464A

公开(公告)日：2004-06-05

申请号：KR1020020074397

申请日：2002-11-27

Applicant: 한국전자통신연구원

Inventor： 윤석진 ,  이승연 ,  신규상

IPC: G06F9/44

Abstract: PURPOSE: A system and a method for modeling software by forcing a non-function performance condition are provided to make the performance of a developing system more predictable by numerically forcing the time performance for each individual component on the business software development, and develop the software adequate for the performance of the hardware for operating the software. CONSTITUTION: A business model writer(11) writes a business model describing a numerically forced performance requirement based on a UML(Unified Modeling Language). A design model writer(12) writes a performance index for each component in detail so as to satisfy the performance requirement, and writes a design model based on the performance index. A model performance examiner(14) examines that the design model satisfies the performance requirement based on a simulation result. A realization model writer(15) writes a realization model if the design model satisfies the performance requirement. A realization performance measurer(16) executes the realization model of a hardware system and measures the executed performance.

Abstract translation: 目的：提供一种通过强制执行非功能性能条件来建模软件的系统和方法，以使开发系统的性能更可预测，从而通过数字上强制业务软件开发中每个组件的时间性能，并开发软件 足以用于操作软件的硬件的性能。 规定：商业模式作家（11）写出一种基于UML（统一建模语言）描述数字强制性能要求的业务模型。 设计模型编写者（12）详细记录每个组件的性能指标，以满足性能要求，并根据性能指标编写设计模型。 模型性能考核者（14）考察了设计模型基于模拟结果满足性能要求。 如果设计模型满足性能要求，则实现模型编写器（15）写入实现模型。 实现性能测量器（16）执行硬件系统的实现模型并测量执行的性能。

公开(公告)号：KR100426311B1

公开(公告)日：2004-04-08

申请号：KR1020010086928

申请日：2001-12-28

Applicant: 한국전자통신연구원

Inventor： 최유희 ,  이승연 ,  권오천 ,  신규상

IPC: G06F9/45

CPC classification number: G06F8/71

Abstract: An apparatus for assembling EJB components is provided. The apparatus includes a composite palette for browsing and managing the EJB components, and an architecture diagram editor module for dragging and dropping the EJB components shown in the composite palette or new component and connector icons to visually generate the architecture based on the C2 style. The apparatus further includes a component property editor module for describing properties and specifications of the EJB components in an architecture, and a glue code and composite EJB generator module for generating composite EJB component code and related glue code.

Abstract translation: 提供了一种用于组装EJB组件的装置。 该装置包括用于浏览和管理EJB组件的复合调色板以及用于拖放复合调色板中显示的EJB组件或新组件和连接器图标以基于C2风格在视觉上生成体系结构的体系结构图编辑器模块。 该装置还包括用于描述体系结构中的EJB组件的属性和规范的组件属性编辑器模块以及用于生成组合EJB组件代码和相关粘合代码的粘合代码和复合EJB生成器模块。

公开(公告)号：KR1020050063404A

公开(公告)日：2005-06-28

申请号：KR1020030094804

申请日：2003-12-22

Applicant: 한국전자통신연구원

Inventor： 이승연 ,  신규상

IPC: G06F9/44

Abstract: 본 발명은 소프트웨어 시스템의 모델 기반 개발(Model-Driven Development: MDD)을 원활히 지원하기 위하여 플랫폼에 독립적으로 설계된 모델을 원하는 플랫폼에 종속적인 모델로 변환하는 기법 및 시스템에 관한 것이다.
즉, 본 발명은 플랫폼에 독립적인 모델(Platform Independent Model: PIM)을 다양한 플랫폼 종속 모델(Platform Specific Model: PSM)로 자동 변환하기 위하여 메타모델 기반의 모델 변환 규칙 정의방법과, 모델 변환의 전체 프로세스와, 정의된 변환 규칙 메타모델과 변환 프로세스를 지원하여 플랫폼 종속 모델을 생성하는 모델 변환 시스템의 구조를 제공한다. 이에 따라 개발자는 플랫폼에 독립적인 모델을 원하는 플랫폼에 맞게 변환될 수 있도록 변환 규칙 메타모델을 기반으로 변환 규칙 인스턴스를 비쥬얼하게 정의할 수 있으며, 모델 변환 시스템을 이용하여 개발자가 정의한 변환 규칙 인스턴스에 맞게 플랫폼에 종속적인 모델을 자동 생성할 수 있다.

公开(公告)号：KR1020050012460A

公开(公告)日：2005-02-02

申请号：KR1020030051435

申请日：2003-07-25

Applicant: 한국전자통신연구원

Inventor： 이승연 ,  권오천 ,  김진태 ,  이은미 ,  박수용 ,  신규상

IPC: G06F17/00

Abstract: PURPOSE: A method for quantitatively analyzing requirements of a system to be developed based on a scenario is provided to facilitate user's use, generate a scenario from a set goal by setting an initial goal, and realize quality control of the system by using an analysis method combining the goal and the scenario. CONSTITUTION: A business description model to describe knowledge for a business using the system by probable objects and activities of the business is generated(11). The scenarios describing relationship between objects described in the business description model based on an event occurring in an agent core are generated(13). The scenarios are classified by finding similarity among requirements described in the scenarios(15). The goal of the scenario is generated based on a common process or role, while the relationship of the classified scenario(17). The scenario is verified by advancing the goal from the top goal downwardly(19). A quality model for estimating quality of the verified scenario is mapped(20).

Abstract translation: 目的：提供一种定量分析基于场景开发系统需求的方法，方便用户使用，通过设定初始目标从设定目标生成场景，并通过使用分析方法实现系统的质量控制 结合目标和场景。 构成：生成一个业务描述模型，用于描述通过可能的对象和业务活动使用系统的业务的知识（11）。 生成描述基于代理核心中发生的事件的业务描述模型中描述的对象之间的关系的场景（13）。 通过在场景（15）中描述的需求之间的相似性来分类场景。 场景的目标是基于共同的过程或角色生成，而分类场景的关系（17）。 通过从顶部目标向下推进目标来验证该情景（19）。 映射验证场景质量的质量模型（20）。