Verification Support for Workflow Design with UML Activity Graphs

H. Eshuis, Roelf J. Wieringa

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

    74 Citations (Scopus)
    117 Downloads (Pure)

    Abstract

    We describe a tool that supports verification of workflow models specified in UML activity graphs. The tool translates an activity graph into an input format for a model checker according to a semantics we published earlier. With the model checker arbitrary propositional requirements can be checked against the input model. If a requirement fails to hold an error trace is returned by the model checker. The tool automatically translates such an error trace into an activity graph trace by high-lighting a corresponding path in the activity graph. One of the problems that is dealt with is that model checkers require a finite state space whereas workflow models in general have an infinite state space. Another problem is that strong fairness is necessary to obtain realistic results. Only model checkers that use a special model checking algorithm for strong fairness are suitable for verifying workflow models. We analyse the structure of the state space. We illustrate our approach with some example verifications.
    Original languageUndefined
    Title of host publication24th Int. Conf. on Software Engineering (ICSE 2002)
    EditorsW. Tracz, J. Magee, M. Young
    Place of PublicationNew York
    PublisherAssociation for Computing Machinery (ACM)
    Pages166-176
    Number of pages11
    ISBN (Print)1-58113-472-X
    DOIs
    Publication statusPublished - 2002
    Event24th International Conference on Software Engineering, ICSE 2002 - Orlando, United States
    Duration: 19 May 200225 May 2002
    Conference number: 24

    Publication series

    Name
    PublisherACM

    Conference

    Conference24th International Conference on Software Engineering, ICSE 2002
    Abbreviated titleICSE
    CountryUnited States
    CityOrlando
    Period19/05/0225/05/02

    Keywords

    • SCS-Services
    • EWI-891
    • IR-38257
    • METIS-209499

    Cite this