您的位置： 专家智库 > >

唐燕飞

作品数：2 被引量：5H指数：1
供职机构：西南大学计算机与信息科学学院更多>>
发文基金：重庆市自然科学基金重庆市信息产业发展基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇形式化
  • 2篇PETRI网
  • 1篇业务过程建模
  • 1篇用例建模
  • 1篇图形化
  • 1篇建模方法
  • 1篇工作流

机构

  • 2篇西南大学

作者

  • 2篇唐燕飞
  • 1篇张为群

传媒

  • 1篇西南师范大学...

年份

  • 2篇2006
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
一种基于用例和Petri网的业务过程建模方法被引量：4
2006年
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到Petri网模型的映射算法;提出了一种基于用例和Petri网的业务过程建模方法.它先以用例来捕获需求,再用Petri网来图形化用例,以此来实现它们各自优势的互补.并且通过引入工作流建模中任务(task)这一概念来统一了用例描述的语法形式.
唐燕飞张为群
关键词：工作流PETRI网形式化业务过程建模
基于Petri网的用例建模研究
需求分析在整个软件生命周期中是极其重要和基础的。随着软件系统规模的扩大,它直接关系到软件系统的成功与否。用例作为一种功能强大的需求建模工具,是记录系统需求的主要载体。伴随着用例概念的提出,用例驱动模型的软件开发方法也随之...
唐燕飞
关键词：PETRI网形式化图形化
文献传递
全选 清除 导出
共1页<1>
聚类工具0