摘要: |
把Petri网原理和面向对象技术相结合,定义一种对象Petri网。运用这种对象Petri网对可复用的电力系统软件体系结构进行描述。这种对象Petri网有面向对象技术的自然性和封装性,有严格的数学描述和直观图形表示;通过库所和变迁的连接关系及变迁触发、有色托肯的流动,能清晰、有效地描述可复用电力系统软件体系结构中不同层次的主体属性、行为及彼此间的信息交互、包含与被包含等的关系。它既能反映该体系结构中组件等主体间的静态联系,又能精确、方便地描述主体间的异步、并发等动态行为。 |
关键词: 对象Petri网 软件体系结构 电力系统 |
DOI: |
|
基金项目: |
|
|
|
() |
Abstract: |
|
Key words: |