吉春山
- 作品数：4 被引量：0H指数：0
- 供职机构：昆明理工大学信息工程与自动化学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于接口自动机的web服务行为过滤研究
- 一种新的软件形态—面向服务的计算(Service-Oriented Computing,SOC)正在蓬勃兴起,旨在解决互联网上各种应用之间的互操作问题。因为基于不同中间件开发的不同应用,加上通信机制各不相同,服务之间难以...
- 吉春山
- 关键词：接口自动机业务流程执行语言
- 文献传递
- Web服务语言BPEL到接口自动机的转换
- 2008年
- 在目前对于服务组合的研究中,对于用业务流程执行语言(BPEL)和WSCL等标准语言来描述的服务来说,语言本身缺乏对组合正确性进行检验的支持,必须借助相关的形式化工具来完成对服务组合的检验.为了解决BPEL对检验支持的不足,基于接口自动机这一形式化工具,对BPEL中主要语言元素到接口自动机进行转换,转换的目的是为了下一步应用基于接口自动机的行为获取方法来对服务的组合进行验证,最后通过一个实例证明了转换方法的有效性.
- 吉春山刘晓燕吕苏环
- 关键词：业务流程执行语言接口自动机
- 多校区网上限时选课系统的UML建模
- 2006年
- 简要介绍了如何运用UML建模技术来设计选课系统,给出了系统的结构和主要功能,并举例就其中的主要模块详细介绍了UML建模,成功实现的网上限时选课系统验证了该模型的正确性。
- 吉春山刘晓燕杨军霞刘智伟朱其慎
- 关键词：统一建模语言网上选课
- 基于IFML的移动用户界面建模及到Flutter平台模型转换研究
- 2021年
- 为了在提高软件开发效率的同时确保前端有绚丽的用户界面(UI),采用模型驱动的工程方法,用交互流建模语言(IFML)对移动用户界面平台无关模型(PIM)建模;通过设计模型转换的映射规则,实现对Flutter的平台相关模型(PSM)建模。在实例验证中,通过映射规则实现交互动画从PIM到PSM的转换,以及使用PSM到代码转换过程中用到的模板,然后用Acceleo转换工具自动生成目标代码,最后通过交互动画的登录页面进行验证,结果表明该方法节省了开发时间,同时能提供较为绚丽的用户界面。
- 刘瑞刘晓燕吉春山
- 关键词：模型驱动架构映射规则FLUTTER
