information systems; requirements model; business process model; model transformation; class diagram; communication analysis; oo-method;
机译:通过状态图和CSP对可暂停的业务流程进行建模和模型检查
机译:使用安全模式从安全业务流程中获取UML类图
机译:使用Swimlane图验证业务流程模型
机译:从面向通信的业务流程模型系统推导类图
机译:一种使用事件驱动的流程链和业务流程模型表示法对信息技术管理流程进行系统集成的算法
机译:组织银行信息系统设计中的业务流程流程图以及最佳实践的识别和交流:制药行业的经验
机译:从业务流程模型中获取用例图