公开(公告)号：KR1020030080586A

公开(公告)日：2003-10-17

申请号：KR1020020019289

申请日：2002-04-09

Applicant: 한국전자통신연구원

Inventor： 최원혁 ,  이동길

IPC: H04L12/407

CPC classification number: G06F9/465 ,  G06F17/30607

Abstract: PURPOSE: A method for embodying a distributed SDL(Specification and Description Language) object, using a CORBA(Common Object Request Broker Architecture), is provided to write distributed objects by an SDL and automatically generate the distributed objects through an embodying program. CONSTITUTION: An interface between embodied distributed objects is defined by an IDL(Interface Definition Language)(301). Written IDL information(306) is generated as a CORBA interface function through an IDL compiler(302). The generated CORBA interface function is stored as CORBA interface function information(307). If an interface between objects is generated, a real object is designed by an SDL(303). Designed SDL information(308) is generated as an SDL embodying code through an automatic translation process(304), and an embodying code(309) of each distributed object is written. A distributed SDL object(310) using a middleware is embodied through the conversion and mapping(305) of an SDL signal and the CORBA interface function, according as the generated SDL embodying code and generated CORBA interface function information are inputted.

Abstract translation: 目的：提供一种使用CORBA（公共对象请求代理体系结构）实现分布式SDL（规范和描述语言）对象的方法，以通过SDL写入分布式对象，并通过体现程序自动生成分布式对象。 构成：实现的分布式对象之间的接口由IDL（接口定义语言）（301）定义。 通过IDL编译器（302）生成写入的IDL信息（306）作为CORBA接口功能。 生成的CORBA接口函数存储为CORBA接口函数信息（307）。 如果生成对象之间的接口，则由SDL（303）设计真实对象。 通过自动翻译处理（304）生成设计的SDL信息（308）作为体现代码的SDL，并且写入每个分布式对象的体现代码（309）。 根据生成的SDL实施代码和生成的CORBA接口功能信息，通过SDL信号和CORBA接口功能的转换和映射（305）来实现使用中间件的分布式SDL对象（310）。

公开(公告)号：KR100367090B1

公开(公告)日：2003-01-06

申请号：KR1019990020931

申请日：1999-06-07

Applicant: 한국전자통신연구원

Inventor： 장종현 ,  이동길 ,  이시영 ,  김승호

IPC: H04L12/66

Abstract: PURPOSE: A method for dividing transitions is provided to subordinate signals independent from processes to the processes in a system specification composed of a specification and description language(SDL), to divide dynamic transitions generated by receiving the independent signals into static transitions, and to convert the divided transitions with an object-directional method, so as to automatically convert the system specification into an object-directional programming language. CONSTITUTION: A transition tree is generated. The transition tree is composed of nodes having pairs of receiving signals in each process state of a specification and description language(SDL). A signal stream graph is generated. The signal stream graph is composed of processes, the receiving signals, and process generation relations, by referring to the transition tree. Transitions caused by signal receptions are specified and divided, on the basis of the transition tree and the signal stream graph.

Abstract translation: 目的：提供了一种用于划分转换的方法，用于将独立于处理的信号从隶属于由规范和描述语言（SDL）组成的系统规范中的处理，以将通过接收独立信号而生成的动态转换划分为静态转换， 使用对象方向的方法进行划分的转换，以便将系统规范自动转换为对象定向编程语言。 构成：生成转换树。 转换树由在规范和描述语言（SDL）的每个处理状态中具有成对接收信号的节点组成。 生成信号流图。 信号流图由过程，接收信号和过程生成关系组成，通过参考过渡树。 基于转换树和信号流图，指定并划分由信号接收引起的转换。

公开(公告)号：KR1020020053972A

公开(公告)日：2002-07-06

申请号：KR1020000082204

申请日：2000-12-26

Applicant: 한국전자통신연구원

Inventor： 권정국 ,  백의현 ,  장종현 ,  이동길 ,  김승호

IPC: G06F9/45

CPC classification number: G06F8/40

Abstract: PURPOSE: A program language translation system and method is provided to interpret the SDL(Specification and Definition Language) into the C language so that it can realize a consistency from a system design to a system implementation and apply a function addition or modification in a system design directly to a system implementation without a meaning change. CONSTITUTION: The system comprises an SDL analyzer(210), an SDL data storage(220), an SDL-C matcher(230), a matching data storage(240), and a C generator(250). The SDL analyzer(210) extracts necessary data from a program written in the SDL. The SDL data storage(220) stores the data extracted from the SDL analyzer(210). The SDL-C matcher(230) analyses the data stored at the SDL data storage(220), and generates a C code corresponding to the analyzed data. The matching data storage(240) stores the data generated by the SDL-C matcher(230). The C generator(250) generates a program written in the C language based on the data stored at the matching data storage(240).

Abstract translation: 目的：提供程序语言翻译系统和方法，将SDL（规范和定义语言）解释为C语言，从而可以实现从系统设计到系统实现的一致性，并在系统中应用功能添加或修改 直接设计为系统实现而没有意义的改变。 构成：系统包括SDL分析器（210），SDL数据存储器（220），SDL-C匹配器（230），匹配数据存储器（240）和C生成器（250）。 SDL分析器（210）从写入SDL的程序中提取必要的数据。 SDL数据存储器（220）存储从SDL分析器（210）提取的数据。 SDL-C匹配器（230）分析存储在SDL数据存储器（220）中的数据，并且生成与分析数据相对应的C代码。 匹配数据存储器（240）存储由SDL-C匹配器（230）生成的数据。 C生成器（250）基于存储在匹配数据存储器（240）中的数据生成以C语言编写的程序。

公开(公告)号：KR1020020050571A

公开(公告)日：2002-06-27

申请号：KR1020000079747

申请日：2000-12-21

Applicant: 한국전자통신연구원

Inventor： 이동길 ,  장종현 ,  백의현 ,  권정국 ,  김영만

IPC: G06F17/30

Abstract: PURPOSE: A method for constructing distributed information retrieval system using signature file technique on Internet and retrieval method using the same are provided to make a simultaneous retrieval from a lot of users possible by distributing the signature files into the Internet through a multi-level superimposed coding schema based on a partial match retrieval. CONSTITUTION: The method comprises the steps of generating the signature file for the core words representing the respective information of a lowest node connected to a network, generating one representative descriptor by superimposing the same group after finding the descriptors having an optimum length for respective upper nodes by collecting the core words, and transferring the representative descriptors to the upper node. The signature file for the retrieval of the present node is generated by collecting the representative descriptors transferred from the sites or servers of the lower node. One representative descriptor made by superimposing the representative descriptors for the level higher than the representative descriptor on respective nodes is transferred to the node higher than the present node.

Abstract translation: 目的：提供一种使用互联网上的签名文件技术构建分布式信息检索系统的方法，并且通过使用多级叠加编码将签名文件分发到因特网中，可以使许多用户同时进行检索 基于部分匹配检索的模式。 构成：该方法包括以下步骤：生成表示连接到网络的最低​​节点的相应信息的核心字的签名文件，通过在找到具有相应上层节点的最佳长度的描述符之后叠加相同组来生成一个代表描述符 通过收集核心词，并将代表性描述符传递给上级节点。 通过收集从下层节点的站点或服务器传送的代表性描述符来生成用于检索本节点的签名文件。 通过将高于代表描述符的级别的代表描述符叠加在相应节点上的一个代表性描述符被传送到比当前节点更高的节点。

公开(公告)号：KR100319746B1

公开(公告)日：2002-02-19

申请号：KR1019980049117

申请日：1998-11-16

Applicant: 주식회사 케이티 ,  한국전자통신연구원

Inventor： 정영식 ,  이동길

IPC: G06F9/45

Abstract: 1. 청구범위에 기재된 발명이 속한 기술분야
본 발명은 칠 컴파일러의 실행시간 스택프레임 구성 방법에 관한 것임.
2. 발명이 해결하려고 하는 기술적 과제
본 발명은 스택포인터를 포함하고 프레임 포인터, 지역변수 포인터 및 임시영역 포인터 등을 포함하여 실행시간 스택을 처리하도록 스택프레임을 구성하는 스택프레임 구성 방법 및 기록매체를 제공하는데 그 목적이 있음.
3. 발명의 해결방법의 요지
본 발명은, 파워피씨(PowerPC) 프로세서에서 실행되는 칠(CHILL) 컴파일러의 후위처리기에서 중간코드를 파워피씨(PowerPC) 어셈블리 코드로 변환시에 적용되는 실행시간 스택프레임 구성 방법에 있어서, 레지스터 저장영역에 기존의 지정된 레지스터의 내용을 저장한 후에 컴파일러 임시영역과 지역변수 영역을 구성하고 임시영역 포인터와 지역변수 포인터의 값을 갱신하는 제 1 단계; 파라미터 영역과 포인터 저장영역을 구성한 후에, 현재 스택포인터의 값을 프레임 포인터에 할당하여 호출하는 함수의 스택프레임을 지정하는 제 2 단계; 가변 크기인 상기 컴파일러 임시영역, 피호출자의 상기 지역변수 영역 및 상기 파라미터 영역 등과 고정 크기인 상기 레지스터 저장영역 등의 크기를 모두 합산하여 새로운 스택 포인터를 조정하는 제 3 단계; 및 이전의 스택포인터의 값을 호출자 프레임 포인터 저장영역에 저장하여 호출된 함수에 대한 스택프레임을 구성하는 제 4 단계를 포함한다.
4. 발명의 중요한 용도
본 발명은 컴파일러 등에 이용됨.

公开(公告)号：KR100310291B1

公开(公告)日：2001-09-28

申请号：KR1019990061209

申请日：1999-12-23

Applicant: 한국전자통신연구원 ,  주식회사 케이티

Inventor： 백의현 ,  박인채 ,  장종현 ,  이동길

IPC: G06F11/26

Abstract: 본발명은단일시스템에서의병렬프로그램시뮬레이션방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체에관한것으로, 각프로세서의운영체제가지원하는프로세스생성및 소멸등과같은프로세스관리및 제어루틴을각 실행블록에연결시킴으로써, 병렬프로그램을단일시스템에서시뮬레이션할수 있는시뮬레이션방법을제공하기위하여, 병렬프로그램을시뮬레이션하기위한단일시스템에적용되는병렬프로그램시뮬레이션방법에있어서, 분산병렬처리기능을각 실행블록에연결시키고, 각실행블록을실행하는제 1 단계; 상기각 실행블록이프로세서의정보를인식한후, 상기프로세서의정보를기준으로프로세스인스턴스번호를부여한프로세스를생성하는제 2 단계; 상기각 프로세스는현재실행코드가분산처리실행문인지를확인하는제 3 단계; 및상기제 3 단계의확인결과에따라, 분산처리실행문에대한신호가도착할프로세스인스턴스번호를이용하여, 신호가도착할실행블록의프로세스제어블록자료구조를찾아분산처리실행문을처리하는제 4 단계를포함하며, 병렬프로그램시뮬레이션등에이용됨.

公开(公告)号：KR1020010057785A

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

申请号：KR1019990061193

申请日：1999-12-23

Applicant: 한국전자통신연구원 ,  주식회사 케이티

Inventor： 백의현 ,  이동길 ,  전경표

IPC: G06F11/28

Abstract: PURPOSE: A method for debugging a parallel program is provided to improve the quality of a program, and to reduce the time for developing the program by instantaneously stopping an execution of the program using a check point, and by performing the program after check. CONSTITUTION: It is judged whether an execution code is terminated(200). When the execution code is terminated, a debugging is terminated. In case that the execution code isn't terminated, it is judged whether the execution code is a real-time or a parallel process statement(210). In case that the execution code is the real-time or a parallel process statement, a support process of an execution time is performed(220). In case that the execution code isn't the real-time or the parallel process statement, it is judged whether a check point is set on the execution code(230). In case that the check point is set, a process of the check point is performed(240). A general execution statement is processed(250).

Abstract translation: 目的：提供一种用于调试并行程序的方法，以提高程序的质量，并通过使用检查点立即停止程序的执行，并通过在检查后执行程序来减少开发程序的时间。 构成：判断执行代码是否终止（200）。 执行代码终止时，调试结束。 在执行代码未终止的情况下，判断执行代码是实时还是并行处理语句（210）。 在执行代码是实时或并行处理语句的情况下，执行执行时间的支持处理（220）。 在执行代码不是实时或并行处理语句的情况下，判断是否在执行代码上设置了检查点（230）。 在检查点被设置的情况下，执行检查点的处理（240）。 处理一般执行语句（250）。

公开(公告)号：KR100280187B1

公开(公告)日：2001-02-01

申请号：KR1019980048769

申请日：1998-11-13

Applicant: 한국전자통신연구원

Inventor： 이준경 ,  김상국 ,  박경숙 ,  금창섭 ,  이동길 ,  이형호

IPC: G06F9/44

Abstract: 1. 청구범위에 기재된 발명이 속한 기술분야
본 발명은 객체 장소 전달의 사용 오류 탐지 방법에 관한 것임.
2. 발명이 해결하려고 하는 기술적 과제
본 발명은 객체 장소 전달의 사용 제약과 실행 오류들을 정적 클래스 타입 분석기와 동적 클래스 타입 식별 기능 코드로 방지하는 객체 장소 전달의 사용 오류 탐지 방법을 제공하는데 그 목적이 있음.
3. 발명의 해결방법의 요지
본 발명은, 모레타 모드를 갖는 객체 장소의 사용 경우들을 분류하여 판단하는 제 1 단계; 모레타 장소에 대한 치환 실행 또는 인/록 매개인자 전달의 사용 오류를 탐지하는 제 2 단계; 모레타 참조 장소에 대한 치환 실행 또는 인(IN) 매개인자 전달의 실행 오류를 탐지하는 제 3 단계; 모레타 참조 장소에 대한 역-참조 치환 실행에 대한 실행 오류를 탐지하는 제 4 단계; 및 모레타 참조 장소의 록 매개인자 전달 또는 모레타 참조의 참조 모드 등을 갖는 객체 장소의 치환 실행 및 인/록(IN/LOC) 매개인자 전달에 대한 실행 오류를 탐지하는 제 5 단계를 포함한다.
4. 발명의 중요한 용도
본 발명은 칠-96의 클래스 타입 호환성 규칙정의 및 소프트웨어 구축 등에 이용됨.

公开(公告)号：KR1020000033209A

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

申请号：KR1019980049971

申请日：1998-11-20

Applicant: 한국전자통신연구원

Inventor： 박경숙 ,  금창섭 ,  이준경 ,  이동길

IPC: G06F9/45

CPC classification number: G06F8/40

Abstract: PURPOSE: A method for converting variable structure mode of chill to C-language is provided to maintain the uniqueness of the union field name and the union field's structure mode names when converting and renaming selected CHILL's structure mode to C-language union. CONSTITUTION: A method for converting variable structure mode of chill to C-language is initiated by converting a selected CHILL's structure mode to C(301). Selected field's first entry is chosen(302), system checks for a name change(303), and if renamed, it is converted to union(305) and the first variant field is selected(306). If checked and there has been no name change, the entry is distinctively renamed(304), and then converted to union(305). If the first varian field is selected from the above process, a new structure mode is created(307), and the variant field or else field is converted to C's structure mode(308). Then, the next variant or else field is selected(309) and steps (307) to (309) is repeated until the selected entry becomes NULL(310). If step (310) is completed, the next select field entry is chosen(311) and steps (302) to (311) is repeated until selected entry becomes NULL(312).

Abstract translation: 目的：提供将可变结构模式转换为C语言的方法，用于在将所选择的CHILL结构模式转换为C语言联合时，保持联合字段名称和联合字段的结构模式名称的唯一性。 构成：通过将选定的CHILL结构模式转换为C（301），启动将冷却变量结构模式转换为C语言的方法。 选择字段的第一个条目（302），系统检查名称更改（303），如果重命名，则将其转换为联合（305），并选择第一个变体字段（306）。 如果选中，并且没有更改名称，该条目将被重新命名（304），然后转换为联合（305）。 如果从上述过程中选择了第一个变量字段，则创建一个新的结构模式（307），并将变量字段或其他字段转换为C的结构模式（308）。 然后，选择下一个变体或其他字段（309），并重复步骤（307）至（309），直到所选择的条目变为空（310）。 如果步骤（310）完成，则选择下一个选择字段条目（311），并重复步骤（302）至（311），直到所选条目变为空（312）为止。

公开(公告)号：KR1019990050553A

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

申请号：KR1019970069685

申请日：1997-12-17

Applicant: 한국전자통신연구원 ,  주식회사 케이티

Inventor： 이준경 ,  이동길 ,  이병선

IPC: G06F9/45

Abstract: 1. 청구범위에 기재된 발명이 속한 기술분야
본 발명은 칠-96 언어의 치환 속성의 상속 제약 탐지 방법에 관한 것임.
2. 발명이 해결하려고 하는 기술적 과제
본 발명은, 객체지향 프로그램 실행시 일어날 수 있는 동기화 장소 치환의 잘못된 사용 오류들을 초기 클래스 계층 구조 구축시 탐지하여 프로그램의 실행 정확성에 도움을 주고, 병행성에 관련된 동기화 장소들간의 치환 불가 특성을 초기에 방지하는 칠-96 언어의 클래스에 대한 치환 속성의 상속 제약 탐지 방법을 제공하고자 함.
3. 발명의 해결방법의 요지
본 발명은, 클래스가 치환-가능 또는 치환-불가 속성을 갖는지를 판단하는 제 1 단계; 모듈 모드가 자신의 구성 원소 뿐만아니라 상위 클래스의 치환 속성 및 구성 원소에 따라 치환-가능 또는 치환-불가 속성 상속에 대한 제약을 탐지하는 제 2 단계; 및 리젼 모드 또는 타스크 모드가 상위 클래스를 가질 때 치환 속성의 상속 관계에 따라 상속 금지의 제약성을 탐지하는 제 3 단계를 포함한다.
4. 발명의 중요한 용도
본 발명은 병행적 객체지향 소프트웨어 등에 이용됨.