基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对模型驱动开发中功能代码自动生成方面存在的问题,提出了一种形式化建模方法,用以实现模型驱动架构中功能代码的自动生成。通过进程代数描述的原子操作及其组合逻辑,使得功能行为的设计可以参数化和实例化,从而完成从高层模型描述到功能代码的自动转换。实验表明,本方法提升了软件模型描述的层次和灵活性,能够对模型驱动的软件开发提供有力的支持。
推荐文章
应用ETDFA生成CBTC联锁软件形式化模型的方法
CBTC
联锁软件
ETDFA
形式化方法
基于ASM的元模型形式化语义的研究
模型驱动工程
元模型
简单Petri网
抽象状态机
INAP协议一致性测试生成的形式化方法
INAP
UIO序列
一致性测试
形式化方法
基于ICD的接口通讯程序代码自动生成技术
接口控制文档
接口通讯程序
代码自动生成
模型驱动
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于形式化的功能代码自动生成
来源期刊 潍坊学院学报 学科 工学
关键词 模型驱动开发 功能代码 进程代数 代码自动生成
年,卷(期) 2012,(2) 所属期刊栏目
研究方向 页码范围 1-5,12
页数 6页 分类号 TP311
字数 3256字 语种 中文
DOI 10.3969/j.issn.1671-4288.2012.02.001
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 徐英娟 5 19 2.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (15)
共引文献  (35)
参考文献  (3)
节点文献
引证文献  (2)
同被引文献  (10)
二级引证文献  (2)
1984(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
2001(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(5)
  • 参考文献(1)
  • 二级参考文献(4)
2003(1)
  • 参考文献(0)
  • 二级参考文献(1)
2005(4)
  • 参考文献(0)
  • 二级参考文献(4)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
模型驱动开发
功能代码
进程代数
代码自动生成
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
潍坊学院学报
双月刊
1671-4288
37-1375/Z
大16开
山东省潍坊市东风东街5147号
2001
chi
出版文献量(篇)
4898
总下载数(次)
8
论文1v1指导