Open Access Journal

ISSN : 2456-1304 (Online)

International Journal of Engineering Research in Electronics and Communication Engineering(IJERECE)

Monthly Journal for Electronics and Communication Engineering

Open Access Journal

International Journal of Science Engineering and Management (IJSEM)

Monthly Journal for Science Engineering and Management
Call For Paper : Vol 11, Issue 03, March 2024

ISSN : 2456-1304 (Online)

Call for Paper

Vol 11, Issue 03, March 2024

Indexing

Formal Modeling of Business Processes in Requirement Engineering

Author : Manju Pandey 1

PDF

Date of Publication :16th November 2017

Abstract: This paper is on the lines of self-explanatory tutorial. It illustrates the application of a formal method for modeling business processes that occur in a requirement engineering context. Two examples have been chosen for the purpose a car wash business process example and an order processing system example. The advantages of formal modeling methods have been discussed. The formal method used for the work is based on Petri nets. This paper is richly illustrated as an aid to ease understanding. The emphasis is more on the conceptual aspects

Reference :

    1.  Peterson, James L. (1977) Petri nets ACM computing surveys
    2. Peterson, james L. (1981), petri net theory and the modeling of systems, prentice Hall
    3. Matthias Jungel,Ekkart Kindler, and Michael Weber, “The petri net markup language September 2002
    4.  I. Low, Y. Yang, and H. Lin, “Validation of Petri net apoptosis models using p- invariant analysis,” in Control and Automation, 2009. ICCA 2009. IEEE International Conference on, 2009, pp. 416 –421.
    5. A. Yakovlev, L. Gomes, and L. Lavagno, Eds.,Hardware Design and Petri Nets. Kluwer Academic Publishers, 2000,

Recent Article