Abstrakt. Gränssnittsautomata [deH01] har införts som en gränssnittsteori [deH01a] som kan fungera som ett beteendetypsystem. Beteendetypsystem beskriver dynamiska egenskaper hos komponenter och deras sammansättningar. Liksom traditionella (data) typ system, beteende typ system kan användas för att kontrollera kompatibiliteten av komponenter. I detta papper använder vi gränssnitt automata för att utforma en beteendetyp system för Ptolemay II, utnyttja de kontravarianta och optimistiska egenskaperna hos gränssnitt automata för att uppnå beteendemässig subtypning och polymorphism. Ptolemaios II är ett programvaruramverk som stöder samtidig komponentsammansättning enligt olika modeller för beräkning. I detta dokument fokuserar vi på att representera de kommunikationsprotokoll som används i komponentkommunikation inom beteendetypsystemet. I uppbyggnaden av detta typsystem identifierar vi två viktiga begränsningar i gränssnittet automata formalismer; vi övervinner dessa begränsningar med två förlängningar, transienta tillstånd och projektion automata. 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, vilket möjliggör dynamisk komponentskapande, morfering av applikationsstruktur och tillträdeskontroll. Vi diskuterar kompromisserna i utformningen av beteendesystem.
Beteendetyper har också använts i Ptolemaios ramverk REF.
A behavioral type system and its application in Ptolemy II
{'venue': 'Formal Aspects of Computing', 'journal': 'Formal Aspects of Computing', 'mag_field_of_study': ['Computer Science']}