Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

UML
2001
Springer

favoriteEmaildiscussreport

99views Natural Language Processing» more UML 2001»

An Execution Algorithm for UML Activity Graphs

13 years 9 months ago

An Execution Algorithm for UML Activity Graphs

Download www.imamu.edu.sa

We present a real-time execution semantics for UML activity graphs that is intended for workﬂow modelling. The semantics is deﬁned in terms of execution algorithms that deﬁne how components of a workﬂow system execute an activity graph. The semantics stays close to the semantics of UML state machines, but diﬀers from it in some minor points. Our semantics deals with real time. The semantics provides a basis for veriﬁcation of UML activity graphs, for example using model checking, and also for executing UML activity graphs using simulation tools. We illustrate an execution by means of a small example.

Rik Eshuis, Roel Wieringa

Real-time Traffic

Natural Language Processing | Real-time Execution Semantics | Semantics | UML 2001 | UML Activity Graphs |

claim paper

Related Content

» Integrating UML diagrams for production control systems

» UML for BehaviorOriented Multiagent Simulations

» Discovering Programs Behavioral Patterns by Inferring GraphGrammars from Execution Traces

» A concurrent rule scheduling algorithm for active rules

» ActivityDriven Synthesis of State Machines

» Compiling business processes untangling unstructured loops in irreducible flow graphs

» Mining Constrained Graphs The Case of Workflow Systems

» Applying Triple Graph Grammars For PatternBased Workflow Model Transformations

» Control Flow Analysis of UML 20 Sequence Diagrams

Post Info
More Details (n/a)

Added	30 Jul 2010
Updated	30 Jul 2010
Type	Conference
Year	2001
Where	UML
Authors	Rik Eshuis, Roel Wieringa

Comments (0)