期刊文献+

Mapping PUNITY to UniNet 被引量:3

原文传递
导出
摘要 To solve the problems of the interleaving assumption and the single resource inPUNITY (Petri net and UNITY) and Petri net respectively, this paper proposes a set of mappingrules from PUNITY to UniNet. Based on these rules, problems of one field can be transformed toproblems of the other field and powerful tools of Petri net and UNITY can be used. The papergives a sketch of the mapping rules and applies the rules to an example. Meanwhile, the mappingrules can help computer to translate PUNITY to UniNet easily.
出处 《Journal of Computer Science & Technology》 SCIE EI CSCD 2003年第3期378-387,共10页 计算机科学技术学报(英文版)
基金 国家自然科学基金,国家重点基础研究发展计划(973计划)
  • 引文网络
  • 相关文献

参考文献11

  • 1Jang-Eui Hong, Doo-Hwan Bae. Software modeling and analysis using a hierarchical object-oriented Petri net.Information Sciences, 2000, 130: 133-164.
  • 2Vasilis C Gerogiannis et al. Comparative study and categorization of high-level Petri nets. Journal of System and Software, 1998, 43: 133-160.
  • 3Yuan Chongyi. Petri Net Theory. Publishing House of Electronic Industry, Beijing, 1998.
  • 4K Mani Chandy, Jayadev Misra. Parallel Program Design. A Foundation, Addison-Wesley, 1989.
  • 5Michel Charpentier, Gerard Padiou. Specification and Verification of the ATMR Protocol using UNITY. In International Workshop on Formal Methods for Parallel Programming: Theory and Application, University of Geneva. Switzerland. April 1997. DD.26--36.
  • 6Charpentier M, Filali M, Mauran P, Padiou G, queinnec P. Modelling and verifying migration: A case study. In International Conference on Principles of Distributed Systems (OPODIS'g9), Hanoi, Vietnam, 1999, pp.151-166.
  • 7Michel Charpentier, Marnoun Filali, Philippe Mauran,Gerard Padiou, Philippe Queinnec. Tailoring UNITY to distributed program design. In International Workshopon Formal Methods for Parallel Programming: Theory and Application (FMPPTA 'g8), April, 1998, Orlando,Florida, USA, LNCS 388: pp.820--832.
  • 8Michel Charpentier. A UNITY mapping operator for distributed programs. In International Symposium of Formal Methods Europe (FME'97), September, 1997,Technical University of Graz, Austria, LNCS 1313,pp.665-684.
  • 9Fu Hongyu. From Petri net, UNITY to program semantic model: UniNet [Thesis]. Peking University, Beijing,P.R. China, 2001.
  • 10Weili Yao, Xudong He. Mapping Petri nets to concurrent programs in CC++. Information and Software Technology 1997.39: 485-495.

同被引文献33

  • 1周文生.基于DAS的地理设计方法在空间规划中的应用[J].人类居住,2021(3):32-42. 被引量:2
  • 2高勇,刘瑜,邬伦.基于Petri网的空间信息工作流模型[J].计算机工程,2005,31(16):1-3. 被引量:8
  • 3Basili V R, Selby R W. Comparing the Effectiveness of Software Testing[J]. IEEE Transactions on Software Engineering, 1987, 13(12) : 1278-1296.
  • 4WestB.安全编程:代码静态分析[M].北京:机械工业出版社,2008.
  • 5Clarke L A. A System to Generate Test Data and Symbolically Execute Programs[J]. IEEE Trans. Softw. Eng., 1976,2(3): 215-222.
  • 6Wagner D, Dean D. Intrusion Detection via Static Analysis[C]// Proceedings of the 2001 IEEE Symposium on Security and Privacy. IEEE Computer Society, 2001 : 156.
  • 7Naik M, Park C-S, Sen K, et al. Effective static deadlock detection[C] // the 31st International Conference on Software Engineering. Vancouver, Canada, 2009 : 386-396.
  • 8Pousot A, Cousot R. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints[C]//Proceedings of the 4th ACM SIGACTSIGPLAN Symposium on Principles of Programming Languages. Los Angeles, California:ACM, 1977 :238-252.
  • 9Kildall G A. A unified approach to global program optimization [C]//Proceedings of the 1st Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming languages. Boston, Massachusetts: ACM, 1973 : 194-206.
  • 10Jet C. Bandera: Extracting finite-state models from Java source code[C]//22nd ICSE. Limerick, Ireland, 2000: 439-458.

引证文献3

二级引证文献4

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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