CAJ | 학술논문

随着电子商务和金融软件应用日益广泛，提高这类软件系统的可靠性和安全性就显得特别重要。虽然能够提高这类软件可靠性的事务处理技术早在数据库管理系统中普遍使用，近几年在 Java 软件开发环境中也新增了事务处理接口JTA ，但是在基于模型驱动架构设计的建模语言中嵌入事务处理机制的成功案例尚不多见。论文在已有体现模型驱动软件架构思想的 PAR 方法和 PAR 平台中，融入抽象事务处理机制，并使用融入了事务处理机制的 PAR 平台及其建模语言开发了具有事务处理功能的金融软件模型，通过 PAR 平台的模型自动转换工具生成了 Java 和 SQL 程序。实验证明融入了事务处理机制的 PAR 方法和 PAR 平台具有建模简单、实用，软件开发效率高，便于形式化推导和证明等特点。
수착전자상무화금융연건응용일익엄범，제고저류연건계통적가고성화안전성취현득특별중요。수연능구제고저류연건가고성적사무처리기술조재수거고관리계통중보편사용，근궤년재 Java 연건개발배경중야신증료사무처리접구JTA ，단시재기우모형구동가구설계적건모어언중감입사무처리궤제적성공안례상불다견。논문재이유체현모형구동연건가구사상적 PAR 방법화 PAR 평태중，융입추상사무처리궤제，병사용융입료사무처리궤제적 PAR 평태급기건모어언개발료구유사무처리공능적금융연건모형，통과 PAR 평태적모형자동전환공구생성료 Java 화 SQL 정서。실험증명융입료사무처리궤제적 PAR 방법화 PAR 평태구유건모간단、실용，연건개발효솔고，편우형식화추도화증명등특점。
With the growing popularity of e‐commerce and financial software ,the reliability and security of which em‐bodies great significance of improvement .Although transaction processing technology liable to improve the reliability of this software has been in prevalent utilization early in the database management system ,in recent years ,transaction processing interface JTA has been created in Java software development environment likewise ,scarcely are the cases embedded in trans‐action processing mechanism successful that underlie modeling language of model driven architecture design .In this paper , the PAR(Partition‐and‐Recursion) method and PAR platform ,representing model driven architecture ,where the abstract transaction processing mechanism is integrated .The transaction processing mechanism blending in the PAR platform ,via which the financial software model that possesses the function of transaction processing and is developed Java and SQL rou‐tines are generated through model automatic conversion tool of PAR platform .The experiments indicate that PAR method and PAR platform blended by transaction processing mechanism is characterized by the modeling simplicity and practicality , software development efficiency ,capability of being apt to the formalized implication and proof ,etc .