• Konstruktiv semantisk ram över en komplett domän för tvingande och förklarande synkrona språk. • Första körbara små steg operationella semantik av polykrona dataflödesspråk. • Karakterisering av program korrekthet (determinism, endochrony) genom fixpoint egenskaper. a r t i c l e i n f o a b s t r a c t Det synkrona paradigmet ger en logisk tidsåtgång för reaktiv systemdesign som möjliggör automatisk syntes av inbyggda system som beter sig på ett förutsägbart, lägligt och reaktivt sätt. Enligt synkronyhypotesen reagerar en synkron modell på ingångar genom att generera utgångar som omedelbart görs tillgängliga för miljön. Synkronisering förenklar i hög grad utformningen av komplexa system i allmänhet, men kan ibland leda till kausala cykler. I dessa fall, konstruktiva är en viktig egenskap för att garantera att resultatet av varje reaktion kan fortfarande alltid algoritmiskt fastställas. Polykrony avviker från perfekt synkronisering genom att använda en delvis ordnad, dvs. en relationsmodell av tid. Det omfattar beteendet hos (implicit) multi-clocked data-flow nätverk av synkrona moduler och kan analysera och syntetisera dem som GALS-system eller Kahn process nätverk (KPNs). I denna uppsats presenterar vi en enhetlig konstruktiv semantisk ram med hjälp av strukturerade operativa semantik, som omfattar både det konstruktiva beteendet hos synkrona moduler och polykrona nätverkens flerklockade beteende. Längs vägen definierar vi de allra första körbara operationella semantikerna i den polykroniska språksignalen.
Talpin m.fl. REF gav nyligen en konstruktiv semantik av multi-clock synkrona program.
Constructive Polychronous Systems
{'venue': 'LFCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}