Research Article
Improving Model Checking with Context Modelling
Listing 4
An CDL activity.
activity DEV1 is |
{
|
{
event send_login1; {event recv_ack_log1 event recv_nack_log1; |
{
event send_operate1; {event recv_ack_oper1 event recv_nack_oper1; |
{
send logout1 to
{
SM
}1} |
}
|
|