A. Knapp

A. Nayak

B. Dobing

D. Harel

J. Küster-Filipe

J. Wielemaker

M. Nielsen

P. Baldan

Y. Hammal

Z. Micskei

Knapp, Alexander

Störrle, Harald

OPUS Augsburg

English

Efficient representation of timed UML 2 interactions

OPUS - Augsburg University Publication Server

Efficient Representation of Timed UML 2 Interactions

Online-Publikationserver Augsburg

UML 2 interactions describe system behavior over time in a declarative way. The standard approach to defining their formal semantics enumerates traces of events; other representation formats, like Büchi automata or prime event structures, have been suggested, too. We describe another, more succinct format, interaction structures, which is based on asymmetric event structures. It simplifies the integration of real time, and complex operators like alt and break, and leads to an efficient semantic representation of interactions. We provide the formalism, and a prototypical implementation highlighting the benefits of our approach

Online Research Database In Technology

Efficient Representation of Timed UML 2 Interactions

Alexander Knapp

Harald Störrle

Crossref

http://orbit.dtu.dk/ws/files/120655149/IAD_3c_Springer_Proof.pdf

Efficient Representation of Timed UML 2 Interactions

Abstract

Similar works

Full text

Available Versions

OPUS Augsburg

OPUS - Augsburg University Publication Server

Online-Publikationserver Augsburg

Online Research Database In Technology

Crossref