基于SNMP的网络计费系统的设计

网络计费是网络管理的五大功能之一,计费对网络的运营来说至关重要.通过归纳和比较网络计费的相关技术,探讨了基于路由器SNMP采集对IP流量进行数据处理的可行性,给出了一个面向中小型局域网的网络计费系统的解决方案,并详细描述了系统各模块结构功能和其中的关键技术.     

基于形式化的功能代码自动生成

针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。