Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation

Tarek Fatyani, Junich Iijima, Jaehyun Park

2014

Abstract

Enterprises are growing in complexity due to many business processes. This growth requires a simple but complete model for enterprise design. The DEMO model has proven its ability to describe an enterprise in a concise, coherent, and complete manner over the last decade. However, validating the model in the real world requires methods that enable debugging and testing the model, which can be achieved by simulating the model. In this paper, a simulation methodology is proposed. The methodology is based on mapping one to one from the DEMO model to Coloured Petri Net. The reason for choosing CPN is to use the richness of the Petri Net research results on, e.g., performance, deadlock analysis, animation, etc. Furthermore, CPN has a mathematical representation, which can initiate research on analysing DEMO models mathematically. As for validation, this paper applied the proposed transformation method to a case study.

References

  1. Dietz, J. L. G., 2006. Enterprise Ontology Theory and Methodology, Enterprise Ontology. Springer, Berlin, Heidelberg.
  2. The Enterprise Engineering Institute, 2014. [Online] Available from: http://www.ee-institute.com/ methodology /. [Accessed Jan 2014].
  3. Alicia P. C. Perinforma. 2012. The essence of organization an introduction in enterprise engineering, Sapio bv.
  4. Marwan, W., Rohr, C., Heiner, M., 2012. “Petri Nets in Snoopy: A Unifying Framework for the Graphical Display, Computational Modelling, and Simulation of Bacterial Regulatory Networks,”Bacterial Molecular Networks. Springer New York. Vol. 804, pp 409-437.
  5. Valk, R., Girault, C., 2003. Petri Nets for Systems Engineering, Springer, Berlin, Heidelberg.
  6. Liu, F., Heiner, M., Rohr, C., 2012. Manual for Colored Petri Nets in Snoopy, Brandenburg University of Technology Cottbus, Report 02-12.
  7. Weske, M., 2012. Business Process Management: Concepts, Languages, Architectures, Springer.
  8. Eshuis, R., Wieringa, R., 2003. Comparing Petri Net and Activity Diagram Variants for Workflow Modeling -a Quest for Reactive Petri Nets. . In Petri Net Technology for Communication-Based Systems, vol. 2472, pp. 321-351.
  9. Motameni, H., Movaghar, A., Fadavi Amiri, M., 2007. Mapping Activity Diagram to Petri Net, International Journal of Engineering. Vols. 20 - 1, pp. 65-76.
  10. Staines, T. S., 2008. Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets. Engineering of Computer Based Systems, pp. 191 - 200.
  11. Remco, M. D., Marlon, D., Chun, O., 2008. Formal Semantics and Analysis of BPMN Process Models using Petri Nets. Information and Software Technology, Vol. 50, Issue 12, pp 1281-1294.
  12. Barjis, J., 2007. Automatic Business Process Analysis and Simulation based on DEMO. Enterprise Information Systems, vol. 1, no. 4, pp. 365-381.
  13. Barjis, J., 2007. Developing Executable Models of Business Systems. 9th International Conference on Enterprise Information Systems, June 12-16, Funchal, Portugal.
  14. Steven J. H. V. K, Jan L. G. Dietz, Hintzen, J., Meeuwen, T. V, Zijlstra, B., 2012. Ontology driven enterprise information systems engineering. International Conference on Software and Data Technologies 205- 210 (ICSOFT).
  15. Van Der Aalst, W. M.P., Van Hee, K. M., Ter Hofstede, A. H. M., Sidorova, N., Verbeek, H. M. W., Voorhoeve, M., Wynn, M. T., 2011. “Soundness of Workflow Nets: Classification, Decidability, and Analysis,” Formal Aspects of Computing, vol. 23, issue 3, pp. 333-363.
  16. Van Der Aalst, 2000. Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques. Van Der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management, Springer Berlin Heidelberg.
  17. Jensen, Kurt, Kristensen, Lars M., 2009. Coloured Petri Nets. Springer.
  18. Van Der Aalst, 1995. A Class of Petri Nets for Modeling and Analyzing Business Processes. Computing science reports, Eindhoven University of Technology, Department of Mathematics and Computing Science.
Download


Paper Citation


in Harvard Style

Fatyani T., Iijima J. and Park J. (2014). Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation . In Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014) ISBN 978-989-758-049-9, pages 388-396. DOI: 10.5220/0005137803880396


in Bibtex Style

@conference{keod14,
author={Tarek Fatyani and Junich Iijima and Jaehyun Park},
title={Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation},
booktitle={Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)},
year={2014},
pages={388-396},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005137803880396},
isbn={978-989-758-049-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Knowledge Engineering and Ontology Development - Volume 1: KEOD, (IC3K 2014)
TI - Transformation of DEMO Model into Coloured Petri Net - Ontology based Simulation
SN - 978-989-758-049-9
AU - Fatyani T.
AU - Iijima J.
AU - Park J.
PY - 2014
SP - 388
EP - 396
DO - 10.5220/0005137803880396