Table of Contents
Fetching ...

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory

Amirreza Hosseini, Amro M. Farid

TL;DR

This work addresses the fragmentation between the Resource-Constrained Project Scheduling Problem ($RCPSP$) and Model-Based Systems Engineering ($MBSE$) plus Hetero-functional Graph Theory ($HFGT$) in megaproject contexts. It introduces a constructive translation pipeline from an Activity-on-Node ($AoN$) network to a SysML activity diagram ($ACT$) and an operand net, and shows that the Hetero-functional Network Minimum Cost Flow ($HFNMCF$) can be specialized to RCPSP, proving that $RCPSP$ is a formal special case of the broader $HFNMCF$ framework. The authors demonstrate, via renewable and non-renewable operand instances, that the operand-net formulation yields explicit project-state descriptions (input/output firing vectors, markings) that enhance monitoring, control, and integration with earned value/schedule analyses, while preserving RCPSP strengths. This reconciliation enables a principled pathway from enterprise architecture to executable schedules for complex megaprojects, offering a unified, state-based view that can adapt to real-world constraints beyond classical RCPSP. The approach also suggests that the broader $HFNMCF$ model can capture multi-resource, multi-method, and exogenous constraints essential for modern enterprise-scale delivery. Key mathematical constructs include the $AoN$-to-$ACT$ transformation, the operand net state transition function $Q_{Sl}[k+1]= ext{(ODE-like incidence)}$, and the RCPSP specialization equations $Z_{RCPSP}= \sum_{k=1}^{K-1} [k\cdot e_n]^T U^-_{l}[k]$ with capacity and precedence constraints, illustrating equivalence with $RCPSP$ solutions while exposing richer state information for monitoring and control.

Abstract

Within the project management context, project scheduling serves as an indispensable component, functioning as a fundamental tool for planning, monitoring, controlling, and managing projects more broadly. Although the resource-constrained project scheduling problem (RCPSP) lies at the core of project management activities, it remains largely disconnected from the broader literature on model-based systems engineering (MBSE), thereby limiting its integration into the design and management of complex systems. The original contribution of this paper is twofold. First, the paper seeks to reconcile the RCPSP with the broader literature and vocabulary of model-based systems engineering and hetero-functional graph theory (HFGT). A concrete translation pipeline from an activity-on-node network to a SysML activity diagram, and then to an operand net is constructed. Using this representation, it specializes the hetero-functional network minimum-cost flow (HFNMCF) formulation to the RCPSP context as a systematic means of HFGT for quantitative analysis and proves that the RCPSP is recoverable as a special case of a broader model. Secondly, on an illustrative instance with renewable and non-renewable operands, the specialized HFNMCF, while producing similar schedules, yields explicit explanations of the project states that enable richer monitoring and control. Overall, the framework preserves the strengths of the classical RCPSP while accommodating real-world constraints and enterprise-level decision processes encountered in large, complex megaprojects.

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory

TL;DR

This work addresses the fragmentation between the Resource-Constrained Project Scheduling Problem () and Model-Based Systems Engineering () plus Hetero-functional Graph Theory () in megaproject contexts. It introduces a constructive translation pipeline from an Activity-on-Node () network to a SysML activity diagram () and an operand net, and shows that the Hetero-functional Network Minimum Cost Flow () can be specialized to RCPSP, proving that is a formal special case of the broader framework. The authors demonstrate, via renewable and non-renewable operand instances, that the operand-net formulation yields explicit project-state descriptions (input/output firing vectors, markings) that enhance monitoring, control, and integration with earned value/schedule analyses, while preserving RCPSP strengths. This reconciliation enables a principled pathway from enterprise architecture to executable schedules for complex megaprojects, offering a unified, state-based view that can adapt to real-world constraints beyond classical RCPSP. The approach also suggests that the broader model can capture multi-resource, multi-method, and exogenous constraints essential for modern enterprise-scale delivery. Key mathematical constructs include the -to- transformation, the operand net state transition function , and the RCPSP specialization equations with capacity and precedence constraints, illustrating equivalence with solutions while exposing richer state information for monitoring and control.

Abstract

Within the project management context, project scheduling serves as an indispensable component, functioning as a fundamental tool for planning, monitoring, controlling, and managing projects more broadly. Although the resource-constrained project scheduling problem (RCPSP) lies at the core of project management activities, it remains largely disconnected from the broader literature on model-based systems engineering (MBSE), thereby limiting its integration into the design and management of complex systems. The original contribution of this paper is twofold. First, the paper seeks to reconcile the RCPSP with the broader literature and vocabulary of model-based systems engineering and hetero-functional graph theory (HFGT). A concrete translation pipeline from an activity-on-node network to a SysML activity diagram, and then to an operand net is constructed. Using this representation, it specializes the hetero-functional network minimum-cost flow (HFNMCF) formulation to the RCPSP context as a systematic means of HFGT for quantitative analysis and proves that the RCPSP is recoverable as a special case of a broader model. Secondly, on an illustrative instance with renewable and non-renewable operands, the specialized HFNMCF, while producing similar schedules, yields explicit explanations of the project states that enable richer monitoring and control. Overall, the framework preserves the strengths of the classical RCPSP while accommodating real-world constraints and enterprise-level decision processes encountered in large, complex megaprojects.
Paper Structure (20 sections, 1 theorem, 19 equations, 4 figures, 2 tables, 2 algorithms)

This paper contains 20 sections, 1 theorem, 19 equations, 4 figures, 2 tables, 2 algorithms.

Key Result

Theorem 1

The RCPSP specialization of the HFNMCF problem in Eqs. Eq:ObjFunc_HFNMCF_RCPSP--Eq:Capacity_HFNMCF_RCPSP is a generalization of the RCPSP in Eqs. Eq:RCPSP_Objective--Eq:RCPSP_constraint4.

Figures (4)

  • Figure 1: An Example AoN Project Network for the $\emptyset,m,1|cpm|C_{max}$ variant of the RCPSP problem. demeulemeester:2002:00
  • Figure 2: A SysML Block Definition Diagram of the System Form of the Engineering System Meta-ArchitectureSchoonenberg:2019:ISC-BK04.
  • Figure 3: A SysML Activity Diagram corresponding to the AoN project network shown in Fig. \ref{['fig:SampleProjectNetwork']}.
  • Figure 4: Project Operand Net

Theorems & Definitions (14)

  • Definition 1: System Operand SE-Handbook-Working-Group:2015:00
  • Definition 2: System ProcessHoyle:1998:00SE-Handbook-Working-Group:2015:00
  • Definition 3: System Resource SE-Handbook-Working-Group:2015:00
  • Remark
  • Definition 4: BufferSchoonenberg:2019:ISC-BK04Farid:2022:ISC-J49
  • Definition 5: CapabilitySchoonenberg:2019:ISC-BK04Farid:2022:ISC-J49Farid:2016:ISC-BC06
  • Definition 6: The Negative 3$^{rd}$ Order Hetero-functional Incidence Tensor (HFIT) $\widetilde{\cal M}_\rho^-$Farid:2022:ISC-J49
  • Definition 7: The Positive 3$^{rd}$ Order Hetero-functional Incidence Tensor (HFIT)$\widetilde{\cal M}_\rho^+$Farid:2022:ISC-J49
  • Definition 8: Engineering System NetSchoonenberg:2022:ISC-J48
  • Definition 9: Engineering System Net State Transition FunctionSchoonenberg:2022:ISC-J48
  • ...and 4 more