Designmönster används i stor utsträckning av designers och utvecklare för att bygga komplexa system i objektorienterade programmeringsspråk som Java. Men system utvecklas med tiden, vilket ökar chansen att mönstret i sin ursprungliga form kommer att brytas. För att kontrollera att ett mönster inte har brutits krävs det att konstruktionsmönstrets ursprungliga syfte anges. Det finns informella beskrivningar av mönster, men det finns inga formella specifikationer på grund av skillnader i genomförandet mellan programmeringsspråken. Vi presenterar ett mönsterspecifikt språk, Spine, som gör det möjligt att definiera mönster i termer av begränsningar i deras genomförande i Java. Vi presenterar också några exempel på mönster som definieras i Spine och visar hur de bearbetas med hjälp av en korrekt motor som heter Hedgehog. Slutsatsen handlar om vilken typ av mönster som kan definieras i Spine, och belyser några upprepade minimönster som upptäckts i formaliseringen av dessa mönster.
Blewitt m.fl. REF presenterade en mönsterspecifikation Prolog-liknande språk som kallas SPINE, för att göra det möjligt att definiera mönster i termer av begränsningar för deras genomförande i Java.
Automatic verification of design patterns in Java
{'venue': "ASE '05", 'journal': None, 'mag_field_of_study': ['Computer Science']}