针对活动图半形式化特性，给出了活动图的形式化描述及测试覆盖准则的定义。

Aiming at activity diagram semi-formal speciality, the activity diagram formal specification and the definition of test coverage rules were given.

youdao

随后，运用面向对象的表示方法对信息活动链模型进行了“半形式化”的描述；

Then, we give a 'semiformalization' description of the model based on object oriented methodology.

youdao