期刊文献+

工作流理论中系统需求模型及其形式化描述 被引量:2

System Requirement Models of Workflow and Their Formal Descriptions
下载PDF
导出
摘要 描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。 This paper puts forward a system requirement meta-model to analyze system requirement. Based on the model, the method of system requirement analysis and the formal description method for describing the result of system requirement proposed are presented.
出处 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2005年第3期230-233,共4页 Geomatics and Information Science of Wuhan University
基金 国家863计划资助项目(2002AA135340)
关键词 系统需求元模型 概念模型 层次描述法 system requirement meta-model conceptual model hierarchy describing method
  • 相关文献

参考文献4

  • 1陈翔,夏国平.基于Petri网的工作流建模技术及在仿真中的应用[J].计算机工程与应用,2003,39(22):84-86. 被引量:10
  • 2Workflow Management Coaltion. Workflow Management Coaltion:The Workflow Refence Model. TC00-1003, http://www.wfmc.org,1995.
  • 3Workflow Management Coaltion . Workflow Management Coalition Terminology and Glossay.Technical Report, WfMC-TC-1101. Brussels: Workflow Management Coaltion,1996.
  • 4OMG . Workflow Management Facility Specification ,Version 1.2. http://www.omg.org,2004.

二级参考文献6

  • 1W M P van der Aalst.The Application of Petri Nets to Workflow Management[J].The Journal of Circuits,Systems and Computers, 1998; 8(1):21-66.
  • 2W M P van der Aalst.Formalization and Verification of Event-driv- en Process Chains[R].Computing Science Reports 98/01 ,Eindhoven University of Technology,Eindhoven, 1998.
  • 3Murata T.Petri net :properties, analysis and applications[C].In : Proceedings of the IEEE, 1989 ;4(77) :541-580.
  • 4P Lawrence.Workflow Handbook 1997[M].New York:John Wiley and Sons, 1997 : 342--484.
  • 5D Georgakopoulos,M Homick,A Sheth.An Overview of Workflow Management:from Process Modeling to Workflow Automation Infrastructure[J].Distributed and Parallel Databases, 1995 ; 3 ( 2 ).
  • 6姚淑珍 杨文龙.Petri网原理与应用[M].北京:北京航空航天大学出版社,1995..

共引文献9

同被引文献10

引证文献2

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部