BIS record '2008/1/503'

BibTeX

@inproceedings{BIS:2008/1/503,
  author        = {Ahmed Awad and
                   Frank Puhlmann},
  title         = {Structural Detection of Deadlocks in Business Process Models},
  year          = {2008},
  session       = {BPM: Monitoring and Verification},
  pages         = {239--250},
  crossref      = {BIS:2008/1},
  bibsource     = {BIS, http://bis.kie.ue.poznan.pl/biblio/},
  abstract      = {A common task in business process modelling is the verification of process models regarding syntactical and structural errors. While the former might be checked with low efforts, the latter usually requires a complex state-space analysis to prove properties like deadlock-freedom of the models. In this paper, we address the issue of deadlock detection with a novel approach based on business process querying. Using queries, we are able to detect a broad range of common structural errors that lead to deadlocks, such as misaligned splits and joins. While not being complete, the proposed approach has the advantages of low computational efforts as well as providing graphical outputs that directly lead to the errors.}
}

  
@proceedings{BIS:2008/1,
  editor        = {Witold Abramowicz, Dieter Fensel},
  booktitle     = {Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 2008},
  title         = {Business Information Systems, 11th International Conference, BIS 2008, Innsbruck, Austria, May 2008},
  publisher     = {Springer-Verlag},
  isbn          = {978-3-540-79395-3},
  year          = {2008},
  bibsource     = {BIS, http://bis.kie.ue.poznan.pl/biblio/}
}