Flexible and reliable process model properties: An integrated approach

Tiziana Margaria, Volker Gruhn

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationApplied Formal Methods — FM-Trends 1998 - International Workshop on Current Trends in Applied Formal Methods, Proceedings
EditorsPaolo Traverso, Dieter Hutter, Werner Stephan, Markus Ullmann
PublisherSpringer Verlag
Pages213-227
Number of pages15
ISBN (Print)3540664629, 9783540664628
DOIs
Publication statusPublished - 1999
Externally publishedYes
EventInternational Workshop on Current Trends in Applied Formal Methods, 1998 - Boppard, Germany
Duration: 7 Oct 19989 Oct 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1641
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInternational Workshop on Current Trends in Applied Formal Methods, 1998
Country/TerritoryGermany
CityBoppard
Period7/10/989/10/98

Fingerprint

Dive into the research topics of 'Flexible and reliable process model properties: An integrated approach'. Together they form a unique fingerprint.

Cite this