Learn More
The importance of a mirror neuron system (MNS) as a mechanism for understanding the actions of others has been estab-Neurons in the primate premotor cortex fire both when a monkey performs an action (e.g., grasping) and when the monkey observes someone else performing the same action. It has also been proposed that the MNS is the starting point for(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)
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(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)