@inproceedings{08634c99190943d0bb7a0a5684b975e7,
title = "Flexible and reliable process model properties: An integrated approach",
abstract = "In this article we describe an integrated approach to process management based on the widely used LEU toolset for process modelling and workflow management and on the ABC tools for formal verification of process model properties. We show how process modelling and process model analysis benefit from this integration by gaining a fully automatic global property check capability. We illustrate the approach by means of a process model example taken from an industrial project.",
author = "Tiziana Margaria and Volker Gruhn",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1999.; International Workshop on Current Trends in Applied Formal Methods, 1998 ; Conference date: 07-10-1998 Through 09-10-1998",
year = "1999",
doi = "10.1007/3-540-48257-1_13",
language = "English",
isbn = "3540664629",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "213--227",
editor = "Paolo Traverso and Dieter Hutter and Werner Stephan and Markus Ullmann",
booktitle = "Applied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings",
}