留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
邮箱
手机号码
标题
留言内容
验证码

工作流理论中系统需求模型及其形式化描述

纪晓东 边馥苓

纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ● 信息科学版, 2005, 30(3): 230-233.
引用本文: 纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ● 信息科学版, 2005, 30(3): 230-233.
JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.
Citation: JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.

工作流理论中系统需求模型及其形式化描述

基金项目: 国家863计划资助项目(2002AA135340)
详细信息
    作者简介:

    纪晓东,硕士生。研究方向:GIS和软件工程方向。

  • 中图分类号: P208

System Requirement Models of Workflow and Their Formal Descriptions

Funds: 国家863计划资助项目(2002AA135340)
计量
  • 文章访问数:  435
  • HTML全文浏览量:  17
  • PDF下载量:  319
  • 被引次数: 0
出版历程
  • 收稿日期:  2004-12-05
  • 修回日期:  2004-12-05
  • 刊出日期:  2005-03-05

工作流理论中系统需求模型及其形式化描述

    基金项目:  国家863计划资助项目(2002AA135340)
    作者简介:

    纪晓东,硕士生。研究方向:GIS和软件工程方向。

  • 中图分类号: P208

摘要: 描述了系统需求元模型的概念体系,提出了系统需求元模型的内容,描述了系统需求定义与分析的流程,最后采用了一种层次描述法与Petri网描述法相结合的形式化描述方法对系统需求的结果进行描述。

English Abstract

纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ● 信息科学版, 2005, 30(3): 230-233.
引用本文: 纪晓东, 边馥苓. 工作流理论中系统需求模型及其形式化描述[J]. 武汉大学学报 ● 信息科学版, 2005, 30(3): 230-233.
JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.
Citation: JI Xiaodong, BIAN Fuling. System Requirement Models of Workflow and Their Formal Descriptions[J]. Geomatics and Information Science of Wuhan University, 2005, 30(3): 230-233.

目录

    /

    返回文章
    返回