Vi ger formell semantik för ett distribuerat parallellt objektorienterat realtidsprogrammeringsspråk baserat på en variant av skådespelarens modell som inkluderar en förlängning som möjliggör specificering av tidsbegränsningar för meddelandeanrop. Realtidssemantik måste fånga både de kvalitativa och kvantitativa aspekterna av språket, och ge en betydelse för realtidskonstruktionerna. Semantiken i realtid i vårt språk ges som tidsinställd graf, en befintlig realtidsspecgcation formalism. Vi presenterar semantiken genom att först definiera en operationell semantik för det otidsenliga språket, och sedan översätta detta till en tidsinställd graf som informerar om tidens konstruktioner. Våra semantik är formulerade oberoende av de underliggande resurser som behövs för att utföra ett pmgram; semantiken i ett program definierar således uppsättningen av tillåtna konkreta implementationer.
Semantiken för det tidsinställda skådespelarebaserade språket ges i REF.
Semantics for an actor-based real-time language
{'venue': 'Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems', 'journal': 'Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems', 'mag_field_of_study': ['Computer Science']}