Abstrakt. Vi definierar de dynamiska semantiken hos UML State Machines som integrerar statycharts med UML-objektmodellen. Användningen av ASM:er gör det möjligt för oss (a) att noggrant modellera händelsedrivna kör till slutförande schema, inklusive det sekventiella genomförandet av inträde/utträde åtgärder (längs strukturen av stat häckning) och samtidig genomförande av interna aktiviteter; (b) att formalisera objektinteraktionen, genom att kombinera kontroll och dataflöde funktioner på ett sömlöst sätt; och (c) att ge en exakt men ändå bevisligen mest allmänna beräkningsbetydelse till UML termer av atomära och durativa åtgärder / aktiviteter. Vi lånar några funktioner från den rigorösa beskrivningen av UML Activity Diagrams av ASMs i [7].
Statsmaskinernas dynamiska semantik diskuteras i REF.
Modeling the Dynamics of UML State Machines
{'venue': 'Abstract State Machines', 'journal': None, 'mag_field_of_study': ['Computer Science']}