期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带数据工作流的形式化建模语言——数据感知的工作流网
被引量:
2
1
作者
王朝霞
王建民
朱笑尘
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1735-1746,共12页
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义...
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。
展开更多
关键词
业务过程管理
带数据工作流
形式化建模语言
数据感知的工作流网
下载PDF
职称材料
一个柔性的形式化过程建模语言(英文)
被引量:
3
2
作者
陈诚
沈备军
顾毓清
《软件学报》
EI
CSCD
北大核心
2002年第8期1374-1381,共8页
提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的...
提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.
展开更多
关键词
柔性
形式化
过程
建模语言
FLEX
语言
软件过程
面向对象
下载PDF
职称材料
基于POOSL的系统级建模及性能分析
被引量:
1
3
作者
方林波
黄樟钦
+1 位作者
侯义斌
张勇
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2007年第6期650-655,共6页
针对嵌入式系统设计复杂性的不断增加以及设计周期逐渐缩短的问题,提出一种系统级设计方法.在系统的软/硬件实现之前建立系统的抽象模型,对系统定性和定量属性进行评估,确定设计方案的可行性.阐述了系统级设计方法,以滑动窗口协议为例...
针对嵌入式系统设计复杂性的不断增加以及设计周期逐渐缩短的问题,提出一种系统级设计方法.在系统的软/硬件实现之前建立系统的抽象模型,对系统定性和定量属性进行评估,确定设计方案的可行性.阐述了系统级设计方法,以滑动窗口协议为例,基于系统级的设计方法建立了该协议的POOSL模型,定量分析了窗口大小、帧丢失率和超时间隔等参数对协议性能的影响.结果表明,该方法能在系统设计的早期阶段评估系统的设计方案.
展开更多
关键词
模型
嵌入式系统
模拟
面向对象的
形式化建模语言
下载PDF
职称材料
基于MDE的AADL构件组合兼容的方法
被引量:
1
4
作者
郑晓梅
胡晨骏
+1 位作者
李刚
李江伟
《计算机工程与设计》
CSCD
北大核心
2014年第5期1862-1867,共6页
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法...
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
展开更多
关键词
实时嵌入式系统
半
形式化建模语言
体系结构分析与设计
语言
模型驱动方法
接口自动机
下载PDF
职称材料
MAS应用域本体的形式化建模及变换
5
作者
陈伟芳
金智勇
+1 位作者
高济
周斌斌
《浙江树人大学学报(自然科学版)》
2013年第2期9-15,共7页
该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性检查,利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.
关键词
本体
形式化建模语言
多AGENT系统
建模平台
原文传递
题名
带数据工作流的形式化建模语言——数据感知的工作流网
被引量:
2
1
作者
王朝霞
王建民
朱笑尘
机构
清华大学软件学院
清华大学计算机科学与技术系
清华大学信息系统安全教育部重点实验室
清华信息科学与技术国家实验室(筹)
后勤工程学院后勤信息工程系
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2012年第8期1735-1746,共12页
基金
国家自然科学基金资助项目(61003099
61073005)
+1 种基金
国家973计划资助项目(2009CB320700)
国家"核高基"资助项目(2010ZX01042-002-002)~~
文摘
为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析/一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。
关键词
业务过程管理
带数据工作流
形式化建模语言
数据感知的工作流网
Keywords
business process management
workflow with data
formal modeling language
data-awareworkflow nets
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一个柔性的形式化过程建模语言(英文)
被引量:
3
2
作者
陈诚
沈备军
顾毓清
机构
中国科学院软件研究所
华东理工大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
2002年第8期1374-1381,共8页
基金
~~中国科学院软件研究所创新基金
文摘
提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.
关键词
柔性
形式化
过程
建模语言
FLEX
语言
软件过程
面向对象
Keywords
software process
process modeling
object oriented
pattern
PSEE A Flexible and Formalized Process Modeling Language CHEN Cheng1, SHEN Bei-jun1,2, GU Yu-qing1 1(Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China)
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于POOSL的系统级建模及性能分析
被引量:
1
3
作者
方林波
黄樟钦
侯义斌
张勇
机构
北京工业大学计算机学院
出处
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2007年第6期650-655,共6页
基金
国家自然科学基金(90407017)
北京市教育委员会科技发展计划重点项目(KZ200510005006).
文摘
针对嵌入式系统设计复杂性的不断增加以及设计周期逐渐缩短的问题,提出一种系统级设计方法.在系统的软/硬件实现之前建立系统的抽象模型,对系统定性和定量属性进行评估,确定设计方案的可行性.阐述了系统级设计方法,以滑动窗口协议为例,基于系统级的设计方法建立了该协议的POOSL模型,定量分析了窗口大小、帧丢失率和超时间隔等参数对协议性能的影响.结果表明,该方法能在系统设计的早期阶段评估系统的设计方案.
关键词
模型
嵌入式系统
模拟
面向对象的
形式化建模语言
Keywords
models
embedded systems
simulation
parallel object-oriented specification language (POOSL)
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于MDE的AADL构件组合兼容的方法
被引量:
1
4
作者
郑晓梅
胡晨骏
李刚
李江伟
机构
南京中医药大学信息技术学院
南京大学信息管理学院
南京大学计算机科学与技术系
出处
《计算机工程与设计》
CSCD
北大核心
2014年第5期1862-1867,共6页
基金
国家青年基金项目(61003025)
江苏省科技基金项目(BE2012184)
南京中医药大学青年自然科学基金项目(11XZR17)
文摘
实时嵌入式系统建模语言—体系结构分析与设计语言AADL是一种基于组件的半形式化建模语言,当AADL构件模型进行组合时,因为一些交互活动的序列不匹配从而导致构件组合行为不兼容,提出了一种基于模型驱动方法 MDE的AADL构件组合兼容方法。利用MDE异构模型转换框架将AADL模型转换至接口自动机IA,利用形式化方法验证IA的兼容性,使用IA Tool构建IA模型的构件兼容运行环境,将构造的环境映射到AADL组件,能够解决AADL构件组合的行为兼容性问题。
关键词
实时嵌入式系统
半
形式化建模语言
体系结构分析与设计
语言
模型驱动方法
接口自动机
Keywords
real-time and embedded system
semi-formal modeling language
AADL
MDE
IA
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
MAS应用域本体的形式化建模及变换
5
作者
陈伟芳
金智勇
高济
周斌斌
机构
浙江树人大学信息科技学院
浙江大学计算机科学与技术科技学院
出处
《浙江树人大学学报(自然科学版)》
2013年第2期9-15,共7页
基金
浙江省教育厅一般科研项目(Y201018715)
文摘
该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性检查,利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.
关键词
本体
形式化建模语言
多AGENT系统
建模平台
Keywords
ontology
DORL
MAS
modeling platform
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
TP391.1 [自动化与计算机技术—计算机应用技术]
原文传递
题名
作者
出处
发文年
被引量
操作
1
带数据工作流的形式化建模语言——数据感知的工作流网
王朝霞
王建民
朱笑尘
《计算机集成制造系统》
EI
CSCD
北大核心
2012
2
下载PDF
职称材料
2
一个柔性的形式化过程建模语言(英文)
陈诚
沈备军
顾毓清
《软件学报》
EI
CSCD
北大核心
2002
3
下载PDF
职称材料
3
基于POOSL的系统级建模及性能分析
方林波
黄樟钦
侯义斌
张勇
《北京工业大学学报》
EI
CAS
CSCD
北大核心
2007
1
下载PDF
职称材料
4
基于MDE的AADL构件组合兼容的方法
郑晓梅
胡晨骏
李刚
李江伟
《计算机工程与设计》
CSCD
北大核心
2014
1
下载PDF
职称材料
5
MAS应用域本体的形式化建模及变换
陈伟芳
金智勇
高济
周斌斌
《浙江树人大学学报(自然科学版)》
2013
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部