-
公开(公告)号：KR1020000031541A
公开(公告)日：2000-06-05
申请号：KR1019980047640
申请日：1998-11-07
Applicant: 한국전자통신연구원
IPC: G06F17/24
Abstract: PURPOSE: A method for editing LOTOS(Language of Temporal Ordering Specification) based on template is provided to edit exactly the LOTOS specification without sentence structure error in a faster and simpler method compared with the editing method by usual text input. CONSTITUTION: A specification is loaded(10), the condition of edition is comprehended(20), and LOTOS sentence structure capable of being inputted at the location of present cursor is abstracted(30). The abstracted LOTOS sentence structure is configured in the form of a template tree(40), and is on standby until an input is carried out by a user(50). When the input is carried out by the user(60), the condition of edition is changed(70), and the changed edition condition is comprehended again(20).
Abstract translation: 目的：提供一种基于模板编辑LOTOS（时态排序规范语言）的方法，与通常的文本输入的编辑方法相比，以更快更简单的方法准确地编辑LOTOS规范，而无需语句结构错误。 规定：加载规范（10），版本条件（20），能够在当前光标位置输入的LOTOS句子结构被抽取（30）。 抽象的LOTOS句子结构以模板树（40）的形式配置，并且待机直到用户执行输入（50）。 当用户（60）进行输入时，更改版本条件（70），并再次理解变更的版本条件（20）。
-
公开(公告)号：KR100327904B1
公开(公告)日：2002-03-09
申请号：KR1020000004133
申请日：2000-01-28
Applicant: 한국전자통신연구원
IPC: G06F9/00
Abstract: 본 발명은 컴포넌트 기반 소프트웨어 개발 지원 시스템에 관한 것으로 특히, 임의의 컴포넌트 저장소의 모든 패키지를 브라우징하면서 편집하고 싶은 컴포넌트나 패키지를 사용자에게 보여주는 컴포넌트 브라우저 모듈과, 컴포넌트 브라우저 모듈을 통해 현재 편집중인 컴포넌트를 시각적으로 표현하는 디자이너 모듈과, 새로운 애플리케이션을 생성할 때 컴포넌트 조립을 할 수 있도록 하는 프로젝트 익스플로러는 모듈과, 디자이너 모듈 혹은 프로젝트 익스플로러 모듈에서 선택된 컴포넌트의 여러 정보를 보여주며 이중 옵션 애트리뷰트를 편집 할 수 있도록 하는 프로퍼티 에디터 모듈, 및 메인 윈도우로 커스터마이징에 필요한 기능이 구비되며 커스터마이즈된 컴포넌트를 저장하고 새로운 프로젝트 애플리케이션을 생성하는 커스터마이저 모듈� � 포함하는 것을 특징으로 하는 컴포넌트 재정의 도구 시스템 및 그 운영 방법을 제공하며, 컴포넌트 저장소에 구축되어 있는 컴포넌트 패키지로부터 컴포넌트를 검색하여 사용자가 원하는 형태로 속성을 재정의할 수 있게 하며, 재정의된 서버 컴포넌트가 클라이언트 컴포넌트의 속성에 반영되어 서로 연결성을 유지할 수 있도록 하며, 컴포넌트 조립 및 삭제시 컴포넌트간의 종속성 문제를 해결할 수 있고 비즈니스 컴포넌트의 응용 영역에의 적용을 효과적으로 지원할 수 있다.
-
公开(公告)号：KR100317504B1
公开(公告)日：2002-02-19
申请号：KR1019980052216
申请日：1998-12-01
Applicant: 한국전자통신연구원
IPC: G06F9/455
Abstract: 본 발명은 LOTOS(Language of Temporal Ordering Specification) 정형 명세의 확인 장치 및 방법에 관한 것으로, 사용자 인터페이스를 그래픽 트리로 처리하여 복잡한 LOTOS 명세를 한눈에 직관적으로 파악할 수 있고 다이얼로그나 그래픽 트리상에서 마우스 클릭만으로 명세의 확인 과정을 쉽고 빠르게 전개해 나갈 수 있도록 한다.
본 발명은 간단한 마우스 클릭만으로 확인 대상 부분 행위로 내부 포커스를 옮겨주는 행위 이동 다이얼로그를 포함하는 행위 이동 처리기와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 사용자와의 단계별 상호 작용으로 상태 전이를 진행시키며 시뮬레이션 다이얼로그 및 그래픽 시뮬레이션 트리를 포함하는 단계 시뮬레이터와, 그래픽 트리 및 마우스 클릭을 이용한 편리한 사용자 인터페이스를 통해 주어진 LOTOS 행위 명세를 원하는 깊이만큼 확장하며 확장 다이얼로그 및 그래픽 확장 트리를 포함하는 명세 확장기와, LOTOS 자료 명세를 검증하며 텀 개서 시스템 및 완료 프로시저를 포함하는 자료 평가기를 포함하여 구성된다.
본 발명에 의하면 종래의 기법에 비해 빠르고 편리하게 LOTOS 명세를 검증할 수 있고, 하나의 시스템으로 작용하여 LOTOS로 표현된 요구 명세의 확인 및 분석을 다양한 방법으로, 빠르고 편리하게 지원하여 명세상의 오류를 효과적으로 검출할 수 있다.-
公开(公告)号：KR100319753B1
公开(公告)日：2002-01-09
申请号：KR1019990061184
申请日：1999-12-23
Applicant: 한국전자통신연구원
IPC: G06F17/50
Abstract: 본발명은 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체에관한것으로, 사용자, 프로세스로직및 정보계층을분리한 3층(3-tier)구조상에서컴포넌트를개발함으로써, 환경의변화에신속히대응할수 있고, 컴포넌트의재사용성을극대화시킬수있는 3층구조상에서의컴포넌트구현방법과상기방법을실현시키기위한프로그램을기록한컴퓨터로읽을수 있는기록매체를제공하기위하여, 컴포넌트개발요구사항분석을통해분석모델인객체를추출하는제 1 단계; 상기추출된객체를이용하여사용자계층, 프로세스로직계층및 정보계층으로구성된 3층(3-tier)구조상에서의모델을설계하는제 2 단계; 및상기설계된모델을이용하여컴포넌트를구현하는제 3 단계를포함하며, 컴포넌트개발등에이용됨.
-
公开(公告)号：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）是用于可视地显示编辑组件的窗口。 当创建新的应用程序时，项目资源管理器可以组合组件。
-
Patent Agency Ranking
-
公开(公告)号：KR100328964B1
公开(公告)日：2002-08-24
申请号：KR1019980047640
申请日：1998-11-07
Applicant: 한국전자통신연구원
IPC: G06F17/24
Abstract: 본 발명은 시간 순서화 명세언어(LOTOS)의 탬플릿 기반 편집방법에 관한 것이다. 시간 순서화 명세언어와 같은 정형 명세 언어는 아직 정보 통신 분야의 시스템 개발에 보편적으로 사용되지 못하고 있는데, 그 이유 중 하나는 정형 명세의 구문에 숙달되지 않은 사용자가 쉽고 편리하게 명세를 편집할 수 있도록 도와주는 지원 도구의 부재에 있다. 이러한 문제점을 해결하고자 본 발명은 편집 프로그램 화면상에 현재의 명세 편집 상태에서 입력 가능한 LOTOS 구문을 탬플릿 형태로 제공하고, 사용자가 이 중에서 원하는 것을 간단한 마우스 조작으로 입력하게 하며, 구문 입력 후 새롭게 바뀐 편집 상태에서 다시 입력 가능한 구문 탬플릿을 생성한 후 반복하여 탬플릿을 선택할 수 있게 함으로써 오류 없이 편리하게 LOTOS명세를 편집할 수 있게 하는 방법이다. 이러한 방법에 따라, 본 발명은 시간 순서화 명세 언어에 익숙치 않은 사용자들로 하여금 구문 오류 없는 명세를 간편하게 작성할 수 있도록 한다.
-
公开(公告)号：KR1020000034647A
公开(公告)日：2000-06-26
申请号：KR1019980052021
申请日：1998-11-30
Applicant: 한국전자통신연구원
IPC: G06F9/455
Abstract: PURPOSE: A simulation method of LOTOS using graphic transition tree is provided to simply detect the error of the LOTOS by visual simulation method using the graphic transition tree. CONSTITUTION: A simulation method of LOTOS using graphic transition tree comprises steps of: loading a specification to calculate initial status and structuring a menu with operations to be generated in present status; structuring a graphic transition tree with the present status and the operation menu; displaying the graphic transition tree on a screen and then waiting input by a user; and calculating new status from the present status and operation to repeat said steps if one operation is selected by the user's input.
Abstract translation: 目的：提供使用图形过渡树的LOTOS的模拟方法，通过使用图形过渡树的视觉仿真方法简单地检测LOTOS的误差。 构成：使用图形过渡树的LOTOS的模拟方法包括以下步骤：加载规范以计算初始状态并构建具有在当前状态下生成的操作的菜单; 构建具有当前状态和操作菜单的图形过渡树; 在屏幕上显示图形过渡树，然后由用户等待输入; 并且如果用户的输入选择了一个操作，则从当前状态和操作计算新状态以重复所述步骤。
-
公开(公告)号：KR1020000032054A
公开(公告)日：2000-06-05
申请号：KR1019980048382
申请日：1998-11-12
Applicant: 한국전자통신연구원
Inventor： 오영배
IPC: G06F17/25
Abstract: PURPOSE: A system for visual specification supporting tools and a specification method based on a set pattern technique are provided to strictly verify a specification by introducing a visual method into a formal specification using a formal method. CONSTITUTION: A visual formal specification composer(100) is configured for a user to compose and edit a required specification of software by combining the visualized object of formal specification type dragging from a visual object library constructed by applied filed. High function library storing element by applied filed(200) and application library storing element(700) construct the visual formal specification object which is composed from the visual formal specification composer(100). A visual formal specification compiler element(300) reads the visual formal specification and interprets a visual model, thereby converting to a formal specification language. A formal specification library storing element stores a formal specification language produced through the visual formal specification compiler element. A formal specification language processor(500) performs formal verification of specification based on the text by inputting formal language code stored in the formal specification library storing element.
Abstract translation: 目的：提供一种视觉规范支持工具系统和基于集模式技术的规范方法，通过使用正式方法将视觉方法引入正式规范中，严格验证规范。 构成：视觉形式规范作曲家（100）被配置为使用户组合和编辑所需的软件规范，通过组合从应用场所构建的视觉对象库中的形式规范类型拖动的可视化对象。 应用库（200）和应用库存储元件（700）的高函数库存储元素构建由视觉形式规范作曲者（100）组成的视觉形式规范对象。 视觉形式规范编译器元素（300）读取视觉形式规范并解释视觉模型，从而转换为正式的规范语言。 正式的规范库存储元素存储通过视觉形式规范编译器元素生成的形式规范语言。 形式规范语言处理器（500）通过输入形式规范库存储元件中存储的形式语言代码，基于文本执行规范的形式验证。
-
公开(公告)号：KR100249821B1
公开(公告)日：2000-03-15
申请号：KR1019970067849
申请日：1997-12-11
Applicant: 한국전자통신연구원
IPC: G06F3/14
Abstract: 본 발명은 실시간 객체지향 모델을 기반으로 한 압연공정의 자동 판 두께 제어장치의 실시간 시뮬레이터 및 시뮬레이션 모델링 방법에 관한 것이다. 본 발명은 시스템 모델로부터 시뮬레이션 모델을 하나의 실시간 객체로부터 압연 실시간 객체(RTO) 및 압연 제어 RTO로 분할하고, 그 압연 RTO를 다시 페이-오프 릴(POR), 장력 릴(TR) 및 다수의 작업 롤(WR)의 RTO로 분할하며, 그 압연 제어 RTO를 다수의 자동 판 두께 제어기(AGC) RTO, 속도 제어기(SC) RTO로 분할하는 압연공정 시뮬레이션 모델링 방법을 제공한다. 또한 시뮬레이션은, RTO의 메소드와 RTO간의 통신채널을 생성하고, 각 RTO의 시간구동메소드(SpM)가 압연 공정 매개변수들을 읽어오고, 이 값을 바탕으로 시뮬레이션 목표치와 비교하여 근접한 값이 나올 때까지 수행하고, 압연 공정 매개변수가 산출된 후 RTO의 객체 데이터 공간에 기록하고, 이 과정을 시뮬레이션 주기에 따라 반복수행한 후 종료된다. 따라서, 실시간으로 압연 소재가 압연공정 시스템을 통과하면서 압연되는 과정을 모의할 수 있다. 결국, 본 발명은 실시간 시계를 이용한 시간 제약에 따라 동기되어 실시간으로 시뮬레이션을 할 수 있고, 그 모델을 변경시키고 다수의 컴퓨터에 분산시켜 수행할 수 있다.
-
-
-
-
-
-
-
-
-
Search Results
21
records
(took 0.018 seconds)
