Formalisms to Support the Definition of Processes

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:LEADERGYF
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper emphasizes the importance of defining processes rigorously, completely, clearly, and in detail in order to support the complex projects that are essential to the modern world. The paper argues that such process definitions provide needed structure and context for the development of effective software systems. The centrality of process is argued by enumerating seven key ways in which processes and their definitions are expected to provide important benefits to society. The paper provides an example of a process formalism that makes good progress towards the difficult goal of being simultaneously rigorous, detailed, broad, and clear. Early experience suggests that these four key characteristics of this formalism do indeed seem to help it to support meeting the seven key benefits sought from process definitions. Additional research is suggested in order to gain more insights into needs in the area of process definition formalisms.
其他文献
看了2005年第3期一文,我赞同文中列举水泥中蜂箱的优缺点,但该文还有一些水泥中蜂箱的长处未介绍.
长施农业机械装备集团有限公司于2007年11月成立,是由长春市国资委与长春骏升长施农业机械装备有限公司共同出资,组建的大型农业机械装备企业.rn
29A系江苏沿海地区农业科学研究所以珍汕 97B与V2 0B杂交再与珍汕 97A回交转育而成的籼型三系野败型不育系 ,2 0 0 3年 1月通过江苏省农作物品种审定 ,是江苏育成的第一个籼
经尿道前列腺切除术(TURP)是近年来开展的腔内治疗前列腺增生症的一种新方法,具有手术时间短、出血少、并发症少、术后恢复快的特点,科学的围术期护理在提高治疗效果及病人生
12月16日,由上海市国资委和新华社上海分社主办的“对话上海国企领导”大型访谈活动中,上海纺织(集团)有限公司董事长童继生表示,上海纺织集团将整体上市列为未来的一项重要
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
白垩病是一种蜜蜂幼虫病,是由真菌孢子引发的恶性传染病,发病率高,患病后很难治愈,严重影响蜂群的繁殖和生产.近年来,白垩病在我地大有流行的趋势,不论大小蜂场或多或少暴发
台湾养蜂人才教育分为学校的基础教育及从业人员的短期训练.基础教育由大学讲授养蜂学及蜜蜂生物学等课程,每周上课2小时及蜂场实习3小时,共计为3学分.养蜂学内容为蜂群组成
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
期刊
bauma China 2016展在上海落下帷幕。根据主办方提供的数据,来自41个国家和地区的2953家国内外企业参展,中外参展商比为7:3,其中有45%左右的企业首次参展。来自149个国家和地区的
期刊