-
公开(公告)号：KR100243386B1
公开(公告)日：2000-02-01
申请号：KR1019970058569
申请日：1997-11-06
Applicant: 한국전자통신연구원
Abstract: 본 발명은 엄격한 구조적 분석 지원 자동화 시스템에서의 모형 정보 변경시의 처리 방법에 관한 것으로 먼저 모형 정보의 변경 전에 변경 정보에 대하여 본 발명이 실현되는 엄격한 구조적 분석 자동화 시스템에서 지원하는 문법 및 의미 규칙의 검증을 거쳐 올바르고도 정확한 모형 정보만이 변경될 수 있도록 하고, 모형 정보의 변경에서는 해당 모형뿐만 아니라 관련되어 있는 나머지 모형 정보까지도 함께 변경되도록 하고, 모형 정보의 변경에 따라 더 이상 의미 없는 모형 정보도 함께 삭제되도록 한다. 이와 같은 모형 정보의 변경 및 삭제 시에는 해당 객체에 대한 특성 모형을 비롯한 객체의 모든 정의 정보가 변경 및 삭제되고, 특히 자료 항목의 변경 시에는 자료 항목의 최하위 구성 단위인 자료 원소 및 미정의 자료까지 변경 및 삭제되도록 함으로써 순수하고 일관성 있는 분석 모형이 유지되도록 하여 모형 정보에 대한 모형 내부의 작성 규칙 및 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석이 가능하도록 하였다.
-
公开(公告)号：KR1019990032177A
公开(公告)日：1999-05-06
申请号：KR1019970053152
申请日：1997-10-16
Applicant: 한국전자통신연구원
IPC: G06F12/00
Abstract: 본 발명은 구조적 분석 지원 자동화 시스템의 엄격한 구조적 분석을 위한 정보저장소 시스템과 그 운용방법에 관한 것으로서, 대상 시스템에 대한 보다 상세하고 정확한 분석 모형을 제공하기 위한 특성 모형과 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석을 위한 상세화된 자료 유형을 지원하는 정보저장소와, 저장되어 있는 분석 모형에 대한 다양한 검색 방법을 제공한다. 정보저장소 시스템은 구조적 분석 모형에 대한 저장 및 검색을 위하여 정보저장소 환경의 설정 및 해제 기능, 정보저장소를 구성하는 테이블을 검색하기 위한 테이블 생성, 삭제, 열기 및 닫기 기능, 특정 레코드를 검색하기 위한 인덱스 설정, 레코드 탐색, 다음 레코드로의 이동, 처음 및 마지막 레코드로의 이동, 테이블의 전체 레코드 수의 반환, 레코드의 수정, 추가 및 삭제 기능, 레코드를 구성하는 특정 필드에 대한 필드 값의 저장 및 재생을 위하여 필드의 자료 유형에 따라 문자, 정수, 긴정수, 실수 및 배정도수의 저장 및 재생 기능을 위한 정보저장소 인터페이스 명령을 제공한다.
-
公开(公告)号：KR100249810B1
公开(公告)日：2000-03-15
申请号：KR1019970053152
申请日：1997-10-16
Applicant: 한국전자통신연구원
IPC: G06F12/00
Abstract: 본 발명은 구조적 분석 지원 자동화 시스템의 엄격한 구조적 분석을 위한 정보저장소 시스템과 그 운용방법에 관한 것으로서, 대상 시스템에 대한 보다 상세하고 정확한 분석 모형을 제공하기 위한 특성 모형과 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석을 위한 상세화된 자료 유형을 지원하는 정보저장소와, 저장되어 있는 분석 모형에 대한 다양한 검색 방법을 제공한다. 정보저장소 시스템은 구조적 분석 모형에 대한 저장 및 검색을 위하여 정보저장소 환경의 설정 및 해제 기능, 정보저장소를 구성하는 테이블을 검색하기 위한 테이블 생성, 삭제, 열기 및 닫기 기능, 특정 레코드를 검색하기 위한 인덱스 설정, 레코드 탐색, 다음 레코드로의 이동, 처음 및 마지막 레코드로의 이동, 테이블의 전체 레코드 수의 반환, 레코드의 수정, 추가 및 삭제 기능, 레코드를 구성하는 특정 필드에 대한 필드 값의 저장 및 재생을 위하여 필드의 자료 유형에 따라 문자, 정수, 긴정수, 실수 및 배정도수의 저장 및 재생 기능을 위한 정보저장소 인터페이스 명령을 제공한다.
-
公开(公告)号：KR1019990038732A
公开(公告)日：1999-06-05
申请号：KR1019970058569
申请日：1997-11-06
Applicant: 한국전자통신연구원
Abstract: 본 발명은 엄격한 구조적 분석 지원 자동화 시스템에서의 모형 정보 변경시의 처리 방법에 관한 것으로 먼저 모형 정보의 변경 전에 변경 정보에 대하여 본 발명이 실현되는 엄격한 구조적 분석 자동화 시스템에서 지원하는 문법 및 의미 규칙의 검증을 거쳐 올바르고도 정확한 모형 정보만이 변경될 수 있도록 하고, 모형 정보의 변경에서는 해당 모형뿐만 아니라 관련되어 있는 나머지 모형 정보까지도 함께 변경되도록 하고, 모형 정보의 변경에 따라 더 이상 의미 없는 모형 정보도 함께 삭제되도록 한다. 이와 같은 모형 정보의 변경 및 삭제 시에는 해당 객체에 대한 특성 모형을 비롯한 객체의 모든 정의 정보가 변경 및 삭제되고, 특히 자료 항목의 변경 시에는 자료 항목의 최하위 구성 단위인 자료 원소 및 미정의 자료까지 변경 및 삭제되도록 함으로써 순수하고 일관성 있는 분석 모형이 유지되도록 하여 모형 정보에 대한 모형 내부의 작성 규칙 및 모형 사이의 일관성 규칙의 검증 등에서의 엄격한 분석이 가능하도록 하였다.
-
-
-
Search Results
4
records
(took 0.017 seconds)
