Experience of Solving Example Problem for Software Process Modeling

Hajimu IIDA  Yoshihiro OKADA  Katsuro INOUE  Koji TORII  

IEICE TRANSACTIONS on Information and Systems   Vol.E76-D   No.2   pp.302-306
Publication Date: 1993/02/25
Online ISSN: 
Print ISSN: 0916-8532
Type of Manuscript: LETTER
Category: Software Systems
software process modeling,  process and product relation,  timing chart,  petri net,  PDL,  

Full Text: PDF(307.8KB)>>
Buy this Article

Marc Kellner proposed an example problem intending to compare modeling and describing techniques of software process. In this paper, we will describe our approach to understanding and describing the problem, from a process/product relation view, and synchronization/concurrent view. Also, we will show that a description of the problem is translated for execution and its correctness is validated.