CFP last date
20 May 2024
Call for Paper
June Edition
IJCA solicits high quality original research papers for the upcoming June edition of the journal. The last date of research paper submission is 20 May 2024

Submit your paper
Know more
The week's pick
Responsive image
Enhancing Privacy Preservation: Multi-Attribute Protection with P-Sensitive K-Anonymity

Twinkle Patel Kiran Amin
Random Articles
Reseach Article

Business Process Verification using Formal Language Petri Net: An Approach

Published on December 2014 by Pankaj Kasar, Gaurav Paliwal
journal_cover_thumbnail

National Conference on Emerging Trends in Computer Technology
Foundation of Computer Science USA
NCETCT - Number 3
December 2014
Authors: Pankaj Kasar, Gaurav Paliwal
943326fe-7810-46d3-a70e-c5d40deaba46

Pankaj Kasar, Gaurav Paliwal . Business Process Verification using Formal Language Petri Net: An Approach. National Conference on Emerging Trends in Computer Technology. NCETCT, 3 (December 2014), 14-17.

@article{
author = { Pankaj Kasar, Gaurav Paliwal },
title = { Business Process Verification using Formal Language Petri Net: An Approach },
journal = { National Conference on Emerging Trends in Computer Technology },
issue_date = { December 2014 },
volume = { NCETCT },
number = { 3 },
month = { December },
year = { 2014 },
issn = 0975-8887,
pages = { 14-17 },
numpages = 4,
url = { /proceedings/ncetct/number3/19094-4032/ },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Proceeding Article
%1 National Conference on Emerging Trends in Computer Technology
%A Pankaj Kasar
%A Gaurav Paliwal
%T Business Process Verification using Formal Language Petri Net: An Approach
%J National Conference on Emerging Trends in Computer Technology
%@ 0975-8887
%V NCETCT
%N 3
%P 14-17
%D 2014
%I International Journal of Computer Applications
Abstract

In this paper, we propose an approach of verification of business processes shown in semiformal modeling notation BPMN, by transforming it into petri net a formal language. This paper covers the transformation of BPMN to petri net using model transformation language ATL available in Model Driven Engineering along with introduction of BPMN and petri net.

References
  1. Stephen A. white, "Introduction to BPMN", IBM Corporation.
  2. Thomas,R. "Introductionto Unified Modeling Language", Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings, p. 354.
  3. Khalaf, R. "Business processes for Web Services: Principles and applications", IBM Systems Journal (Volume:45 , Issue: 2 ),2006, pp. 425- 446
  4. Dijkman, R. "Semantics and Analysis of Business Process Models in BPMN", Information and software technology, 50(12), pp. 1281-1294.
  5. Frederic Jouault, Freddy Allilaire, Jean Bezivin, Ivan Kurtev, and Patrick Valduriez. "Atl:a qvt-like transformation language". In Peri L. Tarr and William R. Cook, editors, OOPSLA Companion, ACM, 2006 pp 719-720.
  6. The Object Management Group. Meta object facility (mof) 2. 0 query/view/transformation. Specification Version 1. 0, Object Management Group, April 2008.
  7. Octavian Patrascoiu. "Yatl: Yet another transformation language". InUniversity of Twente, the Nederlands, pp 83-90, 2004.
  8. OMG: Meta Object Facility (MOF) 2. 0CoreSpecification, OMG Document formal 2006-01-01. (2006).
  9. Denivaldo Lopes, SlimaneHammoudi, Jean Bezivin , and Frederic Jouault, "Mapping Specification in MDA: From Theory to Practice".
  10. Samira. Tasharo,ZilouchianMoghaddam, R. , M. Sirjani, and M. Vakilian,, "Modeling Web Service Interactions using the Coordination Language REO", in Proceedings of the 4th International Workshop on Web Services and Formal Methods, LNCS 4937(2007), pp. 108-123.
  11. B. Changizi, N. Kokash, and F. Arbab,"A unified toolset for business process model formalization," inProc. FESCA'10, 2010.
  12. WilliTscheschner, "Transformation from EPC to BPMN".
  13. Juan Pablo LopezGrao, JoseMerseguer, Javier Campos, "From UML Activity Diagrams to Stochastic Petri Nets:Application to Software Performance Engineering", WOSP 04 January 14-16, 2004.
Index Terms

Computer Science
Information Sciences

Keywords

Software System Bpmn Petri Net Business Process Atl And Formal Semantics