[Paper Review] Process Description, Behavior, and Control

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

Advanced Control Systems Optimization14 references3 citations

TL;DR

This paper proposes a diagrammatic language for modeling computer services in government IT departments, integrating static process descriptions, event-driven behavior specification, and control mechanisms. The method enables complete, understandable, and formally specifiable process models, demonstrated through a real-world case study of service flows in a government ministry's IT department.

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.

Motivation & Objective

• To address the challenge of modeling complex, dynamic processes in computer engineering with clear static and dynamic specifications.
• To develop a unified modeling approach that integrates process description, behavioral events, and control mechanisms.
• To ensure model completeness, understandability, and applicability to real-world systems such as government IT services.
• To provide a formal yet intuitive framework for engineers and system designers to model and control service-oriented processes.

Proposed method

• Proposes a diagrammatic modeling language that captures static structure and dynamic behavior of processes.
• Uses events as the core mechanism to frame and define process behaviors.
• Integrates control logic into the model to enable runtime process management and monitoring.
• Applies the model to a real-world case study involving service flows in a government ministry’s IT department.
• Employs visual notation with 12 figures to represent process components, events, and control flows.
• Ensures completeness by aligning static specifications with dynamic behavior and control policies.

Experimental results

Research questions

• RQ1 How can a unified modeling language capture both static and dynamic aspects of computer service processes?
• RQ2 What role do events play in defining and controlling process behavior in a service-oriented environment?
• RQ3 Can a diagrammatic model support both understandability and formal control in real-world IT service processes?
• RQ4 How can process models be made complete and reusable across different organizational contexts?

Key findings

• The proposed diagrammatic language successfully integrates static process descriptions, event-based behavior, and control logic into a single coherent model.
• The model demonstrated completeness and understandability in a real-world government IT service scenario.
• The use of events as behavioral triggers enabled precise specification of process transitions and control points.
• The method supports traceability from design to implementation, enhancing maintainability and verification.
• The case study confirmed the model’s viability for modeling complex service flows in large-scale organizational systems.
• The approach provides a foundation for formal verification and automated control of service processes.