教育部“新世纪优秀人才支持计划”(NCET-07-0419) 作品数:4 被引量:6 H指数:2 相关作者: 马晓星 吕建 邢阳 谢德平 曹春 更多>> 相关机构: 南京大学 江苏中烟工业有限责任公司 更多>> 发文基金: 教育部“新世纪优秀人才支持计划” 国家自然科学基金 国家高技术研究发展计划 更多>> 相关领域: 自动化与计算机技术 建筑科学 更多>>
一种图文法制导的软件体系结构开发环境Artemis-GADE 被引量:2 2010年 图形化、集成化的软件体系结构开发环境对于推动软件体系结构相关技术的研究和应用具有重要的意义.提出了一种基于图文法的可视化编辑环境生成机制.对于给定的软件体系结构风格的图文法描述,可以自动生成相应的图文法制导的体系结构编辑工具.与常见的基于Meta-Model的开发环境相比,这种图文法制导的开发方式更多地利用了相应软件体系结构风格的内在语义,从而提高了环境的易用性和可靠性.设计并实现了一个原型系统Artemis-GADE(graph grammar-directed architecture development environment),初步验证了上述途径的可行性. 邢阳 谢德平 马晓星 曹春 吕建关键词:软件体系结构 语法制导 开发环境 一种动态服务组合技术及其支撑系统 被引量:2 2008年 Web服务组合现已成为软件研究和实践热点之一。目前虽已出现多种Web服务组合模型和描述语言,但是面对开放分布多变的Internet网络环境,这些模型和语言在应对变化的动态性支持方面仍显不足,尤其是缺乏从协作全局对动态性的支持。在分析既有服务组合方式及其特点的基础上给出了一个解决方案,它通过一种动态协同模型综合了服务编排和服务编制的优点,在保持与主流技术和平台的兼容性的同时增强了对组合服务动态性的支持。还实现了相应的支撑系统,并在其上实现了一个应用示例。 虞建杰 马晓星 吕建关键词:动态性 协作性 WS-CDL BPEL 一个面向应用过程监控系统的测试工具 2009年 为降低信息系统应用过程中的各种风险,开发并部署相应的自动监控和过程审计系统成为一种重要甚至必要的措施。不同于传统应用,此类系统以业务系统和操作人员的动态行为过程为目标,其系统测试与确认测试依赖于人工现场操作,施行不便,代价较高。为得到一套较为方便通用的过程监控系统自动测试支持框架,分析了信息系统动态行为过程监控系统的一般特点,建立了一个基于有限状态自动机的监控行为模型,基于此模型设计并实现了一个自动测试脚本语言。进而使用该模型和语言,在Windows平台上开发了一套分布式的自动监控测试系统,并以一个真实的桌面应用监控系统产品为对象进行了简单的实验,取得了较好的效果。由此可以认为,该方法能够有效降低监控系统测试的成本,提高测试效率。 李叶青 马晓星 吕建关键词:自动化测试 状态机 一种基于动态语境组装的分布式构件框架的设计与实现 被引量:2 2009年 提出一种新的分布式构件框架ACF,在传统的以共享协同信息为主的语境机制基础上,引入了共享协同对象的动态语境机制,直接支持基于运行时软件体系结构的协同逻辑的表达和动态演化.该构件框架已在集成开发环境ArtemisStudio中得到初步实现和应用. 谢德平 邢阳 马晓星 曹春 吕建关键词:分布式构件