国家自然科学基金(60473056)
- 作品数：3 被引量：19H指数：2
- 相关作者：张乃孝孙猛杨红丽裘宗燕珺小明更多>>
- 相关机构：北京大学联合国大学华东师范大学更多>>
- 发文基金：国家自然科学基金上海市科学技术委员会基础研究重点项目国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- UML状态机视图的RSL形式描述(英文)被引量：8
- 2005年
- 使用RAISE规范语言RSL给出了UML状态机视图的形式描述。通过这一形式化提出了一种对图形化的UML状态机视图模型的形式化和RSL规范进行集成的框架,这一工作是对UML类图在RSL中形式化的继续,使得人们可以对UML的非形式化模型给出一种精确、无二义性的语义解释,同时也提高了RSL规范的抽象层次,增强了其可读性、简明性。最后通过一个应用实例,说明这一框架如何用于从UML模型创建对应的形式化规范,并对模型的性质进行了分析。
- 孙猛张乃孝Bernhard K Aichernig
- 关键词：UML状态机RAISE形式化
- 基于UML的软件结构规范与精化被引量：10
- 2007年
- 提出利用UML表示软件体系结构不同的视,表明了UML可以用于建模软件结构。UML的图形语义用通信顺序进程CSP的符号表示,进一步,基于CSP的语义可以链接不同的软件结构模型。还讨论了软件结构规范的精化问题,该精化过程可以保留系统需要的属性。
- 孙猛杨红丽张乃孝裘宗燕
- 关键词：软件结构精化CSPUML
- Garden：一种面向领域语言的集成开发环境被引量：1
- 2008年
- 随着计算机技术的发展,通用语言已经不能满足各种领域应用程序开发的需要.由于领域语言提供领域专用术语和符号的概念,支持该领域中的各种处理,能够简洁、有效地构造该领域应用程序,因此,领域语言成为当前计算机语言研究中的热点.文中在面向模型的变换型软件开发方法和语言的抽象与封装机制研究的基础上,设计与实现了一种面向语言的领域语言的集成开发环境Garden,它包括软件开发环境和程序开发环境.软件开发环境以GarAda解释器为核心,用于支持领域语言开发的各过程;程序开发环境以领域语言编译器为核心,用于支持领域用户程序开发的各过程.Garden的研制成功,为领域语言的自动生成探索了一条切实可行的途径.
- 张乃孝珺小明孙猛
- 关键词：GARMENTGARDEN领域语言自动生成
