构件化软件动态更新与验证技术
图书信息
书名：构件化软件动态更新与验证技术作者：徐小辉
包装：平装-胶订
开本：16
全文字数：171000
出版社：天津大学出版社
出版时间：2018-06-01
图书简介
《构件化软件动态更新与验证技术》从构件化软件在运行时过程中动态更新的需求出发，探讨了构件化软件动态更新的关键技术问题及其解决方案。首先提出了动态更新的功能和非功能需求以及关键技术策略。其次，针对动态更新引入的新问题和需求，扩展了高阶π演算，以分别刻画动态模块化、事务处理和状态保持等动态更新机制，提出了updateπ演算，为动态更新安全性、一致性等提供形式化推演机理。最后构建动态更新服务框架和支持平台，通过实验分析验证了所提出的技术和方法。 本书的研究成果为构件化软件动态更新提供了一种形式化的理论基础和系统架构，对相关领域的技术工作者和研究人员都具有一定的参考和借鉴价值。
推荐理由
《构件化软件动态更新与验证技术》深入探究了构件化软件在运行时过程中动态更新的功能和非功能需求，提供了解决关键技术问题的解决方案，包括动态模块化、事务处理和状态保持等机制，并提出了一种刻画构件化软件动态更新的形式化演算（updateπ演算），最后通过实验分析验证了所提出的技术和方法。对软件开发和应用领域的技术工作者和研究学者都具有一定的参考和借鉴价值。