Formal methods for Evaluation ofInteroperability Maintainability?

2008-02-09 Thread Hugh Leslie
An HTML attachment was scrubbed... URL: http://lists.openehr.org/mailman/private/openehr-technical_lists.openehr.org/attachments/20080209/d969bc3c/attachment.html

Formal methods for Evaluation ofInteroperability Maintainability?

2008-02-09 Thread William E Hammond
at openehr.org [ mailto:openehr-technical-bounces at openehr.org] On Behalf Of Thomas Beale Sent: 07 February 2008 22:41 To: For openEHR technical discussions Subject: Re: Formal methods for Evaluation ofInteroperability

Formal methods for Evaluation ofInteroperability Maintainability?

2008-02-08 Thread Charlie McCay
] On Behalf Of Thomas Beale Sent: 07 February 2008 22:41 To: For openEHR technical discussions Subject: Re: Formal methods for Evaluation ofInteroperability Maintainability? Charlie McCay wrote: All I do not recognize this description of RMIMs as modifications to the HL7 RIM. RMIMs express constraints

Formal methods for Evaluation ofInteroperability Maintainability?

2008-02-08 Thread Hugh Leslie
An HTML attachment was scrubbed... URL: http://lists.openehr.org/mailman/private/openehr-technical_lists.openehr.org/attachments/20080208/75f3160c/attachment.html

Formal methods for Evaluation ofInteroperability Maintainability?

2008-02-08 Thread William E Hammond
at openehr.org] On Behalf Of Thomas Beale Sent: 07 February 2008 22:41 To: For openEHR technical discussions Subject: Re: Formal methods for Evaluation ofInteroperability Maintainability? Charlie McCay wrote: All I do not recognize this description