Time semantics of executable activity diagrams for relativized conformance testing

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

9 Downloads (Pure)

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