Visiting model elements with OCL



Visiting model elements with OCL

From: Dmitry Kochelaev <dkochelaev_at_gmail.com>
Date: Wed, 16 May 2007 15:00:03 +0400
Message-ID: <221642f0705160400v34957d9brc0109867b6ffcdd1@mail.gmail.com>
Hello,

In my model I've element, which has links to some other elements. So
I've graph. Let us mark one vertex in this graph as initial. The goal
is to find all states, those are unreachable from initial.

How can it be written in OCL?

-- 
 Dmitry Kochelaev
 eVelopers Corporation
Received on Wed 16 May 2007 - 12:00:08 BST