The Type System of VCL Structural and Assertion Diagrams
Nuno Amálio · Open Repository and Bibliography (University of Luxembourg) · 2011
sig TypeDesignator { } --========================================================================= -Name: 'TypeDesignator', ' TypeDesignatorNat' --Description: -+ Defines a type designator naturals and integers. --========================================================================= sig TypeDesignatorInt, TypeDesignatorNat extends TypeDesignator { } --========================================================================= -Name: 'TypeDesignatorId' -- -Description: -+ Defines a designator of sets with an identifier. --========================================================================= sig TypeDesignatorId extends TypeDesignator { setId : Name }