论文部分内容阅读
在给出用例及其相关概念的形式化定义的基础上，构建了从用例到Petri网模型的映射算法；提出了一种基于用例和Petri网的业务过程建模方法．它先以用例来捕获需求，再用Petri网来图形化用例，以此来实现它们各自优势的互补．并且通过引入工作流建模中任务（task）这一概念来统一了用例描述的语法形式。