Page 87 - 《软件学报》2021年第6期

苏卓 等:基于分支标记的数据流模型的代码生成方法 1661

并列的 if 和 else if 合并为一个分支语句块,分支条件用或运算连接.另外,当多个分支嵌套的时候,并且这些分支
嵌套只在最内层有组件的执行代码,那么就可以在不影响其他语句执行逻辑的情况下将多层分支化为一个分
支,分支条件用与运算连接.在构建完代码生成位置表之后,可以进行很多代码级的优化,这样能够在不影响模
型语义的情况下,尽可能地缩减生成的代码的长度.

References:
[1] Christopher H, Edward AL, Liu J, Liu XJ, Steve N, Xiong YH, Zheng HY. Heterogeneous concurrent modeling and design in Java.
Vol.1. California: California Univ Berkeley Dept of Electrical Engineering and Computer Science, 2008. 1−34.
[2] Joseph TB, Soonhoi H, Edward AL. Ptolemy: A framework for simulating and prototyping heterogeneous systems. Readings in
Hardware/Software Co-Design, 2002,4(1):527−543.
[3] Jiang Y, Zhang H, Li Z, Deng YD, Song XY Gu M, Sun JG. Design and optimization of multiclocked embedded systems using
formal techniques. IEEE Trans. on Industrial Electronics, 2015,62(2):1270−1278.
[4] Edward AL, Xiong YH. A behavioral type system and its application in Ptolemy II. Formal Aspects of Computing, 2004,16(3):
210−237.
[5] Yang ZB, Pi L, Hu K, Gu ZH, Ma DF. AADL: An architecture design and analysis language for complex embedded real-time
systems. Ruan Jian Xue Bao/Journal of Software, 2010,21(5):899−915 (in Chinese with English abstract). http://www.jos.org.cn/
1000-9825/3700.htm [doi: 10.3724/SP.J.1001.2010.03700]
[6] Duane AA. A computation model with data flow sequencing [Ph.D. Thesis]. Stanford: Stanford University, 1969.
[7] Jiang Y, Zhang HH, Zhang HF, Liu H, Song XY, Gu M, Sun JG. Design of mixed synchronous/asynchronous systems with multiple
clocks. IEEE Trans. on Parallel and Distributed Systems, 2015,26(8):2220−2232.
[8] Philip B, Sanjeev K, Edward AL, Liu XJ, Zhao Y. Modeling of sensor nets in Ptolemy II. In: Proc. of the 3rd Int’l Symp. on
Information Processing in Sensor Networks. New York: Association for Computing Machinery, 2004.359−368.
[9] Christopher B, Edward AL, Stavros T. Exploring models of computation with Ptolemy II. In: Proc. of the 8th IEEE/ACM/IFIP Int’l
Conf. on Hardware/Software Codesign and System Synthesis. New York: Association for Computing Machinery, 2010. 331−332.
[10] Johan E, Jörn WJ, Edward AL, Liu J, Liu XJ, Jozsef L, Stephen N, Sonia S, Xiong YH. Taming heterogeneity-the Ptolemy
approach. Proc. of the IEEE, 2003,91(1):127−144.
[11] Jiang Y, Zhang HH, Zhang HF, Zhao XY, Liu H, Sun CN, Song XY, Gu M, Sun JG. Tsmart-Galsblock: A toolkit for modeling,
validation, and synthesis of multi-clocked embedded systems. In: Proc. of the 22nd ACM SIGSOFT Int’l Symp. on Foundations of
Software Engineering. New York: Association for Computing Machinery, 2014. 711−714.
[12] Paul LG, Jean-Pierre T, Jean-Christophe LL. Polychrony for system design. Journal of Circuits, Systems, and Computers,
2003,12(3):261−303.
[13] Jiang Y, Liu H, Song HB, Kong H, Wang R, Guan Y, Lui S. Safety-Assured model-driven design of the multifunction vehicle bus
controller. IEEE Trans. on Intelligent Transportation Systems, 2017,19(10):3320−3333.
[14] Jiang Y, Song HB, Yang YX, Liu H, Gu M, Guan Y, Sun JG, Lui S. Dependable model-driven development of CPS: From
stateflow simulation to verified implementation. ACM Trans. on Cyber-Physical Systems, 2019,3(1):Article 12.
[15] Alejandro C, Juan BP, Mercedes R. MEdit4CEP-Gam: A model-driven approach for user-friendly gamification design,
monitoringand code generation in CEP-based systems. Information and Software Technology, 2018,95:238−264.
[16] Gabriel S, Jose AG, Ricardo T. Code generation using model driven architecture: A systematic mapping study. Journal of Computer
Languages, 2020,56:100935.
[17] Du Y, Guo DH, Chen X, Ren L, Dai GZ. Model-driven visualization generation system. Ruan Jian Xue Bao/Journal of Software,
2016,27(5):1199−1211 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/4959.html [doi: 10.13328/j.cnki.jos.
004959]
[18] Zhou G, Man-Kit L, Edward AL. A code generation frame-work for actor-oriented models with partial evaluation. In: Proc. of the
Int’l Conf. on Embedded Software and Systems, Vol.29. Springer-Verlag, 2007. 193−206.