Tài liệu Research Issues in Systems Analysis and Design, Databases and Software Development phần 5

This process can be refined into many different
processes, all having the same initial and final states and subset of interactions
(stakeholders, authorities, building materials) as the abstract one. Yet,
while being all equivalent to the abstract model, these refined processes are
not equivalent to one another. As a detailed example, consider the abstract
process of Supplying Customer Order in Figure 4a, which can be refined into
the two different processes in Figure 4b and c. These two refined processes
have identical initial and final states, Open Customer Order and Delivered
Customer Order, respectively, as does the abstract process.