Cooperative Information Systems Research Centre Queensland University of Technology GPO Box 2434, Brisbane QLD 4001, Australia;
机译:从UML类图生成自然语言规范
机译:基于UML活动图和Petri网的工作流的定性和定量分析
机译:通过UML 2.0活动图概要文件来保护业务流程模型规范
机译:一个UML活动将转换为在支持规范和工作流程应用程序模型的验证的事件B中转换:从UML活动图到事件B.
机译:将UML活动图转换为业务流程执行语言
机译:病例报告:将电子处方工具集成到临床工作流程中的活动图
机译:UML活动图作为工作流规范语言