Abstrakt. I detta dokument presenteras ABS, ett abstrakt beteendespecifikt språk för att utforma körbara modeller av distribuerade objektorienterade system. Språket kombinerar avancerad konvergens och synkroniseringsmekanismer för samtidiga objektgrupper med ett funktionellt språk för modellering av data. ABS använder asynkrona metodanrop, gränssnitt för inkapsling och gemensam schemaläggning av metodaktiveringar inuti samtidiga objekt. Denna funktionskombination resulterar i en samtidig objektorienterad modell som i sig är kompositionell. Vi diskuterar centrala designfrågor för ABS och formaliserar typsystemet och semantiken hos Core ABS, en analys med huvuddragen i ABS. För Core ABS bevisar vi en objektreduktionsfastighet som visar att välutformadhet bevaras under utförandet; i synnerhet, "metod inte förstått" fel uppstår inte vid körning för välskrivna ABS-modeller. Slutligen diskuterar vi kortfattat det verktygsstöd som utvecklats för ABS.
Ett språk för beteendespecifikation av komponenter, särskilt av objektorienterade system - men inte OSGi - introduceras i REF.
ABS: A Core Language for Abstract Behavioral Specification ⋆
{'venue': 'FMCO', 'journal': None, 'mag_field_of_study': ['Computer Science']}