2 基于模型的控制流分析 基于模型的控制流分析(MBCFA)是从软件系统的设计模型（例如 UML）生成控制流信息。目前MBCFA 的主要应用领域有：软件测试、 数据流分析、基于模型的预实现验证...
基于12个网页-相关网页
本文分析了基于项目流的分解与控制问题，借助U ML对在动态权限限定下的流程进行模型化描述。
This paper analyzed the problem of disturbing and controlling based on project flow by description of flow changing modelling through dynamic right confined by UML.
本文将角色的概念加入进来，讨论了基于角色的工作流状态的动态访问控制，并对其模型进行了形式化描述和分析。
This paper proposes the role concept, discusses the dynamic access control of role-based workflow status, and describes and analyses the formal model.
应用推荐