电信服务系统特征交互的Z规格及验证
为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证。研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性。...
Saved in:
| Published in | 计算机工程 Vol. 42; no. 8; pp. 19 - 23 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | Chinese |
| Published |
广东石油化工学院实验教学部,广东茂名,525000%广东石油化工学院理学院,广东茂名,525000%华为技术有限公司,广东深圳,518129
2016
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1000-3428 |
| DOI | 10.3969/j.issn.1000-3428.2016.08.004 |
Cover
| Abstract | 为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证。研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性。 |
|---|---|
| AbstractList | TP311; 为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究.对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型.针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证.研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性. 为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类型。针对特征交互的具体案例,通过Z语言得到精确、无歧义的形式化规格,分别描述各业务之间的交互过程,并在Z规格的基础上对其进行分析及形式化验证。研究人员可根据特征交互的形式化规格及验证结果掌握系统内部的冲突和缺陷,从而有效预防和解决电信系统特征交互问题,保障基础系统和新增功能模块的稳定性。 |
| Author | 彭展 梁根 周炳 |
| AuthorAffiliation | 广东石油化工学院实验教学部,广东茂名525000 广东石油化工学院理学院,广东茂名525000 华为技术有限公司,广东深圳518129 |
| AuthorAffiliation_xml | – name: 广东石油化工学院实验教学部,广东茂名,525000%广东石油化工学院理学院,广东茂名,525000%华为技术有限公司,广东深圳,518129 |
| Author_FL | LIANG Gen PENG Zhan ZHOU Bing |
| Author_FL_xml | – sequence: 1 fullname: PENG Zhan – sequence: 2 fullname: LIANG Gen – sequence: 3 fullname: ZHOU Bing |
| Author_xml | – sequence: 1 fullname: 彭展 梁根 周炳 |
| BookMark | eNo9jz1Lw0Acxm-oYK39EiJuif_LXe5llOIbFFw6uZRrkqsJetEcIo6FLhaLIE4iaEEQXBzEwVb0y7RN_RZGKk4PPPx4Hn5LqGRSEyG0isElksn1xI2tNS4GAIdQT7geYOaCcAFoCZX_-0VUtTZugY8J9zkRZYTzm7fx12B615_0BvnrKB_d5xfvk8_OePg4Hl7nt9392VN3-vAxuep9P1_OXjrLaEGrQxtV_7KCGlubjdqOU9_b3q1t1J3AF9QRWoehJBGjggRcYtAi1FpHMvBDyamgElRLKvAw51IoAIxFhImnAu4xoIRU0Np89kwZrUy7maSnmSkOm4lN2sGvIIhCrwBX5mBwkJr2SVygx1l8pLLzJmOSYx8zQX4ADe1lfw |
| ClassificationCodes | TP311 |
| ContentType | Journal Article |
| Copyright | Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| Copyright_xml | – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| DBID | 2RA 92L CQIGP W92 ~WA 2B. 4A8 92I 93N PSX TCJ |
| DOI | 10.3969/j.issn.1000-3428.2016.08.004 |
| DatabaseName | 中文期刊服务平台 中文科技期刊数据库-CALIS站点 维普中文期刊数据库 中文科技期刊数据库-工程技术 中文科技期刊数据库- 镜像站点 Wanfang Data Journals - Hong Kong WANFANG Data Centre Wanfang Data Journals 万方数据期刊 - 香港版 China Online Journals (COJ) China Online Journals (COJ) |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| DocumentTitleAlternate | Z Specification and Verification of Feature Interaction in Telecommunication Service System |
| DocumentTitle_FL | Z Specification and Verification of Feature Interaction in Telecommunication Service System |
| EndPage | 23 |
| ExternalDocumentID | jsjgc201608004 669715168 |
| GrantInformation_xml | – fundername: 广东石油化工学院青年自然科学基金资助项目 funderid: (513023) |
| GroupedDBID | -0Y 2B. 2C0 2RA 5XA 5XJ 92H 92I 92L ACGFS ALMA_UNASSIGNED_HOLDINGS CCEZO CQIGP CUBFJ CW9 TCJ TGT U1G U5S W92 ~WA 4A8 93N ABJNI PSX |
| ID | FETCH-LOGICAL-c584-8ffdd93e6483c7910f8dfffe9c5d9748490ab9a0217798a00118e132ac7260433 |
| ISSN | 1000-3428 |
| IngestDate | Thu May 29 04:21:01 EDT 2025 Wed Feb 14 10:23:31 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 8 |
| Keywords | Z规格 形式化验证 电信系统 形式化描述 formal verification telecommunication system formal description feature interaction Z specification 特征交互 |
| Language | Chinese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c584-8ffdd93e6483c7910f8dfffe9c5d9748490ab9a0217798a00118e132ac7260433 |
| Notes | For formally describing feature interaction problems in telecommunication system accurately and compactly, this paper applies Z language into the research on these feature interaction problems. It does the formal description for three main types of feature interaction, which contains integrality violation, same trigger condition and bad loop. It uses Z language to develop precise and unambiguous formal specification for the specific cases of the three types of feature interaction, describing the feature interaction between businesses. It analyzes and formally verifies the feature interactions based on Z specification. Researchers can grasp the collisions and faults in the system through formal specifications and verification results. The proposed method can prevent and solve the problems of feature interaction in telecommunication systems, and safeguard the stability of the base system and the new function module. 31-1289/TP PENG Zhan ,LIANG Gen ,ZHOU Bing（I a. Department of Experimental Teaching; 1 b. College |
| PageCount | 5 |
| ParticipantIDs | wanfang_journals_jsjgc201608004 chongqing_primary_669715168 |
| PublicationCentury | 2000 |
| PublicationDate | 2016 |
| PublicationDateYYYYMMDD | 2016-01-01 |
| PublicationDate_xml | – year: 2016 text: 2016 |
| PublicationDecade | 2010 |
| PublicationTitle | 计算机工程 |
| PublicationTitleAlternate | Computer Engineering |
| PublicationTitle_FL | Computer Engineering |
| PublicationYear | 2016 |
| Publisher | 广东石油化工学院实验教学部,广东茂名,525000%广东石油化工学院理学院,广东茂名,525000%华为技术有限公司,广东深圳,518129 |
| Publisher_xml | – name: 广东石油化工学院实验教学部,广东茂名,525000%广东石油化工学院理学院,广东茂名,525000%华为技术有限公司,广东深圳,518129 |
| SSID | ssib051375738 ssib017479294 ssj0042200 ssib001102934 ssib023646288 |
| Score | 2.0452044 |
| Snippet | 为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究。对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和坏循环类... TP311; 为对电信服务系统的特征交互问题进行精确、简洁的形式化描述,提出将Z语言应用于该问题的研究.对3种主要特征交互类型进行形式化描述,包括完整性破坏、相同触发条件和... |
| SourceID | wanfang chongqing |
| SourceType | Aggregation Database Publisher |
| StartPage | 19 |
| SubjectTerms | Z规格 形式化描述 形式化验证 特征交互 电信系统 |
| Title | 电信服务系统特征交互的Z规格及验证 |
| URI | http://lib.cqvip.com/qk/95200X/201608/669715168.html https://d.wanfangdata.com.cn/periodical/jsjgc201608004 |
| Volume | 42 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAON databaseName: DOAJ Directory of Open Access Journals issn: 1000-3428 databaseCode: DOA dateStart: 20160101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://www.doaj.org/ omitProxy: true ssIdentifier: ssj0042200 providerName: Directory of Open Access Journals |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3NaxQxFA9rBdGD-Im1fvTQnMrUnUlmknec2c5SBD2tUHpZ5itbethWu156W-jFogjiSQQtCIIXD-LBVvSf2e3W_8KXTJwOpRT1MmRekpeXvNk3v5fZ90LIHGNZ6rtJ7riqYA73IXFSP8idLOXNwsMXHEt1vPODh8HSI35_2V9uNIb16JJBupBtnRhX8j9aRRrqVUfJ_oNmK6ZIwDLqF6-oYbz-lY5pLChwGvk0xmubhi6NAwotKhdp7FMZGoqgEaNRZAoRhbYuSKAR6DZRjFjSdMfG3BbAM5xDKvkKjSUNsQPXrMMmjVqGdVtzj4GG2Khl2iDFrUNdQ4ytBFgAYYXDAfTASPRNlaSy-u5jahZpaOSPXAr-vBnXM1KWAsC8rgRX99RT8XB-9c2LMqrSWlod0s64jQy3pph7tUdO1uyqNavlG7oMUD5u-xkEYGy_Zr9Qsdf_3gtMltbymONj2bWDAASCnkCeIWc9vaVT88oNokQABkcZ9NB_Ewgoq3udfl8f2Pzn3neZ8E1GuxIMcM9rlgkxrDjnyJyV9d5pkupMH6vr_d5jxC8mnKyvkn6vhnw6l8hF67LMhuXzd5k0tlavkAu1RJZXiTt5_XX0c_fg7Yvxzu7ky_5k_93k2bfxj-Fo78No79XkzfbK4cftg_ffxy93fn16fvh5eI102nGnteTYwzicDDGqI5XKc2BFwCXLBGJMJXOlVAGZn4PORwvNJIVEe7gCZGJSCxYu85JMoMfMGbtOpvrr_eIGmc2kShJVSJ4pXLy0mYDBpRyUSDOR5tNkppp7d6PMudKt9DRN7trV6Npf4mZ3bXOtl-nV0-4Pv3lq_xlyXrcsd9FukanBk6fFbcSVg_SO0fxv8GZcWg |
| linkProvider | Directory of Open Access Journals |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E7%94%B5%E4%BF%A1%E6%9C%8D%E5%8A%A1%E7%B3%BB%E7%BB%9F%E7%89%B9%E5%BE%81%E4%BA%A4%E4%BA%92%E7%9A%84Z%E8%A7%84%E6%A0%BC%E5%8F%8A%E9%AA%8C%E8%AF%81&rft.jtitle=%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%B7%A5%E7%A8%8B&rft.au=%E5%BD%AD%E5%B1%95+%E6%A2%81%E6%A0%B9+%E5%91%A8%E7%82%B3&rft.date=2016&rft.issn=1000-3428&rft.volume=42&rft.issue=8&rft.spage=19&rft.epage=23&rft_id=info:doi/10.3969%2Fj.issn.1000-3428.2016.08.004&rft.externalDocID=669715168 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fimage.cqvip.com%2Fvip1000%2Fqk%2F95200X%2F95200X.jpg http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Fjsjgc%2Fjsjgc.jpg |