基于JAVA EE和面向服务架构技术的系统设计与实现

随着各行业数字化建设的推进,如何构建高可用、可靠、扩展性好的数字化系统和平台成为业界研究的热点。通过介绍面向服务架构（Service-Oriented Architecture,SOA）和J2EE的Web技术,结合二者的优点,引入业务流行的前后台、服务总线、工作流等框架技术,分析设计一个基于SOA模型和J2EE的项目管理系统,给出对应的设计框架,最终实现面向服务。以服务为中心的系统的实现技术和方法,可为其他以服务为中心的系统实现提供方法指导和借鉴。     

一种基于B方法的需求描述转化为AADL模型的研究

目前,航空、航天等领域对系统的可靠性有着极高的要求,业界也在研究和探讨通过构建系统的体系结构模型保证后续验证、开发等阶段的一致性,从而提升系统的可靠性。首先需要确保构建的系统模型满足系统的原始需求,只有这样,才能保证后续基于模型的开发、验证等输出的系统产品与原始需求保持一致性。文章提出了一种以形式化B方法对系统需求进行形式化描述,通过构建B方法与AADL模型的转换规则,从而输出系统的AADL模型,从而支持基于AADL模型直接生成对应测试用例对系统开展验证、开发等工作。