Vi presenterar komponent- och kopplingsvyer (C&C), som anger komponenternas och kopplingsmodellernas strukturella egenskaper på ett uttrycksfullt och intuitivt sätt. C&C-vyer ger möjlighet att avlägsna direkt hierarki, direkt anslutning, hamnnamn och typer, och kan därmed korsa de traditionella gränserna för den genomförandeorienterade hierarkiska nedbrytningen av system och delsystem, och återspeglar den partiella kunskap som finns tillgänglig för olika intressenter som är involverade i ett systems utformning. Som en primär tillämpning för C&C-vyer undersöker vi syntesproblemet: med tanke på en specifikation av C&C-vyer, bestående av obligatoriska, alternativa och negativa vyer, konstruera en konkret tillfredsställande C&C-modell, om en sådan finns. Vi visar att problemet är NP-hårdt och löser det, i en begränsad omfattning, med hjälp av en minskning till SAT, via legering. Vi utökar också det grundläggande problemet med stöd för bibliotekskomponenter, specifikationsmönster och arkitektoniska stilar. Resultatet av syntesen kan användas för vidare undersökning, simulering och förfining av C&C-modellen eller, som den fullständiga, slutliga modellen själv, för direkt generering av koder. Ett prototypverktyg och en utvärdering över fyra exempelsystem med flera specifikationer visar lovande resultat och föreslår intressanta framtida forskningsinriktningar mot en omfattande utvecklingsmiljö för strukturen hos komponent- och kopplingskonstruktioner.
Nyligen presenterade vi C&C-vyer REF, som ett sätt att formellt och intuitivt ange begränsningar för C&C-modellernas struktur.
Synthesis of Component and Connector Models from Crosscutting Structural Views
{'venue': "Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Eds.: B. Meyer, L. Baresi, M. Mezini, pages 444-454, ACM New York, 2013", 'journal': None, 'mag_field_of_study': ['Computer Science', 'Engineering']}