Abstrakt. Medan objektdiagram (OD) ofta används som ett sätt att dokumentera objektorienterade system, de är uttrycksfullt svaga, eftersom de är begränsade till att beskriva specifika möjliga ögonblicksbilder av systemet till hands. I detta dokument introducerar vi modal objektdiagram (MODs), som utvidgar det klassiska OD-språket med positiva/negativa och exempel/invarianta metoder. Det utökade språket gör det möjligt för designern att ange inte bara positiva exempelmodeller utan också negativa exempel, sådana som systemet inte bör tillåta, positiva invarianter, sådana som alla systems ögonblicksbilder bör innehålla, och negativa invarianter, sådana som ingen systemögonblicksbild tillåts innehålla. Som en primär tillämpning av det utvidgade språket tillhandahåller vi dessutom en formell verifieringsteknik som avgör om ett visst klassdiagram uppfyller (dvs. modeller) en specifikation för multimodala objektdiagram. Om svaret är negativt, ger tekniken relevanta kontraexempel på objektmodeller, beroende på vad som är tillämpligt. Kontrollen grundar sig på en minskning till legering. Idéerna implementeras i en prototyp Eclipse plug-in. Exempel visar nyttan av det utvidgade språket för att specificera strukturella krav för objektorienterade system på ett intuitivt men ändå uttrycksfullt sätt. ".................................................................. .. i den verkliga världen finns det bara objekt. Lektionerna existerar bara i våra sinnen.", Nierstrasz [24]
Modal Object Diagram (MODs) REF utöka UML-objektdiagram med positiva/negativa och exempel/invarianta metoder.
Modal Object Diagrams
{'venue': "Proc. 25th Euro. Conf. on Object Oriented Programming (ECOOP'11), LNCS 6813, pp. 281-305, Springer, 2011", 'journal': None, 'mag_field_of_study': ['Computer Science']}