[CZT-Users] how to ?

[Massimo C. <cos...@pa...>]

Dear all,
in my lab we are using CZT (Jedit version) in order to specify the  
structure of a system that will be probably initially developed in  
Java but later we are going to define a specific language to support it.
The application domain is the definition of a new multi-agent system  
inheritance paradigm.

As I said we are using the Jedit based verson of the tool and this is  
proving very useful. In our opinion it does not make any sense to use  
a formal language for specifying something if I do not have any check  
on the correctness of my specification.

I am now writing this email because for our purposes the tool has two  
significant limits. Indeed we are not sure these are really limits,  
perhaps we just do not know how to do and for this reason I am asking  
the help of this community.

Here is what we need:
1) we need to specify polimorfism in a class (we are using object-Z)
2) we have a class that can be composed of other instances of the same  
class (aggregation relationship self-loop).

Problems we had with that:
1) we do not know how to specify polimorfism
2) if in our class (ConceptGene) we specify an attribute of type  
ConceptGene we receive a syntax error message.


thanks for your help with that

Best Regards
Massimo