rCOS: a formal model-driven engineering method for component-based software

查看全文 作　　者：Wei [1,5]KE;Xiaoshan [2]LI;Zhiming [3]LIU;Volker [3,4]STOLZ

机构地区：[1]School of Computer Science and Engineering, Beihang University, Beijing 100191, China;[2]Faculty of Science and Technology, University of Macao, Macao, China;[3]UNU-IIST, Macao, China;[4]Department of Informatics, University of Oslo, Oslo 0316, Norway;[5]Macao Polytechnic Institute, Macao, China

出　　处：《Frontiers of Computer Science》索引2012年第6卷第1期,共23页

摘　　要：模型驱动的建筑学(MDA ) 为软件集中的系统设计成为了一种主要的流技术。在它后面的主要工程原则是软件开发的固有的复杂性能仅仅由造被掌握,分析并且操作系统模型。MDA 也由提供基于部件的设计技术处理系统复杂性,允许基于部件的部件设计,实现和推广,然后系统集成和重构连接的独立人士。在任何阶段的一个系统的模型是不同观点的模型的集成。因此,一个模型驱动的方法有效地被使用,它必须为模型建设,确认,和转变提供技术和工具的一间综合套房的身体。这为不同担心的说明和系统的观点要求很多个当模特儿的符号。这些符号应该正式定义句法和语义的一个统一理论。方法的内在的理论被需要支撑,以及正式在关键应用程序关于系统的性质验证并且推理工具的开发和在软件开发的工具的正确使用。当模特儿的符号,技术,和工具必须被设计以便他们能在在软件设计过程支持发展活动和人工制品的文档无缝地被使用。这篇文章介绍如此的一个方法,叫了 rCOS,在软件开发进程在不同阶段集中于一个系统的模型,他们的语义集成,并且他们怎么被构造,分析,转变,验证,并且验证。 关键词：软件开发工具模型驱动架构组件接口工程操纵系统设计建模软件开发过程应用系统

相关文献

参考文献（51）
引证文献（4）
耦合文献（0）

参考文献(51)

引证文献(4)

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

rCOS: a formal model-driven engineering method for component-based software

参考文献(51)

引证文献(4)

用户提示