1 |
1
언어 변환기에 적용되는 프로시쥬어의 분해 방법에 있어서, 시그널 수신을 발생시키는 프로시쥬어들을 검색하여 등록하고 상기 프로시쥬어의 내부 변수들을 프로세스의 변수로 확장하는 제 1 단계; 상기 프로시쥬어에 대한 호출에 따라 상기 프로시쥬어에 대한 호출을 내부 상태의 전이로 변환하고, 전이의 남은 프로시쥬어 호출 후의 부분을 등록하는 제 2 단계; 및 상기 프로시쥬어를 분해하여 상기 프로시쥬어의 내부 상태를 상위 수준 프로세스의 내부 상태로 확장하여 변환하는 제 3 단계 를 포함하는 에스디엘의 시그널 수신을 가지는 프로시쥬어의 분해 방법
|
2 |
2
제 1 항에 있어서, 상기 제 1 단계는, 각 프로세스에 포함된 상기 프로시쥬어에 대해 내부에 상태를 포함하고 있는지를 검사하는 제 4 단계; 상기 제 4 단계의 검사 결과에 따라 상기 프로시쥬어를 분해할 프로시쥬어로 등록한 후에 상기 등록한 프로시쥬어의 내부 변수들을 상위 수준 프로세스의 변수들로 확장하는 제 5 단계; 및 모든 프로시쥬어에 대하여 상기 제 4 단계부터 반복 수행하는 제 6 단계 를 포함하는 에스디엘의 시그널 수신을 가지는 프로시쥬어의 분해 방법
|
3 |
3
제 1 항 또는 제 2 항에 있어서, 상기 제 2 단계는, 상기 각 프로세스의 내부 문서 표현을 읽으면서 상기 프로시쥬어의 호출이 발생하였는지 상기 호출된 프로시쥬어가 분해할 프로시쥬어인지를 검사하는 제 7 단계; 상기 제 7 단계의 검사 결과에 따라 현재 상태를 상기 호출된 프로시쥬어에 등록하고, 상기 프로시쥬어 호출에 사용된 매개변수들을 상응하는 확장된 프로시쥬어 변수들에 할당하는 제 8 단계; 상기 프로시쥬어의 호출부를 프로시쥬어의 초기화부로 대치하고, 전이에서 호출 후부를 상기 프로시쥬어의 복귀 처리부로 이동하여 등록한 후에 전이 후의 상태를 상기 프로시쥬어내의 초기화부 다음 상태로 변경하는 제 9 단계; 및 모든 프로세스에 대하여 상기 제 7 단계부터 반복 수행하는 제 10 단계 를 포함하는 에스디엘의 시그널 수신을 가지는 프로시쥬어의 분해 방법
|
4 |
4
제 1 항 또는 제 2 항에 있어서, 상기 제 3 단계는, 상기 분해할 프로시쥬어로 등록된 프로시쥬어를 하나 선택하여, 상기 프로시쥬어내의 초기화부를 삭제하고, 상기 프로시쥬어 내부 상태들을 상위 수준 프로세스의 내부 상태로 확장하는 제 7 단계; 상기 복귀 처리부에 등록된 전이의 호출 후부가 몇 개인가를 파악하여, 둘 이상이면 등록된 복귀 후부의 수에 따라 상기 프로시쥬어의 복귀 처리부를 조건문을 이용하여 세분화하여 구성하고, 하나이면 등록된 상태의 호출 후부를 사용하여 복귀 처리부를 구성하는 제 8 단계; 상기 구성된 복귀 처리부내에 또 다른 프로시쥬어의 호출이 있는지를 판단하여 그 결과에 따라 상기 제 2 단계를 수행하는 제 9 단계; 및 모든 프로시쥬어에 대하여 상기 제 7 단계부터 반복 수행하는 제 10 단계 를 포함하는 에스디엘의 시그널 수신을 가지는 프로시쥬어의 분해 방법
|
5 |
5
컴퓨터에, 시그널 수신을 발생시키는 프로시쥬어들을 검색하여 등록하고 상기 프로시쥬어의 내부 변수들을 프로세스의 변수로 확장하는 제 1 기능; 상기 프로시쥬어에 대한 호출에 따라 상기 프로시쥬어에 대한 호출을 내부 상태의 전이로 변환하고, 전이의 남은 프로시쥬어 호출 후의 부분을 등록하는 제 2 기능; 및 상기 프로시쥬어를 분해하여 상기 프로시쥬어의 내부 상태를 상위 수준 프로세스의 내부 상태로 확장하여 변환하는 제 3 기능 을 실현시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
|
6 |
6
제 5 항에 있어서, 상기 제 1 기능은, 각 프로세스에 포함된 상기 프로시쥬어에 대해 내부에 상태를 포함하고 있는지를 검사하는 제 4 기능; 상기 제 4 기능에서의 검사 결과에 따라 상기 프로시쥬어를 분해할 프로시쥬어로 등록한 후에 상기 등록한 프로시쥬어의 내부 변수들을 상위 수준 프로세스의 변수들로 확장하는 제 5 기능; 및 모든 프로시쥬어에 대하여 상기 제 4 기능부터 반복 수행하는 제 6 기능 을 실현시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
|
7 |
7
제 5 항 또는 제 6 항에 있어서, 상기 제 2 기능은, 상기 각 프로세스의 내부 문서 표현을 읽으면서 상기 프로시쥬어의 호출이 발생하였는지 상기 호출된 프로시쥬어가 분해할 프로시쥬어인지를 검사하는 제 7 기능; 상기 제 7 기능에서의 검사 결과에 따라 현재 상태를 상기 호출된 프로시쥬어에 등록하고, 상기 프로시쥬어 호출에 사용된 매개변수들을 상응하는 확장된 프로시쥬어 변수들에 할당하는 제 8 기능; 상기 프로시쥬어의 호출부를 프로시쥬어의 초기화부로 대치하고, 전이에서 호출 후부를 상기 프로시쥬어의 복귀 처리부로 이동하여 등록한 후에 전이 후의 상태를 상기 프로시쥬어내의 초기화부 다음 상태로 변경하는 제 9 기능; 및 모든 프로세스에 대하여 상기 제 7 기능부터 반복 수행하는 제 10 기능 을 실현시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
|
8 |
8
제 5 항 또는 제 6 항에 있어서, 상기 제 3 기능은, 상기 분해할 프로시쥬어로 등록된 프로시쥬어를 하나 선택하여, 상기 프로시쥬어내의 초기화부를 삭제하고, 상기 프로시쥬어 내부 상태들을 상위 수준 프로세스의 내부 상태로 확장하는 제 7 기능; 상기 복귀 처리부에 등록된 전이의 호출 후부가 몇 개인가를 파악하여, 둘 이상이면 등록된 복귀 후부의 수에 따라 상기 프로시쥬어의 복귀 처리부를 조건문을 이용하여 세분화하여 구성하고, 하나이면 등록된 상태의 호출 후부를 사용하여 복귀 처리부를 구성하는 제 8 기능; 상기 구성된 복귀 처리부내에 또 다른 프로시쥬어의 호출이 있는지를 판단하여 그 결과에 따라 상기 제 2 기능을 수행하는 제 9 기능; 및 모든 프로시쥬어에 대하여 상기 제 7 기능부터 반복 수행하는 제 10 기능 을 실현시키기 위한 프로그램을 기록한 컴퓨터로 읽을 수 있는 기록매체
|