“夏寿民”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果5个，建议您升级VIP下载更多相关专利

[发明专利]交互计算机系统的多个角色的群体继承的方法-CN202110427059.9在审
发明人： 夏寿民 -专利权人： 夏寿民
申请日： 2021-04-20 - 公布日： 2021-08-31 - 主分类号： H04L29/08 文献下载
摘要：本发明公开了交互计算机系统的多个角色的群体继承的方法。本方法接收到第一个“交互群体”，该“交互群体”包含多个角色，且多个角色对应着多个“交互模块”，每个“交互模块”定义了一个活动，第一个“交互群体”的所有“交互模块”简称为第一个“交互模块组”。本方法接收到第二个“交互群体”，该“交互群体”包含了第二个“交互模块组”。第二个“交互群体”识别出第一个“交互群体”，且第二个“交互模块组”中“交互模块”识别出第一个“交互群体”中的每个角色。然后本方法获取到被第二个“交互群体”识别出的第一个“交互群体”中的角色所对应的在第一个“交互模块组”中的活动，并在第二个“交互模块组”中产生出相应活动。
交互计算机系统角色群体继承方法

[发明专利]一种基于动态系统实现复合断言计算的方法-CN201210297875.3有效
发明人： 夏寿民 -专利权人： 夏寿民
申请日： 2008-09-10 - 公布日： 2013-01-30 - 主分类号： G06F9/44 文献下载
摘要：本发明是一种基于动态系统实现复合断言计算的方法。本发明所述的方法将有效地支持将任意复合断言转换为动态系统，并进一步实现其计算求值。这些断言包括单个简单断言、多个简单断言的顺序多个复合断言的顺序组合、多个简单断言的并行组合、多个复合断言的并行组合、以及上述多个断言的顺序和并行混合组合。本发明与现有的复合断言实现方法相比，具有表达方式更通用、高效率并行化求值、以及使用更简单更简洁的特点。
一种基于动态系统实现复合断言计算方法

[发明专利]描述及开发动态行为应用系统的方法与系统-CN201210100410.4有效
发明人： 夏寿民 -专利权人： 夏寿民
申请日： 2006-05-16 - 公布日： 2012-10-17 - 主分类号： G06F9/44 文献下载
摘要：本发明提供了对动态应用系统行为进行建模的一套系统、过程和过程的运用方法以及开发这种动态行为模型的方法。本发明提供了一个动态系统(即Dynamic System，简称DS)以及相应的操作方法来对普遍的复杂而且动态的行为进行建模。为了对一个分布式环境中的应用系统进行建模，本发明采用了一个外部的DS(即External DS)来对这个系统的外部行为进行建模，而采用一个自主系统(即Proactive System)来对这个应用系统的反应式行为进行建模，以及一个内部DS(Internal DS)来对这个应用系统的内部主动式行为进行建模。本发明同时还提供了表示DS以及它的组件的图形化语言。最后本发明描述了一个系统化的方法，从外部行为推导出反应式行为或者反过来，从反应式行为推导出外部行为。
描述开发动态行为应用系统方法

[发明专利]复合断言和动态系统的系统定义和GUI-CN200880002646.6无效
发明人： 夏寿民 -专利权人： 夏寿民
申请日： 2008-09-10 - 公布日： 2009-11-25 - 主分类号： G06F9/44 文献下载
摘要：本发明提供了复合断言和复合动态系统的系统定义和其操作程序。复合断言用于当在计算机系统中制定决策时检查复杂条件；复合动态系统则是用于定义整个计算机系统的行为。另外，为了显示复合断言和动态系统，在图形图表中提供了图形语言的示例。并将类似的性能扩展到一些已有的图形语言里，比如BPMN和UML活动图。
复合断言动态系统定义 gui

[发明专利]描述及开发动态行为应用系统的方法与系统-CN200680025983.8无效
发明人： 夏寿民 -专利权人： 夏寿民
申请日： 2006-05-16 - 公布日： 2009-05-27 - 主分类号： G06F17/50 文献下载
摘要：对动态应用系统行为进行建模的一套系统、过程和过程的运用方法以及开发这种动态行为模型的方法。一个动态系统以及相应的操作方法来对普遍的复杂而且动态的行为进行建模。为了对一个分布式环境中的应用系统进行建模，本发明采用了一个外部的DS来对这个系统的外部行为进行建模，而采用一个自主系统来对这个应用系统的反应式行为进行建模，以及一个内部DS来对这个应用系统的内部主动式行为进行建模。表示DS以及它的组件的图形化语言。一个系统化方法，从外部行为推导出反应式行为或者反过来，从反应式行为推导出外部行为。
描述开发动态行为应用系统方法