Experience of Solving Example Problem for Software Process Modeling

Hajimu IIDA
Yoshihiro OKADA
Katsuro INOUE
Koji TORII

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

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



Summary: 
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.


open access publishing via