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.
supported by DFG: Project “SPECIMEN”
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000.
W.M.P. van der Aalst and K. van Hee. Workflow Management, Models Methods. and Systems. The MIT Press, Cambridge, Massachusetts, 2002.
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.
J. Desel. Model Validation — A Theoretical Issue? In J. Esparza, C. Lakos (Eds.). Proc. of ICATPN 2002, LNCS 2360, Springer 2002, pp. 23–43.
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).
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).
T. Freytag. Softwarevaliedierung durch Auswertung von Petrinetz-Abläufen. Dissertation, University of Karlsruhe 2001.
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.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desel, J., Juhás, G., Lorenz, R., Neumair, C. (2003). Modelling and Validation with VipTool. In: van der Aalst, W.M.P., Weske, M. (eds) Business Process Management. BPM 2003. Lecture Notes in Computer Science, vol 2678. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44895-0_26
Download citation
DOI: https://doi.org/10.1007/3-540-44895-0_26
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40318-0
Online ISBN: 978-3-540-44895-2
eBook Packages: Springer Book Archive