Abstrakt. Abstract Beteendespecifikation (ABS) språk är en formell, körbar, objektorienterad, samtidig modellering språk avsedd för beteende modellering av komplexa mjukvarusystem som uppvisar en hög grad av variation, såsom programvara produktlinjer. Vi ger en översikt över de arkitektoniska aspekterna av ABS: ett funktionsdrivet arbetsflöde, ett formellt begrepp om installationskomponenter för att specificera miljömässiga begränsningar och en dynamisk komponentmodell som är integrerad i språket. Vi använder en industriell fallstudie för att visa hur de olika aspekterna fungerar tillsammans i praktiken.
ABS REF är ett formellt körbart komponentmodellspråk som stöds av ett avdragsfritt verifieringssystem Key-ABS.
HATS Abstract Behavioral Specification: The Architectural View ⋆
{'venue': 'FMCO', 'journal': None, 'mag_field_of_study': ['Computer Science']}