[论文解读] Process Description, Behavior, and Control

Sabah Al‐Fedaghi, Haya Alahmad|arXiv (Cornell University)|Jul 26, 2017

Advanced Control Systems Optimization参考文献 14被引用 3

一句话总结

本文提出一种用于政府IT部门建模计算机服务的图示化语言，整合了静态流程描述、事件驱动的行为规范以及控制机制。该方法能够生成完整、可理解且可形式化描述的流程模型，并通过某政府部委IT部门服务流程的真实案例研究得到验证。

ABSTRACT

Modeling processes are the activities of capturing and representing processes and control of their dynamic behavior. Desired features of the model include capture of relevant aspects of a real phenomenon, understandability, and completeness of static and dynamic specifications. This paper proposes a diagrammatic language for engineering process modeling that provides an integration tool for capturing the static description of processes, framing their behaviors in terms of events, and utilizing the resultant model for controlling processes. Without loss of generality, the focus of the paper is on process modeling in the area of computer engineering, and specifically, on modeling of computer services. To demonstrate the viability of the method, the proposed model is applied to depicting flow of services in the Information Technology department of a government ministry.

研究动机与目标

• 为解决在计算机工程中对复杂、动态流程进行建模时，静态与动态规范不清晰的挑战。
• 开发一种统一的建模方法，整合流程描述、行为事件与控制机制。
• 确保模型的完整性、可理解性，并适用于真实系统，如政府IT服务。
• 为工程师与系统设计者提供一种形式化但直观的框架，用于建模与控制面向服务的流程。

提出的方法

• 提出一种图示化建模语言，用于捕捉流程的静态结构与动态行为。
• 以事件为核心机制，用于界定和描述流程行为。
• 将控制逻辑集成到模型中，以支持运行时的流程管理与监控。
• 将该模型应用于涉及某政府部委IT部门服务流程的真实世界案例研究。
• 采用视觉符号表示法，通过12幅图表示流程组件、事件与控制流。
• 通过将静态规范与动态行为及控制策略对齐，确保模型的完整性。

实验结果

研究问题

• RQ1 统一的建模语言如何同时捕捉计算机服务流程的静态与动态特征？
• RQ2 在面向服务的环境中，事件在定义与控制流程行为方面发挥何种作用？
• RQ3 图示化模型能否同时支持真实IT服务流程中的可理解性与形式化控制？
• RQ4 如何使流程模型在不同组织环境中具备完整性和可重用性？

主要发现

• 所提出的图示化语言成功地将静态流程描述、基于事件的行为以及控制逻辑整合为一个统一且连贯的模型。
• 该模型在真实世界的政府IT服务场景中表现出完整性与可理解性。
• 以事件作为行为触发机制，实现了对流程转换与控制点的精确描述。
• 该方法支持从设计到实现的可追溯性，提升了可维护性与验证能力。
• 案例研究证实了该模型在大规模组织系统中建模复杂服务流程的可行性。
• 该方法为服务流程的形式化验证与自动化控制奠定了基础。