Modern software systems must respond flexibly to changing requirements and operational environments. However, procedural systems are often constrained by fixed execution flows and tightly coupled functions, leading to difficulties in maintenance and s...
Modern software systems must respond flexibly to changing requirements and operational environments. However, procedural systems are often constrained by fixed execution flows and tightly coupled functions, leading to difficulties in maintenance and scalability. To overcome these limitations, we propose a framework based on the Discrete Event System Specification formalism. This framework modularizes system functions into independent Task models and assembles them using three predefined template types depending on execution conditions. The approach supports dynamic control flow construction, reduces functional dependencies, and enhances reusability. To validate its effectiveness, the framework was applied to a programming assignment grading system. By composing Task models according to specific assignment requirements, the system achieved flexible and reusable grading workflows.