Object Constraint Language används ofta för att uttrycka exakta och otvetydiga begränsningar på modeller och objektorienterade program. Begreppet tidsbundna begränsningar, som styr systemets beteende över tiden, har emellertid inte fått något naturligt stöd. Sådana tidsbegränsningar är nödvändiga för att modellera reaktiva system och realtidssystem. Även om det finns verk som behandlar tidsförlängningar av OCL, ger de endast syntaktiska förlängningar utan något konkret genomförande som överensstämmer med OCL-standarden. Dessutom är de alla baserade på tidslogik som kräver att särskilda färdigheter används i praktiken. I detta dokument föreslår vi att man fyller i båda luckorna. Först berikar vi OCL med ett mönsterbaserat temporallager som sedan integreras i den nuvarande Eclipses OCL-plug-in. Dessutom är tidsbegränsat stöd för OCL, som vi definierar med hjälp av formella scenariobaserade semantik, ansluter till automatiska testgeneratorer och utgör det första steget mot att skapa en bro som kopplar samman modelldriven ingenjörskonst och vanliga formella metoder.
Kanso och Taha REF introducerar Temporal OCL, en mönsterbaserad tidsförlängning av OCL.
Temporal Constraint Support for OCL
{'venue': 'SLE', 'journal': None, 'mag_field_of_study': ['Computer Science']}