Time semantics of executable activity diagrams for relativized conformance testing

vastutusandmed
Junaid Iqbal (Åbo Akademi University, Finland), Dragos Truscan (Åbo Akademi University, Finland), Jüri Vain
allikas
MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
ilmumiskoht
New York
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 251-256
konverentsi nimetus, aeg
IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), October 19, 2020
võtmesõna
executable UML
activity diagram
time semantics
conformance
rtioco conformance relation
ISBN
978-1-4503-8135-2
märkused
Bibliog.: 16 ref
TTÜ struktuuriüksus
keel
inglise
Iqbal, J., Truscan, D., Vain, J. Time semantics of executable activity diagrams for relativized conformance testing // MODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York : Association for Computing Machinery, 2020. p. 251-256. https://doi.org/10.1145/3417990.3421399