-
公开(公告)号：CN103714001B
公开(公告)日：2017-01-18
申请号：CN201310717410.3
申请日：2013-12-23
Applicant: 北京工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种软件组件系统组件间协作行为分析方法，包括：分析组件行为，建立组件的行为模型；对各组件进行基于Pi演算的行为描述；生成协作路径集合；分析协作路径上的时间约束，生成带时间约束的协作路径集。本发明适用于软件组件系统，关注的不是组件顺序的线性行为，而是组件间的交互行为。将UML与Pi演算理论相结合，提出软件组件协作路径分析方法，在较高的抽象层次上描述各组件间的协作。使用带时间约束的协作路径集作为组件间的协作行为，对行为的描述更加准确。将本发明应用于软件系统的开发过程中，对于提高软件组件协作行为的可信性以及增强整个软件系统的可信性具有重要作用。
-
公开(公告)号：CN103714001A
公开(公告)日：2014-04-09
申请号：CN201310717410.3
申请日：2013-12-23
Applicant: 北京工业大学
IPC: G06F11/36
Abstract: 本发明涉及一种软件组件系统组件间协作行为分析方法，包括：分析组件行为，建立组件的行为模型；对各组件进行基于Pi演算的行为描述；生成协作路径集合；分析协作路径上的时间约束，生成带时间约束的协作路径集。本发明适用于软件组件系统，关注的不是组件顺序的线性行为，而是组件间的交互行为。将UML与Pi演算理论相结合，提出软件组件协作路径分析方法，在较高的抽象层次上描述各组件间的协作。使用带时间约束的协作路径集作为组件间的协作行为，对行为的描述更加准确。将本发明应用于软件系统的开发过程中，对于提高软件组件协作行为的可信性以及增强整个软件系统的可信性具有重要作用。
-
公开(公告)号：CN103714290B
公开(公告)日：2016-08-17
申请号：CN201310730756.7
申请日：2013-12-26
Applicant: 北京工业大学
IPC: G06F21/56
Abstract: 本发明涉及一种软件行为获取、监控与验证方法，包括：获取软件行为；监控软件行为；验证软件行为。针对现有软件行为监测、分析和验证方法中存在的不仅需要修改程序源码，而且编程负担较重，缺乏监控与分析粒度调控等问题，本发明从基于Java的面向对象编程语言的行为和属性的分析出发，结合UML和OCL技术，提供一种较为通用的软件行为获取、监控与验证方法，可以自动生成监控所需的AOP方面类，减少编码人员工作量；在不修改待验证系统源代码的情况下进行监控与验证；大量使用接口和动态链接库，易于维护和修改。使用本发明对软件系统进行监控和验证，可以对软件系统的可信性进行度量，并且保护软件系统正常运行。
-
公开(公告)号：CN103714290A
公开(公告)日：2014-04-09
申请号：CN201310730756.7
申请日：2013-12-26
Applicant: 北京工业大学
IPC: G06F21/56
Abstract: 本发明涉及一种软件行为获取、监控与验证方法，包括：获取软件行为；监控软件行为；验证软件行为。针对现有软件行为监测、分析和验证方法中存在的不仅需要修改程序源码，而且编程负担较重，缺乏监控与分析粒度调控等问题，本发明从基于Java的面向对象编程语言的行为和属性的分析出发，结合UML和OCL技术，提供一种较为通用的软件行为获取、监控与验证方法，可以自动生成监控所需的AOP方面类，减少编码人员工作量；在不修改待验证系统源代码的情况下进行监控与验证；大量使用接口和动态链接库，易于维护和修改。使用本发明对软件系统进行监控和验证，可以对软件系统的可信性进行度量，并且保护软件系统正常运行。
-
-
-
Search Results
4
records
(took 0.022 seconds)
