Time semantics of executable activity diagrams for relativized conformance testing

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

2 Nedladdningar (Pure)

Sammanfattning

The executable subset of UML provides the ability to execute and simulate design models prior to implementation. In this paper, we introduce time semantics and relativized time input/output conformance rtioco relation for executable UML activity diagrams. The aforementioned features are essential and viable to perform online conformance testing. We present a tool support by extending the fUML execution engine, and demonstrate the approach on an example.

OriginalspråkEngelska
Titel på gästpublikation MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
UtgivningsortNew York, NY, United States
FörlagACM
Sidor251-256
Antal sidor6
ISBN (elektroniskt)9781450381352
DOI
StatusPublicerad - okt 2020
MoE-publikationstypA4 Artikel i en konferenspublikation
EvenemangACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems -
Varaktighet: 16 okt 202023 okt 2020

Konferens

KonferensACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
Förkortad titelMODELS '20
Period16/10/2023/10/20

Fingeravtryck Fördjupa i forskningsämnen för ”Time semantics of executable activity diagrams for relativized conformance testing”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här