[1] STEIMANN F. From well-formedness to meaning preservation:model refactoring for almost free[J]. Software & Systems Modeling, 2015, 14(1):307-320. [2] 张岩,胡军,于笑丰,等. 接口自动机——一种用于组件组合的形式系统[J].计算机科学,2005,32(11):212-217. (ZHANG Y, HU J, YU X F, et al. Interface automata-a formal system for components composition[J]. Computer Science, 2005, 32(11):212-217.). [3] 李喜彤,范玉顺.Web服务流程相容性和相似性分析[J].计算机学报, 2009, 32(12):2429-2437. (LI X T, FAN Y S. Analyzing compatibility and similarity of Web service processes[J]. Chinese Journal of Computers, 2009, 32(12):2429-2437.). [4] REISIG W. Well-formed system nets[M]//Understanding Petri Nets. Berlin:Springer-Verlag, 2013:169-172. [5] DE ALFARO L, HENZINGER T A, STOELINGA M, et al. Timed interfaces[C]//EMSOFT 2002:Proceedings of the 2nd International Conference on Embedded Software, LNCS 2491. Berlin:Springer-Verlag, 2002:108-122. [6] DE ALFARO L, HENZINGER T A. Interface automata[J]. ACM SIGSOFT Software Engineering Notes, 2001, 26(5):109-120. [7] MOUELHI S, AGROU K, CHOUALI S, et al. Object-oriented component-based design using behavioral contracts:application to railway systems[C]//CBSE'15:Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering. New York:ACM, 2015:49-58. [8] HU J, YU X, WANG L, et al. Scenario-based specifications verification for component-based embedded software designs[C]//ICPPW'05:Proceedings of the 2005 International Conference on Parallel Processing Workshops. Washington, DC:IEEE Computer Society, 2005:240-247. [9] SHAI O, PREISS K. Isomorphic representations and well-formedness of engineering systems[J]. Engineering with Computers, 1999, 15(4):303-314. [10] 雷斌,王林章,卜磊,等.基于状态机模型的构件健壮性测试[J].软件学报,2010,21(5):930-941. (LEI B, WANG L Z, BU L, et al. Robustness testing for components based on state machine model[J]. Journal of Software, 2010, 21(5):930-941.). [11] 王文霞.有向图的同构判定算法:出入度序列法[J].山西大同大学学报(自然科学版),2014,30(2):10-13.(WANG W X. An isomorphism testing algorithm for directed graphs:the in-degree and out-degree sequence method[J]. Journal of Shanxi Datong University (Natural Science Edition), 2014, 30(2):10-13.). [12] RODGER S H, FINLEY T W. Jflap:An Interactive Formal Languages and Automata Package[M]. Sudbury:Jones & Bartlett Publishers, 2006:1-15. |