# More issues with archetype profile

**URL:** https://discourse.openehr.org/t/more-issues-with-archetype-profile/16635
**Category:** Reference Implementation: Java (archive)
**Created:** [6 July 2006 20:45 UTC](https://discourse.openehr.org/t/more-issues-with-archetype-profile/16635 "2006-07-06T20:45:02Z")
**Posts on this page:** 3
**Page:** 1

<div class="post-metadata">

### Author: ![rong.chen](https://discourse.openehr.org/user_avatar/discourse.openehr.org/rong.chen/32/515_2.png) [@rong.chen](https://discourse.openehr.org/u/rong.chen)
#### Post date: [6 July 2006 20:45 UTC](https://discourse.openehr.org/t/more-issues-with-archetype-profile/16635/1 "2006-07-06T20:45:02Z")

</div>

Hi Thomas,

More on openehr\_archetype\_profile:

1. The following invariant on p18 doesn't seem to be correct,  
terminology\_id is of type TERMINOLOY\_ID, how can it be empty?

Terminology\_id\_valid: terminology\_id /= Void implies not  
(terminology\_id.is\_empty or code\_list = Void)

2. on page 21 near the bottom, class C\_DV\_ORDINAL "Inherit  
C\_DV\_ORDERED", according to the class diagram the super class should be  
"C\_DOMAIN\_TYPE" same as the that of C\_DV\_QUANTITY. Otherwise,  
C\_DV\_ORDERED should be included in the specs and the class diagram  
should be updated.

regards,  
Rong

---

<div class="post-metadata">

### Author: ![thomas.beale](https://discourse.openehr.org/user_avatar/discourse.openehr.org/thomas.beale/32/35_2.png) [@thomas.beale](https://discourse.openehr.org/u/thomas.beale)
#### Post date: [8 July 2006 07:58 UTC](https://discourse.openehr.org/t/more-issues-with-archetype-profile/16635/2 "2006-07-08T07:58:55Z")

</div>

Rong Chen wrote:

> Hi Thomas,
> 
> More on openehr\_archetype\_profile:
> 
> 1. The following invariant on p18 doesn't seem to be correct,  
> terminology\_id is of type TERMINOLOY\_ID, how can it be empty?
> 
> Terminology\_id\_valid: terminology\_id /= Void implies not  
> (terminology\_id.is\_empty or code\_list = Void)  
> &nbsp;&nbsp;

Fixed. This is now:

terminology\_id /= Void implies code\_list /= Void

> 2. on page 21 near the bottom, class C\_DV\_ORDINAL "Inherit  
> C\_DV\_ORDERED", according to the class diagram the super class should be  
> "C\_DOMAIN\_TYPE" same as the that of C\_DV\_QUANTITY. Otherwise,  
> C\_DV\_ORDERED should be included in the specs and the class diagram  
> should be updated.  
> &nbsp;&nbsp;

This is an error; it should be

C\_DOMAIN\_TYPE

thanks,

- thomas

---

<div class="post-metadata">

### Author: ![thomas.beale](https://discourse.openehr.org/user_avatar/discourse.openehr.org/thomas.beale/32/35_2.png) [@thomas.beale](https://discourse.openehr.org/u/thomas.beale)
#### Post date: [8 July 2006 08:01 UTC](https://discourse.openehr.org/t/more-issues-with-archetype-profile/16635/3 "2006-07-08T08:01:05Z")

</div>

Rong Chen wrote:

> Hi Thomas,
> 
> More on openehr\_archetype\_profile:
> 
> 1. The following invariant on p18 doesn't seem to be correct,  
> terminology\_id is of type TERMINOLOY\_ID, how can it be empty?
> 
> Terminology\_id\_valid: terminology\_id /= Void implies not  
> (terminology\_id.is\_empty or code\_list = Void)  
> &nbsp;&nbsp;

Actually, this should be:  
code\_list /= Void implies terminology\_id /= Void

- thomas