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