Abstrakt. Pipa är ett beteendegränssnitt specifikation språk (BISL) skräddarsydd för AspectJ, en aspekt-orienterad programmeringsspråk. Pipa är en enkel och praktisk förlängning till Java Modelling Language (JML), en BISL för Java. Pipa använder samma grundläggande tillvägagångssätt som JML för att ange AspectJ klasser och gränssnitt, och utökar JML, med bara några nya konstruktioner, för att specificera AspectJ aspekter. Pipa stöder även artspecifikation arv och tvärskärning. I detta dokument diskuteras Pipas mål och övergripande strategi. Det ger också flera exempel på Pipa-specifikationer och diskuterar hur man omvandlar ett AspectJ-program tillsammans med dess Pipa-specifikation till ett motsvarande Java-program och JML-specifikation. Målet är att underlätta användningen av befintliga JML-baserade verktyg för att verifiera AspectJ-program.
Zhao m.fl. REF-definierad Pipa, som är ett Beteendegränssnittsspecifikt språk, skräddarsytt för AspectJ. Pipa implementerar ramverket för att specificera de program som är skrivna i AspectJ. Pipa utökar JML, med bara några nya konstruktioner, för att specificera AspectJ aspekter.
Pipa: A Behavioral Interface Specification Language for AspectJ
{'venue': 'of Lecture Notes in Computer Science', 'journal': None, 'mag_field_of_study': ['Computer Science']}