Abstract-Vi föreslår ett mallbaserat tillvägagångssätt för att strukturera semantiken för modellbaserade specifikationsnoteringar. Den grundläggande beräkningsmodellen är en icke-konkurrent, hierarkisk statsövergångsmaskin (HTS), vars utförande semantik är parameteriserade. Semantik som är vanliga bland notationer (t.ex. begreppet aktiverad övergång) fångas i mallen, och en notations distinkta semantik (t.ex., vilka stater som kan aktivera övergångar) anges som parametrar. Mallen semantik av sammansättning operatörer definierar hur flera HTS kör samtidigt och hur de kommunicerar och synkroniserar med varandra genom att utbyta händelser och data. Definitionerna av dessa operatörer använder mallparametrarna för att bevara notationsspecifika beteenden i sammansättningen. Vår mall är tillräcklig för att fånga semantik av grundläggande övergångssystem, CSP, CCS, grundläggande LOTOS, en delmängd av SDL88, och en mängd olika statecharts notations. Vi tror att en beskrivning av en notations semantik med hjälp av vår mall kan användas som indata till ett verktyg som automatiskt genererar formella analysverktyg.
Mall semantik REF kan användas för att definiera beteende-semantik av stat-baserade modellering notations.
Template Semantics for Model-Based Notations
{'venue': 'IEEE TRANSACTIONS ON SOFTWARE ENGINEERING', 'journal': None, 'mag_field_of_study': ['Computer Science']}