Modelling and validation with VipTool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2678, Issue , 2003, Pages 380-389

  Desel, Jörg ^a   Juhás, Gabriel ^a   Lorenz, Robert ^a   Neumair, Christian ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; ENTERPRISE RESOURCE MANAGEMENT; PETRI NETS; SPECIFICATIONS;

BUSINESS PROCESS MODEL; CONCEPTS AND FEATURES; MODELLING AND VALIDATION; MODULAR IMPLEMENTATION; PARTIAL ORDER; PARTIAL VERIFICATION; SCRIPTING LANGUAGES; SPECIFICATION IMPLEMENTATION;

JAVA PROGRAMMING LANGUAGE;

EID: 33746058922     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44895-0_26     Document Type: Article

References (9)

1. W.M.P. van der Aalst, J. Desel and A. Oberweis (Eds.). Business Process Management. Springer, LNCS 1806, 2000.
2. W.M.P. van der Aalst and K. van Hee. Workflow Management, Models Methods and Systems. The MIT Press, Cambridge, Massachusetts, 2002.
3. J. Desel. Validation of Process Models by Construction of Process Nets. In [1], pp. 110-128.
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.
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).
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).
7. T. Freytag. Softwarevaliedierung durch Auswertung von Petrinetz-Abläufen. Dissertation, University of Karlsruhe 2001.
8. A.-W. Scheer and M. Nüttgens. ARIS Architecture and Reference Models for Business Process Management. In [1] pp. 376-390.
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.