基于Petri网的设计模式形式化描述
TP311.56; 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法.定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程.分析结果表明,该方法可以以图形化的方式描述设计模式.在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别....
Saved in:
| Published in | 计算机工程 Vol. 42; no. 7; pp. 33 - 36 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | Chinese |
| Published |
北方民族大学计算机科学与工程学院,银川,750021
2016
|
| Subjects | |
| Online Access | Get full text |
| ISSN | 1000-3428 |
| DOI | 10.3969/j.issn.1000-3428.2016.07.005 |
Cover
| Abstract | TP311.56; 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法.定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程.分析结果表明,该方法可以以图形化的方式描述设计模式.在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别. |
|---|---|
| AbstractList | 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义，而形式化描述设计模式是自动识别的基础，为此，提出一种基于Petri网的设计模式描述方法。定义从设计模式到Petri网的转换规则，根据规则对观察者模式进行形式化描述，并给出识别设计模式的初步流程。分析结果表明，该方法可以以图形化的方式描述设计模式。在此基础上，能借助Petri网本身的数学理论实现设计模式的自动识别。 TP311.56; 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法.定义从设计模式到Petri网的转换规则,根据规则对观察者模式进行形式化描述,并给出识别设计模式的初步流程.分析结果表明,该方法可以以图形化的方式描述设计模式.在此基础上,能借助Petri网本身的数学理论实现设计模式的自动识别. |
| Author | 王雷 姜久雷 王晓峰 |
| AuthorAffiliation | 北方民族大学计算机科学与工程学院,银川750021 |
| AuthorAffiliation_xml | – name: 北方民族大学计算机科学与工程学院,银川,750021 |
| Author_FL | WANG Xiaofeng WANG Lei JIANG Jiulei |
| Author_FL_xml | – sequence: 1 fullname: WANG Lei – sequence: 2 fullname: JIANG Jiulei – sequence: 3 fullname: WANG Xiaofeng |
| Author_xml | – sequence: 1 fullname: 王雷 姜久雷 王晓峰 |
| BookMark | eNo9jz1Lw1AYhe9QwVr7J0ScTHzf3NyvUYpfUNChe7i5SWuC3mqiiLujGLo4uEidnIpzsfpnTJufYUrF5Rw4PJzD2SANO7QxIdsILlVc7aVukufWRQBwqO9J1wPkLggXgDVI8z9fJ-08T0JgSAUTVDbJbvk6_Zk-ncU3WbKYjRYvD9Xkq5qM5-_j8rMoZ29LfXyeF0X1_bFJ1vr6Io_bf94ivcODXufY6Z4enXT2u45hkjkSjZShwUghSlCoObJYxKEEKvqaaa2M5gwRpA_KNyYEJSOBsQnR4x6LaIvsrGrvtO1rOwjS4W1m68EgzdOBWX4DUT-rwa0VaM6HdnCd1OhVllzq7D7gXPlUcI_SX6atYRw |
| ClassificationCodes | TP311.56 |
| 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.07.005 |
| 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 | Formal Description of Design Pattern Based on Petri Net |
| DocumentTitle_FL | Formal Description of Design Pattern Based on Petri Net |
| EndPage | 36 |
| ExternalDocumentID | jsjgc201607005 669437623 |
| GrantInformation_xml | – fundername: 国家自然科学基金资助项目; 宁夏高等学校科学研究基金资助项目; 北方民族大学研究生创新基金资助项目 funderid: (61462001); (NGY2015151); (YCX1561) |
| 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-c585-81c88bc1d9118091a615e7eb8037fa5aa9ca6511084094ccb098d71ecb12625d3 |
| ISSN | 1000-3428 |
| IngestDate | Thu May 29 04:21:01 EDT 2025 Wed Feb 14 10:17:46 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 7 |
| Keywords | 形式化描述 Petri网 转换规则 观察者模式 自动识别 formal description conversion rule automatic identification 设计模式 observer pattern design pattern Petri net |
| Language | Chinese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c585-81c88bc1d9118091a615e7eb8037fa5aa9ca6511084094ccb098d71ecb12625d3 |
| Notes | It is very meaningful for software development to identify design patterns automatically from Unified Modeling Language（UML） models. Formalization is the base of automatic identification of design patterns, so a method based on Petri net is proposed to describe design patterns. Conversion rules of design patters to Petri net are defined,and observer pattern is formalized by those rules. Preliminary process of automatic identification of design patterns is given. Analysis results show that this method can describe design patterns graphically. On this basis, automatic identification of design patterns can be achieved by means of the mathematical theory of Petri net. WANG Lei, JIANG Jiulei,WANG Xiaofeng （College of Computer Science and Engineering, Beifang University of Nationalities, Yinchuan 750021, China） 31-1289/TP design pattern ; automatic identification ; formal description ; conversion rule ; Petri net; observer pattern |
| PageCount | 4 |
| ParticipantIDs | wanfang_journals_jsjgc201607005 chongqing_primary_669437623 |
| 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 | 北方民族大学计算机科学与工程学院,银川,750021 |
| Publisher_xml | – name: 北方民族大学计算机科学与工程学院,银川,750021 |
| SSID | ssib051375738 ssib017479294 ssj0042200 ssib001102934 ssib023646288 |
| Score | 2.0447903 |
| Snippet | 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义，而形式化描述设计模式是自动识别的基础，为此，提出一种基于Petri网的设计模式描述方法。定义从设... TP311.56; 从统一建模语言模型中自动识别出相应的设计模式对软件开发具有重要意义,而形式化描述设计模式是自动识别的基础,为此,提出一种基于Petri网的设计模式描述方法.定... |
| SourceID | wanfang chongqing |
| SourceType | Aggregation Database Publisher |
| StartPage | 33 |
| SubjectTerms | Petri网 形式化描述 自动识别 观察者模式 设计模式 转换规则 |
| Title | 基于Petri网的设计模式形式化描述 |
| URI | http://lib.cqvip.com/qk/95200X/201607/669437623.html https://d.wanfangdata.com.cn/periodical/jsjgc201607005 |
| 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/eLvHCXMwnV29b9QwFLeOIiEYEJ-ilI8O9QQpSWzH9phcc6qQYDqkbicnl1zVIS30ulQdGREnFgYWVCamirmi8M9w7f0ZvOe4aUCoAhbr5fnlnZPne3nPyfuZkCU_GBZGGuHxsoQEpRSRZ0IuPMMjhXWX0Iu1w8-eR6sv-NM1sdbp7LWrS8bZcr77x7qS_7Eq8MCuWCX7D5ZtlAIDaLAvtGBhaP_KxjQVVPdoEtOUY6tSu0EWTSVNVqgOkNDA5jRVNE5pkjoihq6IxsoSgiZdqnqWWKFx-AtHdamOUBgOkaNoAj_ot2Palk6JhJYor7t2XKAKmMJ2KaqaFzzIUCkwaKqpTkDqEQrHEk_Eq9FUiXZfIw6qgcusanY6FLduURdUOieL1eyMu6Jw54V52JptsuVSa5wM93CuwVJ-d_tMR9q6fVS_3KjHD_dqaFZfnD3umo8Qo0hzcK8hu0Auhria00rIbTAJsZc-A8-D1E1CLNkcI_I-7tV8eiwCJoUFs6vjAB6Gfo2F4YZziSy5sT45b6QI8rG-WY1eQuhiK8mq0lSjVtDTv0auumxlMa6n3nXS2V2_Qa60MCxvksfTj4c_Dt_aiXdy9O7kw-vZwbfZwf7x5_3p18n06BO2b94fTyaz719ukX4v7XdXPbcFh5dDHumpIFcqy4OhRqRAHRiIfwtZZMpnsjTCGJ2bSGAlCS4T5HnmazWUQZFnQQiJ9ZDdJnPVZlXcIYtKZyKQZcE0BMGclyCXKXwrnEOAzEQ2Txaayx5s1Ugrg8ZE8-ShuxED9__bHmxsb4zy0CIkwm27e-75C-QyStZrZ_fI3PjVTnEfoslx9sAa_SfHPVbR |
| 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=%E5%9F%BA%E4%BA%8EPetri%E7%BD%91%E7%9A%84%E8%AE%BE%E8%AE%A1%E6%A8%A1%E5%BC%8F%E5%BD%A2%E5%BC%8F%E5%8C%96%E6%8F%8F%E8%BF%B0&rft.jtitle=%E8%AE%A1%E7%AE%97%E6%9C%BA%E5%B7%A5%E7%A8%8B&rft.au=%E7%8E%8B%E9%9B%B7+%E5%A7%9C%E4%B9%85%E9%9B%B7+%E7%8E%8B%E6%99%93%E5%B3%B0&rft.date=2016&rft.issn=1000-3428&rft.volume=42&rft.issue=7&rft.spage=33&rft.epage=36&rft_id=info:doi/10.3969%2Fj.issn.1000-3428.2016.07.005&rft.externalDocID=669437623 |
| 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 |