| 电信业务特性集成的时序着色Petri网模型 |
| |
| 引用本文： | 陆以勤,韦岗,贺前华.电信业务特性集成的时序着色Petri网模型[J].华南理工大学学报(自然科学版),2002,30(1):27-33. |
| |
| 作者姓名： | 陆以勤 韦岗 贺前华 |
| |
| 作者单位： | 华南理工大学,电子与通信工程系,广东,广州,510640 |
| |
| 基金项目： | 国家自然科学基金资助项目(69782008);广东省自然科学基金资助项目(970440);国家教委优秀青年教师基金资助项目 |
| |
| 摘 要： | 提出了一个电信系统业务特性集成的建模和检验方法。根据这个方法，现有的系统和新的业务特性分别表述为一个着色Petri网，业务特性的功能可表述为时序逻辑公式（称为功能公式），而业务特性的行为可表述为实现这个着色Petri网的变迁不变量（T不变量）的引发序列（称为业务）。通过检测业务是否满足功能公式，可对业务特性进行检验。
|
| 关 键 词： | 着色Petri网 特性集成 不变量 软件检验 电信系统 时序逻辑 业务检测 |
| 文章编号： | 1000-565X(2002)01-0027-07 |
| 修稿时间： | 2001年3月18日 |
A Temporal Colored Petri Net Model for Telecommunication Feature Integration |
| |
| Abstract.A Temporal Colored Petri Net Model for Telecommunication Feature Integration[J].Journal of South China University of Technology(Natural Science Edition),2002,30(1):27-33. |
| |
| Authors: | Abstract |
| |
| Abstract: | This paper presents an approach for modeling and verifying feature integration in telecommunications systems. In this approach, the existing system and new features are each represented as a colored Petri net (CP_net). The functionality of a feature are represented as a temporal logic formula (called functional formula) and the behaviors of a feature are represented as firing sequences (call services) realizing a transition_invariant (T_invariant) of the Petri net. Verification can be done by detecting whether the services satisfy the functional formula. |
| |
| Keywords: | colored Petri net feature integration invariant software verification telecommunications system temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
