Sciweavers

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

13

FASE
2001
Springer

favoriteEmaildiscussreport

105views Software Engineering» more FASE 2001»

A Real-Time Execution Semantics for UML Activity Diagrams

13 years 8 months ago

A Real-Time Execution Semantics for UML Activity Diagrams

Download wwwhome.cs.utwente.nl

We deﬁne a formal execution semantics for UML activity diagrams that is appropriate for workﬂow modelling. Our semantics is aimed at the requirements level by assuming that software state changes do not take time. It is based upon the Statemate semantics of statecharts, extended with some transactional properties to deal with data manipulation. Our semantics also deals with real-time and multiple state instances. We ﬁrst give an informal description of our semantics and then formalise this in terms of transition systems.

Rik Eshuis, Roel Wieringa

Real-time Traffic

FASE 2001 | Formal Execution Semantics | Semantics | Software Engineering | Statemate Semantics |

claim paper

Related Content

» An Execution Algorithm for UML Activity Graphs

» Integrating UML diagrams for production control systems

» MARTE a profile for RTE systems modeling analysisand simulation

» Semantic WebBased Modeling of Clinical Pathways Using the UML Activity Diagrams and OWLS

» Modeling the Dynamics of UML State Machines

» Verification of UMLBased RealTime System Designs by Means of cTLA

» A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation

» Executable Specifications for RealTime Distributed Systems

» Automatic Translation of UML Sequence Diagrams into PEPA Models

Post Info
More Details (n/a)

Added	28 Jul 2010
Updated	28 Jul 2010
Type	Conference
Year	2001
Where	FASE
Authors	Rik Eshuis, Roel Wieringa

Comments (0)