Beskrivningen av en programvaruarkitekturstil måste innehålla komponenternas strukturella modell och deras interaktioner, de lagar som styr de dynamiska förändringarna i arkitekturen och kommunikationsmönstret. I vårt arbete representerar vi ett system som en graf där hyperkanter är komponenter och noder är portar för kommunikation. Konstruktion och dynamisk evolut,ion av stilen kommer att representeras som kontextfria produktioner och graf omskrivning. För att modellera utvecklingen av systemet föreslår vi att använda tekniker för begränsningslösning. Från detta tillvägagångssätt får vi ett intuitivt sätt att modellera system med fina egenskaper för beskrivningen av dynamiska arkitekturer och omkonfigurering och, ett unikt språk för att beskriva stil, modellera systemets utveckling och bevisa egenskaper.
I REF representeras arkitekturen av hypergrafer, där hyperkanterna är komponenterna, och noderna är kommunikationsportarna.
Graph grammars and constraint solving for software architecture styles
{'venue': "ISAW '98", 'journal': None, 'mag_field_of_study': ['Computer Science']}