-
公开(公告)号:KR1020030041446A
公开(公告)日:2003-05-27
申请号:KR1020010072239
申请日:2001-11-20
Applicant: 한국전자통신연구원
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: 目的:提供一种基于游戏模型检查双模等效性的方法,以检查两个连续规范的模型之间的行为的双模等效性。 规定:在计算机系统中给出相对于两个并发系统的规格的情况下,在检查规格是否显示相同的行为的方法中,实现了与用户的双模等效检查项的双模拟操作游戏模型,并且实现了双模等效 基于双模操作游戏模型构建检查环境。 使用分支绑定和随机工作来检查双模拟等价物作为二进制等价检查环境下的检验器的游戏策略。
-
公开(公告)号:KR1020030025031A
公开(公告)日:2003-03-28
申请号:KR1020010057930
申请日:2001-09-19
Applicant: 한국전자통신연구원
IPC: G06F9/45
CPC classification number: G06F8/40
Abstract: PURPOSE: A method for realizing a software connector using a first-class method is provided to easily realize the software connector suggested by a software architecture technology by using a present self-referring tool. CONSTITUTION: A function is defined in order to perform a registered method according to an event generated from outside. Using the defined function, the software character is realized by modeling into a collection with the first-class method having a self-referring structure. The function includes the functions for calling the method whenever the event is generated, returning a listener of the event, adding a pre-hook to the method, adding a post-hook to the method, returning the pre-hook to the method, and executing the method via the given factors.
Abstract translation: 目的:提供一种使用一级方法实现软件连接器的方法,通过使用现在的自我参照工具,轻松实现软件架构技术提出的软件连接器。 构成:定义功能,以便根据从外部生成的事件执行注册方法。 使用定义的功能,通过使用具有自引用结构的第一类方法对集合进行建模来实现软件字符。 该功能包括每当生成事件时调用该方法的功能,返回事件的侦听器,向该方法添加一个挂钩,向该方法添加一个挂钩,将该挂钩返回给该方法;以及 通过给定的因素执行该方法。
-
公开(公告)号:KR1020010058220A
公开(公告)日:2001-07-05
申请号:KR1019990062435
申请日:1999-12-27
Applicant: 한국전자통신연구원
IPC: G06F17/30
Abstract: PURPOSE: A system and method for searching a design pattern on the Internet is provided to construct an adaptable system by a plurality of distributed client users by applying guides packaged for referring to an expert's verified experiences. CONSTITUTION: A design pattern search system(110) is composed of a pattern library interface, a library control unit and a pattern database(120). The pattern library interface searches a pattern, which a user wants through a client query in a web browser, and provides various information. The pattern library interface provides a pattern structure for reusing. The library control unit registers a new pattern and information. The pattern database(120) stores the pattern.
Abstract translation: 目的:提供一种用于在互联网上搜索设计模式的系统和方法,通过应用引导程序来构建适用于多个分布式客户端用户的系统,以引用专家的验证体验。 构成:设计模式搜索系统(110)由模式库接口,库控制单元和模式数据库(120)组成。 模式库界面通过Web浏览器中的客户端查询搜索用户想要的模式,并提供各种信息。 模式库界面提供了一种用于重用的模式结构。 库控制单元注册新的模式和信息。 图案数据库(120)存储图案。
-
公开(公告)号:KR100248377B1
公开(公告)日:2000-03-15
申请号:KR1019970053452
申请日:1997-10-17
Applicant: 한국전자통신연구원
IPC: G06F11/00
Abstract: 본 발명은 액션 집합의 크기가 1인 경우에 한하여 두 개의 병행 시스템의 명세들 간의 완전 트레이스 동치성(completed trace equivalence)을 검사하는 방법에 관한 것이다. 본 발명을 달성하기 위해 두 개의 병행 시스템의 각 명세의 시작 상태에 대하여 특징 함수 (characteristic polynomial)를 생성한 후, 그 각 특징 함수들이 동일한지를 비교함으로써, 두 명세가 완전 트레이스 동치인지를 검사할 수 있는 것이다. 이와 같이 본 발명에서는 다항 함수를 두 개의 배열을 통해 나타내는 방법을 이용함으로써 효율적인 동치성 검사가 이루어지도록 한다. 따라서, 본 발명은 주어진 시스템 명세에서 사용되는 액션 집합의 크기가 1인 경우 두 명세간의 완전 트레이스 동치성을 제곱 시간(quadratic time) 내에 검사해 주게 된다.
-
公开(公告)号:KR100327904B1
公开(公告)日:2002-03-09
申请号:KR1020000004133
申请日:2000-01-28
Applicant: 한국전자통신연구원
IPC: G06F9/00
Abstract: 본 발명은 컴포넌트 기반 소프트웨어 개발 지원 시스템에 관한 것으로 특히, 임의의 컴포넌트 저장소의 모든 패키지를 브라우징하면서 편집하고 싶은 컴포넌트나 패키지를 사용자에게 보여주는 컴포넌트 브라우저 모듈과, 컴포넌트 브라우저 모듈을 통해 현재 편집중인 컴포넌트를 시각적으로 표현하는 디자이너 모듈과, 새로운 애플리케이션을 생성할 때 컴포넌트 조립을 할 수 있도록 하는 프로젝트 익스플로러는 모듈과, 디자이너 모듈 혹은 프로젝트 익스플로러 모듈에서 선택된 컴포넌트의 여러 정보를 보여주며 이중 옵션 애트리뷰트를 편집 할 수 있도록 하는 프로퍼티 에디터 모듈, 및 메인 윈도우로 커스터마이징에 필요한 기능이 구비되며 커스터마이즈된 컴포넌트를 저장하고 새로운 프로젝트 애플리케이션을 생성하는 커스터마이저 모듈� � 포함하는 것을 특징으로 하는 컴포넌트 재정의 도구 시스템 및 그 운영 방법을 제공하며, 컴포넌트 저장소에 구축되어 있는 컴포넌트 패키지로부터 컴포넌트를 검색하여 사용자가 원하는 형태로 속성을 재정의할 수 있게 하며, 재정의된 서버 컴포넌트가 클라이언트 컴포넌트의 속성에 반영되어 서로 연결성을 유지할 수 있도록 하며, 컴포넌트 조립 및 삭제시 컴포넌트간의 종속성 문제를 해결할 수 있고 비즈니스 컴포넌트의 응용 영역에의 적용을 효과적으로 지원할 수 있다.
-
公开(公告)号:KR1020010076778A
公开(公告)日:2001-08-16
申请号:KR1020000004133
申请日:2000-01-28
Applicant: 한국전자통신연구원
IPC: G06F9/00
Abstract: PURPOSE: A method for re-defining a component and a tool system thereof are provided to manage an interface for maintaining a dependent characteristic between components when a component is assembled and deleted by processing a dependent relation between a client component and a server component. CONSTITUTION: A customizer(110) has all menus necessary for customizing and may store a customized component and may create new application. A component browser(120) performs a browsing of all packages of a component repository and drags or drops a component or a package to be edited by a designer or a project explorer and shows the component or the package to a user. A property editor(130) shows a plurality of information(provided interface, required interface, attribute, option attribute, reference attribute) of a component selected in the designer or the project explorer, and may edit dual option attribute. The designer(140) is a window for displaying the editing component visually. The project explorer may assemble a component when new application is created.
Abstract translation: 目的:提供一种用于重新定义组件及其工具系统的方法,以通过处理客户端组件和服务器组件之间的依赖关系来组合和删除组件来管理用于维护组件之间的依赖特性的界面。 规定:定制器(110)具有定制所需的所有菜单,并可存储定制组件,并可能创建新的应用程序。 组件浏览器(120)执行对组件存储库的所有包的浏览,并拖放或删除由设计者或项目资源管理器编辑的组件或包,并将组件或包显示给用户。 属性编辑器(130)显示在设计者或项目浏览器中选择的组件的多个信息(提供界面,所需界面,属性,选项属性,参考属性),并且可以编辑双选项属性。 设计者(140)是用于可视地显示编辑组件的窗口。 当创建新的应用程序时,项目资源管理器可以组合组件。
-
公开(公告)号:KR1019990032411A
公开(公告)日:1999-05-15
申请号:KR1019970053452
申请日:1997-10-17
Applicant: 한국전자통신연구원
IPC: G06F11/00
Abstract: 본 발명은 액션 집합의 크기가 1인 경우에 한하여 두 개의 병행 시스템의 명세들 간의 완전 트레이스 동치성(completed trace equivalence)을 검사하는 방법에 관한 것이다. 본 발명을 달성하기 위해 두 개의 병행 시스템의 각 명세의 시작 상태에 대하여 특징 함수 (characteristic polynomial)를 생성한 후, 그 각 특징 함수들이 동일한지를 비교함으로써, 두 명세가 완전 트레이스 동치인지를 검사할 수 있는 것이다. 이와 같이 본 발명에서는 다항 함수를 두 개의 배열을 통해 나타내는 방법을 이용함으로써 효율적인 동치성 검사가 이루어지도록 한다. 따라서, 본 발명은 주어진 시스템 명세에서 사용되는 액션 집합의 크기가 1인 경우 두 명세간의 완전 트레이스 동치성을 제곱 시간(quadratic time) 내에 검사해 주게 된다.
-
-
-
-
-
-