排序方式: 共有33条查询结果,搜索用时 15 毫秒
1.
DSL方法是改进软件开发(重用性,可维护性等)的有效途径.使用MTrans-DSL形式化描述模型驱动构架(MDA)中模型的转换规则,实现平台无关模型到特定平台模型的转换.以JavaServer Faces作为目标平台,通过具体的应用实例验证了该方法的可行性和易用性.DSL方法体现了模型驱动开发的特点,提升了转换规则的抽象层次. 相似文献
2.
目前多数基于MDA的Web应用开发工具将平台相关模型(PSM)定义为具体的目标运行框架,这使得基于某种平台的业务逻辑设计与目标运行框架产生过于紧密的耦合,降低了软件演化过程中设计模型的可重用性。为解决这些问题,将Web应用的运行框架描述添加到开发模型中,并且引入抽象平台相关模型和具体平台相关模型的概念,提出了一种支持多目标框架代码生成的扩展MDA开发模型。以J2EE作为目标平台,以JavaServer Faces作为目标运行框架进行实验研究表明,该方法提升了模型描述的灵活性和可重用性,能够对模型驱动的软件开发提供有力的支持。 相似文献
3.
针对中小家居销售企业营销管理中集中信息服务的问题,结合基于软件即服务模式(Saa S)的家居营销服务平台,研究整体架构服务层次的中小家居企业信息服务的Saa S架构体系。针对业务处理过程中信息公布集中和业务处理分离的特点,提出基于Portal的服务发布和基于模型驱动思想的多租户服务处理方法。在信息发布模块,系统采用了可配置内容引擎的个性化展现方法,有效地处理了信息展现的差异性需求。同时,在多租户业务模型方面,采用了多租户数据设计模型和统一的数据处理接口,有效地解决了多租户数据共享和分离的问题。 相似文献
4.
侯金奎 《吉林大学学报(工学版)》2010,40(1):238-0244
基于软件体系结构模型的形式化描述,从结构语义、公理语义和行为语义等几个方面分析了模型转换中特性保持问题的描述,并建立了相应的判定标准,同时探讨了证明一个转换是否满足某些特性保持约束的方法。这些方法支持以定理证明的方式,对模型转换的语义特性保持进行验证,克服了模型检测的不足。该研究可用于指导模型转换规则的定义和模型映射关系的正确性的验证。 相似文献
5.
6.
针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。 相似文献
7.
为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构。 相似文献
8.
为解决模型驱动体系结构(MDA)中PSM模型描述存在的问题,以软件体系结构为基础,综合当前J2EE平台下广泛使用的多种应用框架,提取其共同特征并加以抽象分析,建立了一种包括领域构件模型、行为构件模型和界面展示构件模型3部分的J2EE平台模型描述方法。用该方法描述的模型不仅具有J2EE平台的特性信息,还便于向多种目标框架下的代码进行转换。以此为基础,引入抽象平台有关模型和具体平台有关模型的概念,进一步扩展了MDA开发框架。介绍了相应代码生成器的框架设计和实现过程。 相似文献
9.
10.
为解决模型驱动开发过程中高层模型描述和模型转换方面存在的问题,以软件体系结构为基础,通过对UML进行扩展,提出了一种平台无关的Web应用建模方法,包括体系结构模型、逻辑视图、静态视图和界面展示视图四部分。然后基于源模型语义特征在目标语义域中的重新构造,依据转换两端建模元素的语法结构和语义表达特性定义模型间的映射规则,实现模型转换和目标代码生成。以J2EE作为目标平台进行实验验证,表明此方法保持了高层模型的平台无关特性,能够对模型驱动的软件开发提供有力的支持。 相似文献