Alfaro och Henzinger använder alternerande simulering i ett tvåspel som en renement för gränssnittsautomata [1]. Vi visar att interface automata motsvarar en delmängd av modal övergångssystem av Larsen och Thomsen [2], där alternerande simulering sammanfaller med modal renement. Som en följd av detta kan en mer uttrycksfull gränssnittsteori byggas, genom en enkel generalisering från gränssnittsautomata till modal automata. Vi dene modal I/O automata, en förlängning av gränssnitt automata med modalitet. Vår gränssnittsteori som följer kan uttrycka levande egenskaper, inte tillåta triviala implementationer av gränssnitt, ett problem som finns för teorier bygga runt simulering preorders. För att ytterligare exemplifiera nyttan av modal I/O automata konstruerar vi en beteendevariabilitetsteori för produktlinjeutveckling.
I REF visar författarna att ramverket för gränssnittsautomata kan vara inbäddat i modal I/O automata.
Modal I/O Automata for Interface and Product Line Theories
{'venue': 'ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}