• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Computer Applications in Industry and Engineering >Using Formal Methods in Modelling of Processes
【24h】

Using Formal Methods in Modelling of Processes

机译：在流程建模中使用形式化方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We proposed here a technique, which can be employed within the methodology known as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World Bank. One model used in process reengineering is the process model diagram. It allows finding the tasks, to be completed in each area of the organisation. To understand the domain is crucial to be able to specify each one of these tasks. We show here how to use modelling of processes to find the tasks and to formalise then- description using RAISE formal method. In this way, using a model of process as input, an engineer employs a systematic technique to create ―as a starting point- the main functions (tasks) of the domain using the RAISE formal method.
机译：我们在这里提出了一种技术，该技术可以在称为流程再造的方法中采用。该技术已在政府环境中应用，其中包括在世界银行的财政支持下开发的信息系统和地理信息系统。流程再造中使用的一种模型是流程模型图。它允许查找任务，并在组织的每个领域中完成。了解领域对于能够指定这些任务中的每一项至关重要。我们在这里展示了如何使用流程建模来查找任务并使用RAISE形式化方法对随后的描述进行形式化。通过这种方式，工程师使用过程模型作为输入，采用系统的技术以RAISE形式方法“作为起点”创建域的主要功能（任务）。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号