Abstrakt. Programvaruarkitekturer (SA) representerar en kritisk designnivå för programvarusystem. Arkitekturval måste analyseras och verifieras för att uppnå en bättre programvarukvalitet samtidigt som tiden och kostnaden för produktionen minskas. Modellkontroll är en av de mest lovande verifieringsmetoderna, men dess användning för mycket stora system är inte alltid möjlig på grund av problemet med statsexplosion. I detta dokument föreslår vi ett tillvägagångssätt som skär och abstracts SA av ett system för att minska modellens komplexitet utan att äventyra verifieringens giltighet. Detta tillvägagångssätt utnyttjar särdragen hos SA-modellen och strukturen på den egendom som är av intresse. Det tillämpas på Selex Communications industriella telekommunikationssystem.
Författarna i REF har föreslagit en arkitektonisk skärning och abstraktionsmetod för att minska modellens komplexitet.
Reducing software architecture models complexity: a slicing and abstraction approach
{'venue': 'FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}