ok... it's been refined slightly. But I'm having huge problems modeling certian constraints.
INFO: activities have a type dictated by a letter (A/B/C/D). This is constant throughout all processes.
the constraint is:
certian activities cannot be linked - activity D cannot follow activity A.
------------and---------------->activity B and activity C cannot be linked at all
So is either of the red or the blue correct. Ignoring most else for now. I hate subtyping but to me it makes sence. Duno if it makes sence to anyone else.
SO- according to the constrain above
A can follow B, C and D
B can follow A and D
C can follow A and D
D can follow B and C
assuming my understand of subtyping is correct (that subtypes inherit the same fact types as their parent) and the following subtyping is allowed (legal in ORM worlds) then it "should" work out. hoepfully.
Thanks alot for your help
ps- if you're wondering. This is for uni. But I'm not asking you to DO my work rather asking if certain aspects of it are aceptable to knowledgable people such as yourselves.