Re: Doubt to modeling of attributes type Date in OCL



Re: Doubt to modeling of attributes type Date in OCL

From: Geoflávia Guilarducci de Alvarenga <geoflavia_at_hotmail.com>
Date: Mon, 07 Aug 2006 09:08:37 -0300
Message-ID: <BAY111-F262B084587BB8EE726B866B7570@phx.gbl>
ok, Anneke. You are correct!

thanks,
Geoflávia


>From: Anneke Kleppe <a.kleppe@klasse.nl>
>Reply-To: puml-list@cs.york.ac.uk
>To: puml-list@cs.york.ac.uk
>Subject: Re: Doubt to modeling of attributes type Date in OCL
>Date: Mon, 07 Aug 2006 11:05:28 +0200
>
>Hello Geoflávia,
>
>Because the Date class is not in the standard OCL library, you have to 
>include it in the model by hand. Apparantly, you have done that in your 
>Argo model. The only thing that you still need to adjust in your model is 
>to indicate that all operations of this Date class are query operations.
>
>I hope this helps,
>Anneke Kleppe
>
>Geoflávia Guilarducci de Alvarenga wrote:
>
>>How modeling constraints about attributes type Date in OCL?
>>
>>I am studying the book: “The Object Constraint Language Second Edition - 
>>Getting your Models ready will be MDA” . I am testing the examples of the 
>>diagram “royals_and_loyals.zargo”.
>>In this diagram has the datatype “Date”. During the tests, I came across 
>>myself with some inconsistencies. For example: the constraint:
>>“context CustomerCard inv checkDates: validFrom.isBefore (validThru)” was 
>>not compiled
>>by the tool ARGO-UML. It returns the following error: “Type checking 
>>failed: non-query operations cannot be used in OCL expressions”.
>>
>>Somebody could help me?
>>
>>
>>
>>
>>
>>To remove yourself from this list please mail 
>>puml-list-request@cs.york.ac.uk
>>with a message containing the word "unsubscribe".
>>
>>
>>
>
>
>
>To remove yourself from this list please mail 
>puml-list-request@cs.york.ac.uk
>with a message containing the word "unsubscribe".
>
Received on Mon 07 Aug 2006 - 13:09:16 BST