Modified Reflective Petri Net for Performance Evaluation of Policy-Driven ASBS

  • Liang Ge
  • Bin Zhang
  • Changsheng Zhang
  • Fei Li
Conference paper
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 214)


The adaption behavior of policy-driven ASBS is very flexible, while the performance of system is remarkably affected by the autonomy of Web services and dynamics of environments. In order to facilitate the design of efficient adaptive policy, it is important to have mechanisms to evaluate system performance. The performance evaluation of policy-driven ASBS is generally difficult due to the complexity of adaptive policies, particularly, when involving unpredictable dynamic environments. In this paper, we proposed modified Reflective Petri Net (mRPN) to analyze the effect of adaptive policy on system performance in different environments. The business behavior and adaptive behavior are modeled separately in mRPN for easy specify and independent analysis, also the model provides performance evaluate ability without changing the foundation of Petri Net. Through an example, we illustrate the use of mRPN in policy-driven ASBS modeling and performance evaluation procedure.


ASBS Performance evaluation Petri net 



This work is supported by National Natural Science Foundation of China (No.61073062, No. 61100090), the Fundamental Research Funds for the Central Universities under Grant (No.110204006).


  1. 1.
    Yau, S.S., Ye, N., Sarjoughian, H., et al.: Toward development of adaptive service-based software systems. IEEE Trans. Serv. Comput. 2(3), 247–260 (2009)Google Scholar
  2. 2.
    Zhang, J., Cheng, B.H.C.: Specifying adaptation semantics. ACM SIGSOFT Softw. Eng. Notes 30(4), 1–7 (2005)Google Scholar
  3. 3.
    Adler, R., Schaefer, I., Schuele, T., et al.: From model-based design to formal verification of adaptive embedded systems. In: Formal Methods and Software Engineering, LNCS, vol. 4789, pp. 76–95 (2007)Google Scholar
  4. 4.
    Zhang, J., Cheng, BHC.: Model-based development of dynamically adaptive software. In: 28th International Conference of Software Engineering (ICSE), Shang Hai, pp. 371–380 (2006)Google Scholar
  5. 5.
    Irmert, F., Fischer, T., Meyer-Wegener, K.: Runtime adaptation in a service-oriented component model. In: 2008 International Workshop on Software Engineering for Adaptive and Self-Managing Systems. Leipzig, pp. 97–104 (2008)Google Scholar
  6. 6.
    Cheng, B.H.C., de Lemos, R., et al.: Software engineering for self-adaptive systems: a research roadmap. Softw. Eng. Self-Adap. Syst. LNCS 5525, 1–26 (2009)Google Scholar
  7. 7.
    Perez-Palacin, D., Merseguer, J.: Performance evaluation of self-reconfigurable service-oriented software with stochastic petri nets. Electron. Notes Theor. Comput. Sci. 261, 181–201 (2010)CrossRefGoogle Scholar
  8. 8.
    Perez-Palacin, D., Merseguer, J., Mirandola, R.: Analysis of bursty workload-aware self-adaptive systems. In: Third Joint WOSP/SIPEW International Conference on Performance Engineering, Boston, pp. 75–84 (2012)Google Scholar
  9. 9.
    Capra, L., Cazzola, W.: Self-evolving petri nets. J. Univ. Comput. Sci. 13(13), 2002–2034 (2007)Google Scholar
  10. 10.
    Hamadi, R., Benatallah, B.: Recovery nets towards self-adaptive workflow systems. Web Inf. Syst. LNCS 3306, 439–453 (2004)Google Scholar
  11. 11.
    Nazareth, D.: Investigating the applicability of petri nets for rule-based system verification. IEEE Trans. Knowl. Data Eng. 4(3), 402–415 (1993)CrossRefGoogle Scholar
  12. 12.
    Wu, CH., Lee, SJ.: Knowledge verification with an enhanced high-level petri-net model. IEEE Expert 12(5), 73–80 (1997)Google Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2013

Authors and Affiliations

  1. 1.College of Information Science and EngineeringNortheastern UniversityShenyangChina

Personalised recommendations