Abstrakt. Vi presenterar en ram för att utvidga begreppet typsystem i programmeringsspråk för att fånga den dynamiska interaktionen i komponentbaserad design, såsom kommunikationsprotokollen mellan komponenter. I vårt system definieras interaktionstyperna och komponenternas dynamiska beteende med hjälp av gränssnittsautomata - en automatiserad formalism. Typkontroll, som kontrollerar en komponents kompatibilitet med en viss interaktionstyp, utförs genom automatisk sammansättning. Vårt typsystem är polymorfiskt eftersom en komponent kan vara kompatibel med mer än en interaktionstyp. Vi visar att en subtyping relation finns mellan olika interaktionstyper och denna relation kan beskrivas med hjälp av en partiell ordning. Denna typordning på systemnivå kan användas för att underlätta konstruktionen av polymorfa komponenter och förenkla typkontroll. Utöver statisk typkontroll föreslår vi också att användningen av gränssnittsautomata utvidgas till att även omfatta on-line-reflektion av komponenttillstånd och kontroll av körtidstyp. Vi illustrerar vårt ramverk med hjälp av en komponentbaserad designmiljö, Ptolemaios II, och diskuterar kompromisserna i utformningen av systemnivåsystem.
Ett av de innovativa begreppen i utformningen av Ptolemaios II-infrastrukturen är begreppet domänpolymorfism REF.
System-Level Types for Component-Based Design
{'venue': 'EMSOFT', 'journal': None, 'mag_field_of_study': ['Computer Science']}