一个柔性的形式化过程建模语言

来源 :软件学报 | 被引量 : 0次 | 上传用户:json03
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.
其他文献
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
1.材料与方法 1.1供试肥料⑴连云港恒奥达有机肥⑵连云港富寿康有机肥⑶江苏永禄肥料有机肥⑷南通市瑞华有机肥⑸南京禾宝有机肥⑹江苏中房建设有机肥⑺南京三美有机肥⑻南通
对外翻译的主要功能是向目的语世界的读者传递本国文化信息。作为一种主动的文化输出方式,对外翻译是减少文化赤字、塑造本国文化形象的重要途径。辜鸿铭是我国近代对外翻译活
学位
海德格尔说,诗,就是人类带着浓浓乡愁寻找精神家园的漫长旅程。昌耀,这位“新诗运动史上的大诗人”、“诗人中的诗人”,在命运的涤荡中感受到了摧肝裂胆般的生命大摧折,但同时也在
香港苏富比“无界:当代艺术”拍卖会上,赵无极创作于1954年的《竹林》以580万港元的成交价问鼎本场拍卖最高。作为二十世纪最伟大的抽象大师之一,赵无极融合了中国古典山水精
在当今的高中音乐课堂教学中,仍然存在着教师“满堂灌”的现象。教师在费力讲解着大量的音乐知识与技能,而学生们却昏昏欲睡。但流行音乐却悄然进入课堂,并被学生们深深地喜
本文以萧红留存的书稿为镜,透视她一生的命运脉络,并将她曲折人尘作为探寻其文学世界的尘发点,来探讨萧红内在的精神历程及她对这种历程的诗意表达。萧红始终忠实于自己的人尘体
宁愿摧毁自己的作品,也不愿看到它被遗弃。——丹尼尔·布伦《双平台》(Les Deux P1ateaux)是丹尼尔·布伦(Danlel Buren)最负盛名的作品之一,这一作品之所以出名,也许和它一
凯尔泰斯·伊姆雷是2002年诺贝尔文学奖获奖作家,他的长篇小说《无命运的人生》、《惨败》和《给未出生的孩子做安息祷告》是其最具代表性的作品,被称为“无命运三部曲”。三
梭罗曾经说:“苹果树的历史与人类的历史两者关系之密切是引人注意的。”这启发了我将勒克莱齐奥的作品和与其不同领域的《植物的欲望》一书放在一起阅读,读后我发现与前者作
学位