Modelling and Validation with VipTool

  • Jörg Desel
  • Gabriel Juhás
  • Robert Lorenz
  • Christian Neumair
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2678)

Abstract

This paper describes concepts and features of a new version of the VipTool. As for the original VipTool, the main issue of this software package is to generate, analyze and visualize process nets, representing the partial order behavior of business process models given by Petri nets. Whereas the original VipTool was implemented in the scripting language Python, the new VipTool is a completely new and modular implementation in Java that allows to add arbitrary extensions in a more flexible way. In this new version, several drawbacks that had appeared previously where eliminated. Moreover, the new VipTool contains additional features such as a more comfortable editor as well as eps- and XML-interfaces. The main improvement is a better support of step-wise validation of models and specifications and, alternatingly, partial verification (testing) of specification implementations. This paper also presents a small case study explaining how the VipTool supports these design steps.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000.Google Scholar
  2. 2.
    W.M.P. van der Aalst and K. van Hee. Workflow Management, Models Methods. and Systems. The MIT Press, Cambridge, Massachusetts, 2002.Google Scholar
  3. 3.
    J. Desel. Validation of Process Models by Construction of Process Nets. In J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000 [1], pp. 110–128.CrossRefGoogle Scholar
  4. 4.
    J. Desel. Model Validation — A Theoretical Issue? In J. Esparza, C. Lakos (Eds.). Proc. of ICATPN 2002, LNCS 2360, Springer 2002, pp. 23–43.Google Scholar
  5. 5.
    J. Desel and T. Erwin. Hybrid specifications: looking at workflows from a run-time perspective. International Journal of Computer System Science & Engineering, 15 Nr. 5, pp. 291–302 (2000).Google Scholar
  6. 6.
    J. Esparza, S. Römer and W. Vogler: An Improvement of McMillan’s Unfolding Algorithm. In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems, TACAS’ 96, LNCS 1055, pp. 87–106. Berlin, Heidelberg, New York: Springer (1996).Google Scholar
  7. 7.
    T. Freytag. Softwarevaliedierung durch Auswertung von Petrinetz-Abläufen. Dissertation, University of Karlsruhe 2001.Google Scholar
  8. 8.
    A.-W. Scheer and M. Nüttgens. ARIS Architecture and Reference Models for Business Process Management. In J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000 [1] pp. 376–390.CrossRefGoogle Scholar
  9. 9.
    M. Weber, E. Kindler. The Petri Net Markup Language. To appear in H. Ehrig, W. Reisig, G. Rozenberg, H. Weber (Eds.). Petri Net Technology for Communication Based Systems. LNCS 2472, Springer 2003.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Jörg Desel
    • 1
  • Gabriel Juhás
    • 1
  • Robert Lorenz
    • 1
  • Christian Neumair
    • 1
  1. 1.Lehrstuhl für Angewandte InformatikKatholische Universität EichstättEichstättGermany

Personalised recommendations