本发明公开了交互计算机系统的多个角色的群体继承的方法。本方法接收到第一个“交互群体”，该“交互群体”包含多个角色，且多个角色对应着多个“交互模块”，每个“交互模块”定义了一个活动，第一个“交互群体”的所有“交互模块”简称为第一个“交互模...

本发明是一种基于动态系统实现复合断言计算的方法。本发明所述的方法将有效地支持将任意复合断言转换为动态系统，并进一步实现其计算求值。这些断言包括单个简单断言、多个简单断言的顺序多个复合断言的顺序组合、多个简单断言的并行组合、多个复合断言的...

本发明提供了对动态应用系统行为进行建模的一套系统、过程和过程的运用方法以及开发这种动态行为模型的方法。本发明提供了一个动态系统(即Dynamic?System，简称DS)以及相应的操作方法来对普遍的复杂而且动态的行为进行建模。为了对一个...

本发明提供了复合断言和复合动态系统的系统定义和其操作程序。复合断言用于当在计算机系统中制定决策时检查复杂条件；复合动态系统则是用于定义整个计算机系统的行为。另外，为了显示复合断言和动态系统，在图形图表中提供了图形语言的示例。并将类似的性...

对动态应用系统行为进行建模的一套系统、过程和过程的运用方法以及开发这种动态行为模型的方法。一个动态系统以及相应的操作方法来对普遍的复杂而且动态的行为进行建模。为了对一个分布式环境中的应用系统进行建模，本发明采用了一个外部的ＤＳ来对这个系...