Modelling and Validation with VipTool
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.
Unable to display preview. Download preview PDF.
- 1.W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000.Google Scholar
- 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
- 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.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.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.T. Freytag. Softwarevaliedierung durch Auswertung von Petrinetz-Abläufen. Dissertation, University of Karlsruhe 2001.Google Scholar
- 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