Time semantics of executable activity diagrams for relativized conformance testing

Junaid Iqbal; Dragos Truscan; Juri Vain

doi:10.1145/3417990.3421399

Time semantics of executable activity diagrams for relativized conformance testing

Junaid Iqbal, Dragos Truscan, Juri Vain

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

1 Citation (Scopus)

107 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 language	English
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 Publication	New York, NY, United States
Publisher	ACM
Pages	251-256
Number of pages	6
ISBN (Electronic)	9781450381352
DOIs	https://doi.org/10.1145/3417990.3421399
Publication status	Published - Oct 2020
MoE publication type	A4 Article in a conference publication
Event	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems - Duration: 16 Oct 2020 → 23 Oct 2020

Conference

Conference	ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems
Abbreviated title	MODELS '20
Period	16/10/20 → 23/10/20

Keywords

Software Testing
fUML
Time semantics
executable UML
software validation
software verification

Access to Document

10.1145/3417990.3421399

MLE2020-CameraReadyAccepted author manuscript, 804 KBLicence: Publisher rights policy

https://urn.fi/URN:NBN:fi-fe202201147742

Cite this

@inproceedings{15860103a94f492e8cc712270b1c9173,

title = "Time semantics of executable activity diagrams for relativized conformance testing",

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.",

keywords = "Software Testing, fUML, Time semantics, executable UML, software validation, software verification",

author = "Junaid Iqbal and Dragos Truscan and Juri Vain",

year = "2020",

month = oct,

doi = "10.1145/3417990.3421399",

language = "English",

pages = "251--256",

booktitle = "MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings",

publisher = "ACM",

address = "United States",

note = "ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, MODELS '20 ; Conference date: 16-10-2020 Through 23-10-2020",

}

Iqbal, J , Truscan, D & Vain, J 2020, Time semantics of executable activity diagrams for relativized conformance testing. in MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings., 42, ACM, New York, NY, United States, pp. 251-256, ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 16/10/20. https://doi.org/10.1145/3417990.3421399

Time semantics of executable activity diagrams for relativized conformance testing. / Iqbal, Junaid ; Truscan, Dragos; Vain, Juri.
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, United States: ACM, 2020. p. 251-256 42.

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Time semantics of executable activity diagrams for relativized conformance testing

AU - Iqbal, Junaid

AU - Truscan, Dragos

AU - Vain, Juri

PY - 2020/10

Y1 - 2020/10

N2 - 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.

AB - 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.

KW - Software Testing

KW - fUML

KW - Time semantics

KW - executable UML

KW - software validation

KW - software verification

U2 - 10.1145/3417990.3421399

DO - 10.1145/3417990.3421399

M3 - Published conference proceeding

SP - 251

EP - 256

BT - MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

PB - ACM

CY - New York, NY, United States

T2 - ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems

Y2 - 16 October 2020 through 23 October 2020

ER -

Time semantics of executable activity diagrams for relativized conformance testing

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this