公开(公告)号：KR1020030041446A

公开(公告)日：2003-05-27

申请号：KR1020010072239

申请日：2001-11-20

Applicant: 한국전자통신연구원

Inventor： 신석규 ,  이상덕 ,  정철주

IPC: G06F15/16

Abstract: PURPOSE: A method for checking a bisimulation equivalence based on a game model is provided to check a bisimulation equivalence of a behavior between models of two successive specifications. CONSTITUTION: In a method for checking whether specifications display the same behaviors when the specifications with respect to two concurrent systems are given in a computer system, a bisimulation operation game model of a bisimulation equivalence checking term with a user is implemented, and a bisimulation equivalence checking environment is constructed based on the bisimulation operation game model. A bisimulation equivalence is checked using a branch-and-bound and a random work as a game strategy of a checker on the bisimulation equivalence checking environment.

Abstract translation: 目的：提供一种基于游戏模型检查双模等效性的方法，以检查两个连续规范的模型之间的行为的双模等效性。 规定：在计算机系统中给出相对于两个并发系统的规格的情况下，在检查规格是否显示相同的行为的方法中，实现了与用户的双模等效检查项的双模拟操作游戏模型，并且实现了双模等效 基于双模操作游戏模型构建检查环境。 使用分支绑定和随机工作来检查双模拟等价物作为二进制等价检查环境下的检验器的游戏策略。

公开(公告)号：KR1020010057779A

公开(公告)日：2001-07-05

申请号：KR1019990061186

申请日：1999-12-23

Applicant: 한국전자통신연구원

Inventor： 오영배 ,  김강호 ,  이상덕 ,  김정아

IPC: G06F15/16

Abstract: PURPOSE: A method for extending a distributed system application is provided to offer the independency and the extension of each tier by providing a programming pattern using a mapper, and by redefining an application under performance instead of changing the application through the mapper in case that a new object is added or a schema of a database is changed. CONSTITUTION: An interface with a user is performed through a view class(110) inherited from a view mapper(100). The view class(110) transmits the user's message to a business class(130) inherited from a logic mapper and formed. The business class(130) transmits the user's message transmitted from the view class(110) to a storing place class(150). The storing place class(150) processes the message received from the business class(130) with a transaction of a database(160). The storing place class(150) transmits the processed result to the user using the business class(130) and the view class(110).

Abstract translation: 目的：提供一种用于扩展分布式系统应用程序的方法，通过使用映射器提供编程模式，并通过在性能下重新定义应用程序来提供每个层级的独立性和扩展性，而不是通过映射程序来更改应用程序， 添加新对象或更改数据库模式。 构成：通过从视图映射器（100）继承的视图类（110）执行与用户的接口。 视图类（110）将用户的消息发送到从逻辑映射器继承并形成的业务类（130）。 业务类（130）将从视图类（110）发送的用户消息发送到存储场所类（150）。 存储地点类（150）使用数据库的事务处理从业务类（130）接收的消息（160）。 存储地点类（150）使用业务类（130）和视图类（110）将处理的结果发送给用户。

公开(公告)号：KR1020010056462A

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

申请号：KR1019990057928

申请日：1999-12-15

Applicant: 한국전자통신연구원

Inventor： 김동관 ,  이상덕 ,  양영종 ,  정효택

IPC: G06F17/18

Abstract: PURPOSE: An apparatus and method for reusing a previously used case for extracting demanding item of an objected-oriented system and a method for extracting demanding item are provided to reduce a time and a cost for developing a software by analyzing a functional requesting item of a software more exactly through a reuse of an existing case in a demanding item analyzing stage of a software developing process. CONSTITUTION: An actor input unit(301) receives an actor extracted from a problem area. A using case input unit(302) receives a using case newly extracted from a problem area. A using case summary description input unit(303) receives a simple explanation with respect to the extracted using case in accordance with a fixed input form. A using case detailed description input unit(304) describes an event flow of the interior of a using case. Another using case input unit(305) inputs a using case scenario in accordance with a fixed input form based on a using case description. A using case description unit(306) receives a sequence diagram, an activity diagram and a status diagram for a standardization of a using case. A using case searching unit(307) searches a similar using case in accordance with a demand by a user. A using case form managing unit(308) manages a version of a stored using case. All using cases, which are extracted or changed, are stored in a storing portion(309).

Abstract translation: 目的：提供一种用于重用先前使用的用于提取面向对象系统的要求项的情况的装置和方法以及用于提取要求项的方法，以通过分析一个功能请求项来减少开发软件的时间和成本 软件更准确地通过在软件开发过程的苛刻的项目分析阶段重新使用现有案例。 构成：演员输入单元（301）接收从问题区域提取的演员。 用例输入单元（302）接收从问题区域新提取的使用情况。 使用案例概要描述输入单元（303）根据固定的输入形式接收关于所提取的使用情况的简单说明。 使用案例详细描述输入单元（304）描述了使用案例的内部的事件流。 另一使用案例输入单元（305）基于使用案例描述根据固定的输入表单输入使用案例场景。 使用案例描述单元（306）接收用于使用案例的标准化的序列图，活动图和状态图。 使用案例搜索单元（307）根据用户的需求搜索类似的使用情况。 使用案例表单管理单元（308）管理存储的使用案例的版本。 提取或改变的所有使用情况都存储在存储部分（309）中。

公开(公告)号：KR100319753B1

公开(公告)日：2002-01-09

申请号：KR1019990061184

申请日：1999-12-23

Applicant: 한국전자통신연구원

Inventor： 오영배 ,  정연대 ,  이상덕

IPC: G06F17/50

Abstract: 본발명은 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체에관한것으로, 사용자, 프로세스로직및 정보계층을분리한 3층(3-tier)구조상에서컴포넌트를개발함으로써, 환경의변화에신속히대응할수 있고, 컴포넌트의재사용성을극대화시킬수있는 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체를제공하기위하여, 컴포넌트개발요구사항분석을통해분석모델인객체를추출하는제 1 단계; 상기추출된객체를이용하여사용자계층, 프로세스로직계층및 정보계층으로구성된 3층(3-tier)구조상에서의모델을설계하는제 2 단계; 및상기설계된모델을이용하여컴포넌트를구현하는제 3 단계를포함하며, 컴포넌트개발등에이용됨.

公开(公告)号：KR100284574B1

公开(公告)日：2001-03-15

申请号：KR1019970055206

申请日：1997-10-27

Applicant: 한국전자통신연구원

Inventor： 김순용 ,  손승우 ,  이상덕

IPC: G06F17/30

Abstract: 본 발명은 멀티미디어 메타데이터를 해석하고 검증하는 시스템을 지원하는 객체 자동저장 시스템 및 그 운용방법에 관한 것이다. 그 목적은 인터넷 상에서 찾은 정보를 보관해 두기 위하여 자신의 기준에서 필요한 정보를 부가할 수 있도록 객체 자동저장 시스템 및 그 운용방법을 제공하는 데에 있다. 그 구성은 메타데이터를 SGML 형식으로 정의하는 메타데이터 문서형 정의기와, 메타데이터 요소들의 값을 입력할 수 있는 메타데이터 편집기와, 메타데이터 문서형 정의 및 메타데이터 문서의 문법오류를 검사하는 메타데이터 파서와, 메타데이터 파서의 결과를 입력으로 받아 각 요소를 분리하는 메타데이터 분석기와, 각 메타데이터 요소들을 객체 형태로 만드는 메타데이터 관리기와, 메타데이터의 구조적인 정보와 각 메타데이터 요소의 정보 및 애트리뷰트에 대한 정보를 저장할 수 있도록 스키마를 생성하여 메타데이터베이스를 저장하는 멀티미디어 메타데이터 서버 및 앞의 모든 수단들을 제어하고 관리하는 시스템 제어기로 되어있다. 또한, 누구라도 쉽게 메타데이터 응용 프로그램을 작성할 수 있게 하며, 메타데이터 저작시 경제성과 효율성을 높일 수 있다는 데에 그 효과가 있다.

公开(公告)号：KR1020000031265A

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

申请号：KR1019980047214

申请日：1998-11-04

Applicant: 한국전자통신연구원

Inventor： 김순용 ,  윤인중 ,  이상덕 ,  김철홍

IPC: G06F9/44

Abstract: PURPOSE: A class automatic abstraction system and the method integrating and managing each module are provided. CONSTITUTION: An information abstraction device(1) forms an input/output specification, and abstracts a noan phrase, a verb phrase and an adjective according to the analysis design of a Coad and Yourdon pattern. A class candidate abstraction device(2) makes a class candidate abstraction from the verb phrase and the noan phrase using associated information for the abstracted noan phrase. A class candidate verification device(3) verifies classes not having attribution and service in the abstracted class candidates. An attribution definition device(4) makes out the abstraction of attribution, the definition of instance connection and class state transition rate. A service definition device(5) makes out the abstraction of service, input/output data, the definition of service locutionary condition and side effects, the definition of message connection, and service chart. A structure definition device(6) abstracts the structure for an object definition device(7) finds the object in the structure definition, and makes out a subject layered group.

Abstract translation: 目的：提供一个类自动抽象系统和集成和管理每个模块的方法。 构成：信息抽象装置（1）形成输入/输出规范，并根据Coad和Yourdon模式的分析设计抽象出一个短语，一个动词短语和一个形容词。 类候选抽象设备（2）使用动词短语和noan短语使用抽象的noan短语的相关信息进行类候选抽象。 课堂候选人验证设备（3）验证抽象班级候选人中没有归属和服务的班级。 属性定义设备（4）提出了归属的抽象，实例连接的定义和类状态转换速率。 服务定义设备（5）提出服务抽象，输入/输出数据，服务定位条件和副作用的定义，消息连接的定义和服务图。 结构定义装置（6）抽取对象定义装置（7）在结构定义中找到对象的结构，并且形成对象分层组。

公开(公告)号：KR100249811B1

公开(公告)日：2000-03-15

申请号：KR1019970053453

申请日：1997-10-17

Applicant: 한국전자통신연구원

Inventor： 이상덕 ,  손승우 ,  김채규

IPC: G06F15/16

Abstract: 본 발명은 트랜잭션 관리 시스템에서 가변적 동시성을 제어하는 장치 및 그 방법에 관한 것으로서, 본 발명의 장치는 다수의 프로세스에 의해 공유된 데이터베이스와, 트랜잭션의 커밋과 중단을 담당하며 상기 데이터베이스에 대한 연산을 직접적으로 수행하는 데이터 관리자와, 상기 데이터베이스에서 요구되는 전처리와 트랜잭션 연산을 수행하는 트랜잭션 관리자와, 상기 트랜잭션 관리자에서 트랜잭션 연산을 수행할 때 그 트랜잭션 연산이 어떤 데이터베이스와 수행될지 상대적인 순서를 제어하는 스케쥴러와, 상기 주어진 트랜잭션 연산이 충돌을 하는지를 검사하며 충돌이 발생하는 트랜잭션에 대하여 종속 관계를 나타내는 종속 관계 쌍을 만드는 충돌 검사기와, 연속되는 중단수(n)와 동시 실행 가능한 트랜잭션 수(k)를 사전에 입력받아 상기 � ��돌 검사기에서 만들어진 종속 관계 쌍과 상기 연속되는 중단수(n) 및 동시 실행 가능한 트랜잭션 수(k)를 비교하여 상기 종속 관계 쌍이 연속되는 중단수(n) 및 동시 실행 가능한 트랜잭션 수(k) 보다 작거나 같으면 해당 연산을 실행할 것을 상기 데이터 관리자에게 알리고 그렇지 않으면 해당 연산을 지연시키는 종속 그래프 검사기로 구성되어, 특정 동시성 제어 방법에 종속되지 않고 시스템 관리자가 동시성 제어 방법을 데이터베이스 상황에 따라 선택할 수 있다는 장점이 있다.

公开(公告)号：KR1019990032412A

公开(公告)日：1999-05-15

申请号：KR1019970053453

申请日：1997-10-17

Applicant: 한국전자통신연구원

Inventor： 이상덕 ,  손승우 ,  김채규

IPC: G06F15/16

Abstract: 본 발명은 트랜잭션 관리 시스템에서 가변적 동시성을 제어하는 장치 및 그 방법에 관한 것으로서, 본 발명의 장치는 다수의 프로세스에 의해 공유된 데이터베이스와, 트랜잭션의 커밋과 중단을 담당하며 상기 데이터베이스에 대한 연산을 직접적으로 수행하는 데이터 관리자와, 상기 데이터베이스에서 요구되는 전처리와 트랜잭션 연산을 수행하는 트랜잭션 관리자와, 상기 트랜잭션 관리자에서 트랜잭션 연산을 수행할 때 그 트랜잭션 연산이 어떤 데이터베이스와 수행될지 상대적인 순서를 제어하는 스케쥴러와, 상기 주어진 트랜잭션 연산이 충돌을 하는지를 검사하며 충돌이 발생하는 트랜잭션에 대하여 종속 관계를 나타내는 종속 관계 쌍을 만드는 충돌 검사기와, 연속되는 중단수(n)와 동시 실행 가능한 트랜잭션 수(k)를 사전에 입력받아 상기 � ��돌 검사기에서 만들어진 종속 관계 쌍과 상기 연속되는 중단수(n) 및 동시 실행 가능한 트랜잭션 수(k)를 비교하여 상기 종속 관계 쌍이 연속되는 중단수(n) 및 동시 실행 가능한 트랜잭션 수(k) 보다 작거나 같으면 해당 연산을 실행할 것을 상기 데이터 관리자에게 알리고 그렇지 않으면 해당 연산을 지연시키는 종속 그래프 검사기로 구성되어, 특정 동시성 제어 방법에 종속되지 않고 시스템 관리자가 동시성 제어 방법을 데이터베이스 상황에 따라 선택할 수 있다는 장점이 있다.

公开(公告)号：KR1019990032179A

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

申请号：KR1019970053154

申请日：1997-10-16

Applicant: 한국전자통신연구원

Inventor： 김채규 ,  최귀자 ,  이상덕

IPC: G06Q50/22

Abstract: 본 발명은 처방 전달 시스템을 위한 의사 처방 입력 방법에 관한 것으로서, 본 발명에서 제공하는 의사 처방 입력 방법은 처방자를 입력하는 제 1 단계와, 환자 정보를 입력하는 제 2 단계와, 처리해야할 처방의 내용에 따라 전처방 처리 또는 의사 약속 처방 처리 또는 진료과 약속 처방 처리 중 한가지 방법에 의해 처방전을 입력하거나 새로운 처방전의 입력을 수행하되, 환자에 따른 상기 처방 입력이 끝날때까지 반복하는 제 3 단계와, 상기 제 3 단계의 처방 처리가 끝나면 상병 처리를 입력하는 제 4 단계와, 상기 제 3 단계에서 수행된 처방 처리 및 제 4 단계의 상병 처리 결과를 데이터베이스에 저장하는 제 5 단계로 구성되어, 입력 방법이 단순하고, 입력 시간이 단축되며, 한번에 데이터베이스를 엑세스하므로써 전체 시스템의 성능 향상을 가져온다� �� 장점이 있다.

公开(公告)号：KR100530736B1

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

申请号：KR1019990057928

申请日：1999-12-15

Applicant: 한국전자통신연구원

Inventor： 김동관 ,  이상덕 ,  양영종 ,  정효택

IPC: G06F17/18

Abstract: 본 발명은 객체 지향 시스템의 요구 사항 추출을 위한 재사용 사용 사례 장치, 방법 및 그를 이용한 요구 사항 추출 방법을 제공하는데 그 목적이 있다.
본 발명에 따르면, 소프트웨어 문제 영역에서 추출된 액터(Actor)가 입력되면, 상기 문제 영역에서 사용 사례를 새롭게 추출하는 사용 사례 추출부; 상기 사용 사례 추출부에서 추출된 사용 사례의 정형화를 위하여 시퀀스 다이어그램, 활동 다이어그램 및 상태 다이어그램을 입력받아 명세를 작성하는 사용 사례 명세부; 및 상기 사용 사례 명세부에서 작성된 명세를 참조하여 상기 추출된 사용 사례와 유사한 사용 사례를 미리 저장하여 둔 사용 사례로부터 검색하는 사용 사례 검색부를 포함하여 이루어진 것을 특징으로 하는 객체 지향 시스템의 요구 사항 추출을 위한 사용 사례 재사용 장치가 제공된다.