Time semantics of executable activity diagrams for relativized conformance testing

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

7 Lataukset (Pure)

Abstrakti

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.

AlkuperäiskieliEnglanti
Otsikko MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
JulkaisupaikkaNew York, NY, United States
KustantajaACM
Sivut251-256
Sivumäärä6
ISBN (elektroninen)9781450381352
DOI - pysyväislinkit
TilaJulkaistu - lokakuuta 2020
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems -
Kesto: 16 lokakuuta 202023 lokakuuta 2020

Konferenssi

KonferenssiACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
LyhennettäMODELS '20
Ajanjakso16/10/2023/10/20

Sormenjälki

Sukella tutkimusaiheisiin 'Time semantics of executable activity diagrams for relativized conformance testing'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Viittausmuodot