DERIVING CANONICAL BUSINESS OBJECT OPERATION NETS FROM PROCESS MODELS

Wang Zhaoxia, Wang Jianmin, Wen Lijie, Liu Yingbo

Abstract

Process model defines the business object operation orders. It is necessary to validate that the business object operation sequences are consistent with the reference business object life cycle. In this paper we propose an approach for deriving the canonical business object operation nets from process models which are modelled with workflow coloured Petri net, i.e. WFCP-net. Our approach consists of 3 steps. First, the tasks, which access a certain business object, are modelled with task operation nets. Second, the WFCP-net is rewritten with these task operation nets. Third, the business object operation net is reduced to the canonical one.

References

  1. Aalst, W. M. P. V. D., 1998. The application of Petri nets to workflow management. Journal of Circuits, Systems and Computers, 8(1), 21-66.
  2. Betous-Almeida, C. & Kanoun, K., 2004. Construction and stepwise refinement of dependability models. Performance Evaluation. 56, 1-4 (Mar. 2004), 277-306.
  3. Clarke, E., Grumberg, O., and Long, D., 1996. Model checking. In Proceedings of the NATO Advanced Study institute on Deductive Program Design (Marktoberdorf, Germany, July 26 - August 07, 1994). M. Broy, Ed. Springer-Verlag, New York, Secaucus, NJ, 305-349.
  4. Holzmann G.J., 2003. The SPIN model checker: primer and reference manual. Addison-Wesley, 2003.
  5. Jensen K., 1997. Colored petri nets : basic concepts, analysis methods and practical use. Basic Concepts, Vol. 1, Berlin: Springer Verlag, 1997.
  6. Kappel, G. & Schrefl, M, 1991. Object/behavior diagrams. In Proceedings of the Seventh International Conference on Data Engineering (April. 1991). IEEE Computer Society, Washington, DC, 530-539.
  7. Küster, J.M., Ryndina,K., Gall,H., 2007. Generation of business process models for object life cycle compliance,In: Proceeding of BPM2007, Lecture Notes in Computer Science, vol. 4714, Springer, Berlin, 2007, 165-181.
  8. Liu, D., Wang, J., Chan, S. C., Sun, J., and Zhang, L., 2002. Modeling workflow processes with colored Petri nets. Computers in Industry, 49(3)(Dec. 2002), 267- 281.
  9. Lee, G., Eastman, C. M., and Sacks, R., 2007. Eliciting information for product modeling using process modeling. Data & Knowledge Engineering, 62(2)(Aug. 2007), 292-307.
  10. Ryndina, K., Küster, J. M., and Gall, H., 2006. Consistency of business process models and object life cycles. In: Proceedings of the 1st Workshop on Quality in Modeling co-located with MoDELS 2006, Technical report 0627, Technische Universiteit Eindhoven, 2006.
  11. Suzuki, I. & Murata, T., 1983. A method for stepwise refinement and abstraction of Petri nets. Journal of Computer and System Sciences, 27(1), 1983, 51-76.
  12. Stumpiner, M., Schrefl, M., 2000. Behavior Consistent inheritance in UML. In: Conceptual Modeling - ER 2000, LNCSLecture Notes in Computer Science, vol. 1920, Springer, Heidelberg 2000, 527-542.
  13. Schrefl, M. & Stumptner, M., 2002. Behavior-consistent specialization of object life cycles. ACM Transitions on Software Engineering and Methodology, 11(1) (Jan. 2002), 92-148.
  14. Sun, S. X., Zhao, J. L., Nunamaker, J. F., and Sheng, O. R., 2006. Formulating the data-flow perspective for business process management. Information Systems Research, 17(4) (Dec. 2006), 374-391.
  15. TiPLM. (2008) www.thit.com.cn/TiPLM/TiPLM.htm.
Download


Paper Citation


in Harvard Style

Zhaoxia W., Jianmin W., Lijie W. and Yingbo L. (2009). DERIVING CANONICAL BUSINESS OBJECT OPERATION NETS FROM PROCESS MODELS . In Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-8111-86-9, pages 182-187. DOI: 10.5220/0001996801820187


in Bibtex Style

@conference{iceis09,
author={Wang Zhaoxia and Wang Jianmin and Wen Lijie and Liu Yingbo},
title={DERIVING CANONICAL BUSINESS OBJECT OPERATION NETS FROM PROCESS MODELS},
booktitle={Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2009},
pages={182-187},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001996801820187},
isbn={978-989-8111-86-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - DERIVING CANONICAL BUSINESS OBJECT OPERATION NETS FROM PROCESS MODELS
SN - 978-989-8111-86-9
AU - Zhaoxia W.
AU - Jianmin W.
AU - Lijie W.
AU - Yingbo L.
PY - 2009
SP - 182
EP - 187
DO - 10.5220/0001996801820187