MAM-Net : a petri-net based approach to software process modeling, analysis, and management = 패트리넷 기반의 소프트웨어 개발 프로세스 모델링, 분석 및 관리 기법 : MAM-Net

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.
Advisors
Bae, Doo-Hwanresearcher배두환researcher
Publisher
한국과학기술원
Issue Date
1997
Identifier
113308/325007 / 000957072
Language
eng
Description

학위논문(석사) - 한국과학기술원 : 정보및통신공학과, 1997.2, [ iv, 60 p. ]

Keywords

페트리넷; 프로세스 분석; 프로세스 모델링; 소프트웨어 프로세스; Pr/T; Petri net; Software process; Process modeling; Process analysis

URI
http://hdl.handle.net/10203/40023
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=113308&flag=t
Appears in Collection
ICE-Theses_Master(석사논문)
Files in This Item
There are no files associated with this item.
  • Hit : 129
  • Download : 0
  • Cited 0 times in thomson ci

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0