期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

AUML与PETRI网结合使用的研究 被引量：1

Research on Using AUML with Petri Nets
下载PDF
导出
摘要 统一建模型语言(UML)已经成为软件系统的分析与设计的标准工具,但由它扩充而成的代理统一建模型语言(AUML)还没变成一个标准,目前的AUML规格说明还有很多的局限性,还不能胜任多代理系统的开发.Petri网是仿真、验证软件系统执行的正确性与有效性的形式化工具.本文主要分析当前AUML规格说明和Petri网概念,找出它们之间的结合点,提出用Petri网扩充AUML的方法.将其应用于多代理系统的开发,就能实施之前运用Petri网进行系统的正确性与有效性验证.
作者 魏定国 吴时霖
机构地区 广东商学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期193-196,共4页 Journal of System Simulation
基金 广东省科技攻关项目(2004A10202001) 广州市科攻关项目(2004Z2-D0091)
关键词 PETRI网 AUML 智能代理 系统开发
分类号 TP301 [自动化与计算机技术—计算机系统结构]
  • 相关文献

参考文献11

  • 1[1]J Merseguer, J Campos. Software Performance Modeling Using UML and Petri Nets [C]. MASCOTS, 2003, LNCS 2965: 265-289. 被引量：1
  • 2[2]Foundation for Intelligent Physical Agents: FIPA Modelling: Interaction Diagrams, working draft [M]. Geneva, Switzerland, 2003. 被引量：1
  • 3[3]H Xu, S M Shatz,, A B Smith. A framework for Model-Based Design o f Agent-Oriented Software [J]. IEEE Transactions on Software Engineering, 2003, 29(1): 15-30. 被引量：1
  • 4[4]H Xu. A model-based approach for development of multi-agent software systems [D]. Ph. D.Thesis submitted in the Graduate College of rhe University of Illinois at Chicago, Chicago, Illinois 2003. 被引量：1
  • 5[5]K Jensen. An introduction to the Theoretical Aspects of Coloured Petri nets, A Decade of Concurrency [C], 1994,LNCS 803: 230-272. 被引量：1
  • 6[6]J A Saldhana, S M Shatz. UML diagrams to Object Petri Net Models: An approach for Modeling and Analysis [C]. Procceding of Twelfth International Conference on Software Engineering and Knowledge Engineering, SEKE2000: 103-110. 被引量：1
  • 7[7]K Jensen. An introduction to the Practical Use of Coloured Petri nets [M]. Advanced Course on Petri Nets, Dagstuhl, Germany, 1996. 被引量：1
  • 8[8]R Pooley, P King. Derivation of Petri Net Performance Models from UML Specifications of Communications Software [C]. Proceedings of the fifteenth annual UK Performance Engineering Workshop, 1999. 45-56. 被引量：1
  • 9[9]F Bergenti, A Poggi. Exploiting UML in the Design of Multi-Agent Systems, LNCS [C]. In A. Omicini, R. Tolksdorf and F. Zambonelli, Engineering Societiea in the Agents World, Springer 2000, 106-113. 被引量：1
  • 10[10]M Kunstic, M Bagic. Verification and Validation of Multiagent System Specified by Agent UML [C]. Proceeding of 1st International Conference on Information & Communication Technologies from Theory to Applications 2004, 842-853. 被引量：1

同被引文献17

  • 1高文宇,王建新,陈松乔.网络仿真软件NS2中队列调度算法的扩展[J].系统仿真学报,2006,18(2):521-525. 被引量：10
  • 2夏传良,陆维明.Petri网精细化操作及其在系统建模中的应用[J].系统仿真学报,2006,18(8):2070-2077. 被引量：3
  • 3王君英,段广洪.基于IDEF0的CIMS底层控制Petri网模型的自动生成方法[J].自动化学报,1997,23(3):400-403. 被引量：15
  • 4CHRZASTOWSKI W P, BENATALLAH B, HAMADI R, ODELL M SUSANTO A. A Top-Down Petri Net-Based Approach for Dynamic Workflow Modeling [C]//LNCS 2678. Berlin, Heidelberg: Springer- Verlag, 2003: 336-353. 被引量：1
  • 5BEST B, GRAHLMANN B. PEP-More than a Petri Nets [C]//Proc. of the 2nd Int'l Workshop, TACAS'96. LNCS 1055. Passau: Springre- Verlag, 1996: 397-401. 被引量：1
  • 6JR A A, JR G A, LIMA R. EZPetri: A Petri Net Interchange Framework for Eclipse Based on PNML [C]// First International Symposium on Leveraging Applications of Formal Method (ISoLA'04). London: Springer, 2004: 1-15. 被引量：1
  • 7陈松乔,等.涟钢CIMS初步设计报告[R].1997:18-29 被引量：1
  • 8陈禹六.IDEF建模分析和设计方法[D].北京:清华大学出版社,2000. 被引量：2
  • 9VUKSIC V B, GIAGLIS G M, HLUPIC V. IDEF Diagrams and Petri Nets for Business Process Modeling: Suitability, Efficacy, and Complementary Use [C]//ICEIS 2000, International Conference on Enterprise Information Systems. Stafford, UK, 2000: 242-247. 被引量：1
  • 10JUNGNITZ H, DESROCHERS A A. Flow Equivalent Nets for The Performance Analysis of Flexible Manufacturing Systems [C]//Proc IEEE Robotics and Automation Conference, 1991. USA: IEEE, 1991: 122-127. 被引量：1

引证文献1

二级引证文献7

系统仿真学报
2005年 第z1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部