Abstrakt. Avsaknaden av en formell semantik för UML-RT gör den otillräcklig för strikt systemutveckling, särskilt om bevarandet av beteende är ett stort problem när man tillämpar välkända modeller transformationer, som refaktors och förfiningar. I detta dokument föreslår vi en semantik för UML-RT aktiva klasser genom en kartläggning in i Circus, en specifikation språk som kombinerar CSP, Z och specifikationer uttalanden. Som en följd av översättningen kan vi bevisa att modellomvandlingar bevarar både statiskt och dynamiskt beteende, med hjälp av förfiningslagar och en relationell semantik av Circus, baserat på de Unifying Theories of Programming.
Ramos m.fl. REF föreslog formalisering UML-RT till Circus för att bevisa att modellen omvandling bevarade den ursprungliga modellen semantik.
A Semantics for UML-RT Active Classes via Mapping into Circus
{'venue': 'SOCIETY FOR COMPUTER SIMULATION', 'journal': None, 'mag_field_of_study': ['Computer Science']}