SammanfattningVi undersöker ett tillvägagångssätt för att formellt specificera och analysera programvaruarkitekturer som bygger på visning av programvarusystem som kemikalier vars reaktioner styrs av uttryckligen angivna regler. Denna kraftfulla metafor uppfanns inom området teoretisk datavetenskap av Banâtre och Le M etayer och omformulerades sedan som Chemical Abstract Machine, eller CHAM, av Berry och Boudol. CHAM-formalismen ger en ram för att utveckla operativa specifikationer som inte förvanskar det beskrivna systemet mot någon särskild beräkningsmodell. Den uppmuntrar också konstruktion och användning av modulära speci katjoner på olika detaljnivåer. Vi illustrerar användningen av CHAM för arkitektonisk beskrivning och analys genom att tillämpa den på två olika arkitekturer för en enkel, men välbekant, programvarusystem, multifas kompilatorn. Indextermer för programvara arkitektur, kemisk abstrakt maskin, speci katjon, analys, formella metoder.
Inverardi och Wolf har använt Chemical Abstract Machine [BB92] som en formell grund för arkitektonisk beskrivning REF.
Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model
{'venue': 'IEEE TRANSACTIONS ON SOFTWARE ENGINEERING', 'journal': None, 'mag_field_of_study': ['Computer Science']}