Den formella specifikationen av designmönster är allmänt erkänd som avgörande för deras effektiva och korrekta användning i mjukvaruutveckling. Det kan klargöra de underliggande begreppen, eliminera tvetydighet och därmed lägga en solid grund för verktygsstöd. Detta dokument går vidare vidare med en formell meta-modellering metod som använder första ordningen predikat logik för att specificera mönster design. I synnerhet anges både strukturella och beteendemässiga egenskaper hos mönster och de olika varianterna fångas systematiskt upp i ett välstrukturerat format. Tidningen rapporterar en fallstudie som omfattar den formella specifikationen av alla 23 mönster i Gang of Four katalogen. Det visar att metoden förbättrar noggrannheten i mönsterspecifikationerna genom att täcka variationer och klargöra de tvetydiga delarna av informella beskrivningar.
Bayley och Zhu REF föreslog en formell meta-modellering metod som använder första ordningen predikat logik för att specificera strukturella och beteendemässiga egenskaper i designmönster.
Formal specification of the variants and behavioural features of design patterns
{'venue': 'J. Syst. Softw.', 'journal': 'J. Syst. Softw.', 'mag_field_of_study': ['Computer Science']}