Process parameter description

Hi all.

I have a question concerning parameters in the Process-Description. 
Is there a possibility to state that a process has some parameters and
that these are the only ones the process has. 
To illustrate the idea, I would like to take a look at the Congo
example.
The ExpressCongoBuy Process has the effect that the book is shipped
provided the book is in stock. However it is not said that this is the
only effect. So to be sure that there is no other effect like having
bought loads of ugly furniture, it would be necessary to state that this
is the only effect. One solution would be to set the cardinality of
effect to 1 and the cardinality of congoOrderShippedEffect to 1. 
As far as I know there is no other way to enumerate the effects a
process has using only the process description. Or must I consider the
profile description as well and take only those parameters into accound
which are enumerated here. This would mean that the actual parameters a
process has are the intersection of those described in the profile and
those properties described in the process model. 
Has anybody any comments on this?

Thanks


Jan Ortmann, 
University of Hamburg

Received on Sunday, 25 May 2003 12:55:26 UTC