Mönsteranvändare har svårt att förstå när och hur man använder det ökande antalet tillgängliga mönster. Detta beror främst på den inneboende tvetydigheten i de befintliga metoderna (textellt och grafiskt) för att beskriva dem. Det finns därför ett behov av att införa formalism för att kunna beskriva dem på ett korrekt sätt och tillåta ett rigoröst resonemang om dem. Det största problemet med befintliga formella specifikationsspråk för mönster är bristen på fullständighet. Detta beror främst på att de tenderar att fokusera på att ange antingen den strukturella eller beteendemässiga aspekten av designmönster men inte båda av dem. Vi föreslår en enkel men ändå balanserad mönsterspecifikation Språk (BPSL) som syftar till att uppnå jämvikt genom att specificera båda aspekterna av designmönster. BPSL kombinerar två undergrupper av logik, en från First Order Logic (FOL) och en från Temporal Logic of Actions (TLA).
BPSL REF stöder specifikationen av mönsters struktur och beteende med hjälp av första ordningens logik respektive Temporal Logic of Actions (TLA).
Formal Specification of Design Patterns - A Balanced Approach
{'venue': 'Journal of Object Technology', 'journal': 'Journal of Object Technology', 'mag_field_of_study': ['Computer Science']}