Abstrakt. Statsövergångssystem som kommunicerar med delade variabler har varit den underliggande modellen för val av tillämpning av modellkontroll. Sådana formalismer har emellertid svårt att modellera processen skapande eller död och kommunikation omkonfigurerbarhet. Här introducerar vi "dynamiska reaktiva moduler" (DRM), en state-transition modellering formalism som stöder dynamisk omkonfigurering och skapande/död av processer. Formalismen stöder två typer av variabler, datavariabler och referensvariabler. Referensvariabler gör det möjligt att ändra konnektiviteten mellan processer och hänvisa till fall av processer. Vi visar hur denna nya formalism stöder parallell sammansättning och förfining genom spårning. DRM är ett naturligt språk för modellering (och i slutändan resonemang om) biologiska system och flera trådar som kommunicerar genom delade variabler.
Detta är en formell specifikation och använder referensvariabler för att möjliggöra att ändra anslutning mellan processer och hänvisar till fall av processer REF.
Dynamic Reactive Modules ⋆
{'venue': 'CONCUR', 'journal': None, 'mag_field_of_study': ['Computer Science']}