In the field of software development, there have been enormous effort to improve the quality of software products and the productivity of software development. As one of the results from these efforts, a new development approach called "process-driven software development" has been introduced. The main advantage of process-driven software development is the ability to explicitly guide and staff development processes. The underlying assumption of this approach is the existence of fine-grained formal process model. Unfortunately, the traditional process modeling and analysis techniques do not support such formal modeling of processes. This lack of fulfillment raised a new issue, formal techniques to software process modeling. Recently, several formal approaches to software process modeling have been introduced. Each of them has its own advantages and disadvantages in terms of representing various aspects of software processes. Our study focuses on developing a new Petri-net based approach, namely MAM-Net(Modeling, Analysis and Management-Net) that can model organizational properties as well as other properties in a uniform way. As a formal software process modeling approach, MAM-Net provides formal modeling constructs for representing process activities, process artifacts, and process control flows. MAM-Net also supports the modeling of process agents and their control flows in process models in order to reflect organizational properties. In analysis, not only the standard Petri-net analysis techniques are supported, but also new additional analysis techniques have been developed in order to provide helpful information for project planning and management. With these modeling and analysis capabilities, MAM-Net can be used in software process modeling, analysis, and management. This thesis presents the formal definitions and process modeling mechanisms of MAM-Net. In addition, the supporting analysis capabilities are described.
그동안 소프트웨어 개발 분야에 있어서 생산성과 품질의 향상을 위해 많은 연구와 노력이 계속 되어왔다. 이러한 노력의 결과로서 소프트웨어 개발상에 필요한 여러가지 새로운 기술과 방법들이 개발되었고, 또 개발되고 있다. 그 중 하나의 결과로서 프로세스 운영 중심의 소프트웨어 개발(process-driven software development)이란 새로운 소프트웨어 개발의 접근 방법이 대두 되었다. 프로세스 운영 중심의 소프트웨어 개발이란 주어진 소프트웨어 개발 프로세스 모델을 기반으로하여 개발상의 각각의 수행 작업들을 조종, 관리하여 효과적인 소프트웨어 개발을 유도하는 것이다. 이러한 프로세스 운영 중심의 소프트웨어 개발을 효과적으로 수행하기 위해서는 먼저 구체적이고 형식화된 프로세스 모델이 존재하여야 하는데 기존의 비형식적인 프로세스 모델링 기술로서는 형식화되고 구체화된 소프트웨어 프로세스 모델링을 하기에 부족하였다. 최근 들어서 이러한 요구를 충족시키기 위해 형식화된 소프트웨어 프로세스 모델링 기법들이 개발되기 시작했다. 이러한 기법들의 한 종류로서 페트리넷을 기반으로 한 여러가지 모델링 기법들이 개발되었다. 그러나 이러한 기존의 페트리넷기반의 기법들은 소프트웨어 개발상에 필요 자원들에 대한 모델링이 부족하였다. 본 논문에서는 MAM-Net(Modeling, Analysisand Management-Net)이라고 하는 새로운 페트리넷 기반의 소프트웨어 개발 프로세스의 모델링 및 분석 그리고 관리 기법을 제안한다. MAM-Net은 기본적으로 소프트웨어 개발상의 수행작업들과 산출물들, 그리고 그들간의 컨트롤 흐름이외에도 소프트웨어 개발상의 필요한 개발 수행자들까지도 일괄적인 모델링을 지원하며, 완성된 모델에 대한 기존의 페트리넷 분석기법 이외에도 프로세스 수행상의 관리 측면에서의 다양한 분석기법을 제공함으로써, 소프트웨어 프로세스의 모델링, 분석 그리고 관리를 전반적으로 지원한다.
