이 논문은 운영체제에 대한 호출들로 표현된 소프트웨어의 병렬성을 Ada로 번역하기 위한 방법론을 기술하고 있다. Legacy 소프트웨어들에 내재하는 병렬성은 주로 병렬 Process 또는 task들을 제어하는 운영체제 호출들로 표현된다. 본 논문에서 다루고 있는 예로서는 C 프로그램내부에서 사용하는 Unix 운영체제에 대한 호출과 더불어 CMS-2 프로그램에서 사용하는 ATES나 SDEX-20 운영체제의 Executive Service Routine들에 대한 호출들을 볼 수 있다. 소프트웨어 이해를 위한 다른 연구에서는 legacy 소프트웨어에 있는 운영체제호출을 또 다른 운영체제에 대한 호출로 번역하는 데에 역점을 두고 있다. 이런 연구에서는 소프트웨어를 이해하기 위해서 소프트웨어가 수행되는 운영체제에 대한 이해가 필수적으로 요구된다. 그런데 이런 운영체제는 보통 매우 복잡하거나 체계적으로 문서화되어 있지 않다. 본 논문에서의 연구는 legacy 소프트웨어에 있는 운영체제호출을 Ada 메커니즘을 이용한 동일한 프로토콜로 번역하는 데에 역점을 두고 있다. Ada로의 번역에 있어 이러한 호출들은 메시지에 기초한 kernel 중심 구조의scheme에 맞는 의미적으로 동일한 Ada 코드로 대표된다. 번역을 용이하게 하기 위하여 데이터 구조, task, Procedure, message들을 위해 library에 있는 template들을 사용한다. 이 방법론은 소프트웨어 재 ${cdot}$ 역공학측면에서 운영체제를 Ada로 modeling하는 새로운 접근방식이다. 이 방식에는 소프트웨어 이해를 위하여 기존 운영 체제에 대한 지식이 필요하지 않다. 왜냐하면, legacy 소프트웨어에 내재했던 운영체제에 대한 종속성이 제거되었기 때문이다. 이렇게 번역된 Ada 소프트웨어는 여러 Ada실행환경 에서 이식이 가능하고 또한 소프트웨어들간에 상호작동성이 좋다. 이 방식은 다른 legacy 소프트웨어 시스템의 운영체제호출들도 처리할 수 있다．
This paper describes a methodology for translation of concurrent software expressed in operating system (OS) calls to Ada. Concurrency is expressed in some legacy software by OS calls that perform concurrent process/task control. Examples considered in this paper are calls in programs in C to Unix and calls in programs in CMS-2 to the Executive Service Routines of ATES or SDEX-20 other software re/reverse engineering research has focused on translating the OS calls in a legacy software to calls to another OS. In this approach, the understanding of software has required knowledge of the underlying OS, which is usually very complicated and informally documented. The research in this paper has focused on translating the OS calls in a legacy software into the equivalent protocols using the Ada facilities. In translation to Ada, these calls are represented by Ada equivalent code that follow the scheme of a message-based kernel oriented architecture. To facilitate translation, it utilizes templates placed in library for data structures, tasks, procedures, and messages. This methodology is a new approach to modeling OS in Ada in software re/reverse engineering. There is no need of knowledge of the underlying OS for software understanding in this approach, since the dependency on the OS in the legacy software is removed. It is portable and interoperable on Ada run-time environments. This approach can handle the OS calls in different legacy software systems.
