OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

tag-discuss message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]


Subject: RE: [tag-discuss] RE: TA definition (formerly: surviving the winter break)


JD>...So here, should the TA also take care of telling how to cause the 
IUT to send M1 out ?

I think that (most likely) there would be a separate TA that asserts that 
some behavior causes messages of type M1 to be sent out. That's how the 
assertions build on each other.
.................David Marston


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [List Home]