Abstrakt. Vi presenterar en kort översikt över verktyget Ticc (Verktyg för gränssnitt Kompatibilitet och sammansättning). I Ticc beskriver ett komponentgränssnitt både beteendet hos en komponent, och komponentens antaganden om miljöns beteende. Ticc kan kontrollera kompatibiliteten av sådana gränssnitt, och analysera deras framväxande beteende, via en symbolisk implementering av spel-teoretiska algoritmer. Öppna system är system vars beteende bestäms gemensamt av deras interna struktur, och av de ingångar som de får från sin omgivning. En komponent i ett större system är därför ett öppet system, eftersom dess beteende beror på de ingångar det tar emot från de andra systemkomponenterna. I tidigare arbeten har det hävdats att spel utgör en naturlig modell för öppna system [1, 7, 8, 5, 2]. Vi använder spel för att representera samspelet mellan beteendet som har sitt ursprung i en komponent, och beteendet som härrör från komponentens omgivning. I synnerhet modellerar vi komponenter som Input-Output spel: rörelserna av Input representerar beteendet komponenten kan acceptera från miljön, medan rörelserna av Output representerar beteendet komponenten kan generera. Till skillnad från komponentmodeller baserade på övergångssystem, modeller baserade på spel ger en uppfattning om kompatibilitet [7, 8, 5]. När två komponenter P och Q är sammansatta, kan vi kontrollera om utdatabeteendet hos P uppfyller
Deras verktyg som kallas TICC REF (Verktyg för gränssnittskompatibilitet) implementerar dessa algoritmer.
Ticc, a tool for interface compatibility and composition
{'venue': 'In Proceedings 18th International Conference on Computer Aided Verification (CAV), volume 4144 of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}