Programvaruarkitekturer och modulär sammansättning hjälper till att bygga storskaliga mjukvarusystem. Nuvarande programmeringsspråk ger endast otillräckligt stöd för programvaruarkitektur. "Arkitektural programmering" övervinner problemet med arkitektonisk erosion i implementationer genom att integrera koncept för programvaruarkitektur i programmeringsspråk. Vi presenterar det nya programmeringsspråket JAVA/A som ett exempel på Java-baserad arkitektonisk programmering och visar hur JAVA/A integrerar arkitektoniska föreställningar som komponenter, kontakter och sammansättningar i Java. En viktig tillgång för JAVA/A är dess underliggande abstrakta komponentmodell som utgör grunden för resonemanget om programvarukomponenter och -enheter. Vi ger en formalisering av den abstrakta komponentmodellen i termer av övergångssystem och tillstånd som algebror, och visar sig vara ett konsekvent resultat för sammansättningar.
Java/A är ett arkitektoniskt programmeringsspråk som genererar Java-kod REF.
A Component Model for Architectural Programming
{'venue': 'FACS 2005', 'journal': None, 'mag_field_of_study': ['Computer Science']}