Time semantics of executable activity diagrams for relativized conformance testing

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

Abstract

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.

Original languageEnglish
Title of host publication MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Place of PublicationNew York, NY, United States
PublisherACM
Pages251-256
Number of pages6
ISBN (Electronic)9781450381352
DOIs
Publication statusPublished - Oct 2020
MoE publication typeA4 Article in a conference publication
EventACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems -
Duration: 16 Oct 202023 Oct 2020

Conference

ConferenceACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
Abbreviated titleMODELS '20
Period16/10/2023/10/20

Keywords

  • Software Testing
  • fUML
  • Time semantics
  • executable UML
  • software validation
  • software verification

Fingerprint Dive into the research topics of 'Time semantics of executable activity diagrams for relativized conformance testing'. Together they form a unique fingerprint.

Cite this