KR980004125A - 로토스 명세로부터 생성된 코드의 실행 방법 - Google Patents

Abstract

본 발명은 명세언어인 로토스(LOTOS)로 작성된 문서를 프로그래밍 언어로 변환하는 방법에 관한 것이다. 목적 언어로 변환된 코드는 커널 트리에 행위 정보를 유지하면서 멩세를 실행한다. 기존 로토스 도구가 생성하는 코드는 로토스 명세로부터 생성된 코드가 커널 함수를 직접 호출하여 커널 트리를 조작했으나, 본 발명에서는 커널 트리 조작을 커널 코드가 수행하도록 하였다. 커널 트리 조작을 커널 코드가 수행하므로 생성된 코드에는 행위 정보를 모아서 커널에 전달하는 부분만 나타난다. 따라서 생성된 코드가 간결하고 읽기 쉽기 때문에 코드의 유지/관리가 용이하고, 커널 함수 호출에 신경쓰지 않고 목적 코드 생성기를 구현할 수 있으므로 목적 코드 생성기의 구현 부담을 줄일 수 있다. 본 발명은 코드 생성기의 목적 코드에 독립적으로 적용될 수 있다.

Description

로토스 명세로부터 생성된 코드의 실행 방법

본 내용은 요부공개 건이므로 전문내용을 수록하지 않았음

제1도는 본 발명에 관한 로토스 명세로부터 생성된 코드의 실행 구조도.

Claims (2)

1. 로토스 명세를 프로그래밍 언어로 변환하는 방법에 있어서, 로토스 프로세스를 실행할 때 생성된 코드는 행위의 순서에 따라 해당 행위 정보를 반환값(return value)으로 커널에 전달하면 커널 코드가 행위 정보를 분석하여 커널 트리 작업을 수행하는 것을 특징으로 하는 로토스 명세로부터 생성된 코드의 실행 방법.
2. 제1항에 있어서, 커널 함수 호출을 생성된 코드에 나타내지 않고 커널 코드에 내장하는 것을 특징으로 하는 것을 특징으로 하는 로토스 명세로부터 생성된 코드의 실행 방법.

   ※ 참고사항 : 최초출원 내용에 의하여 공개하는 것임.