Learn More
—We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker according to a mathematical semantics. With the model checker, arbitrary propositional requirements can be checked against the input model. If a requirement fails to hold, an(More)
I n the past, businesses often operated in stand-alone mode or relied on rather static networks of cooperating organizations. Today, competition has become fiercer, fueled by relatively recent developments such as the globalization of business, shortened time-to-market requirements, and increased market transparency. Products and services to be delivered to(More)