|
|
|
|
Save Edit |
Cancel | More actions | |
Tất cả các change Operations của ADEPT
- Insertion of Tasks
- Deletion of TasksFast forwarding
- Jumping to inactive part
- Serializing tasks and vice versa
- Dynamic Iteration??? & Dynamic Roll-back
- Yêu cầu sự thay đổi:
+ Syntactically correct schema
+ Legal State
Insertion of Tasks
- Biến đổi (syntactically correct schema, legal state) => (syntactically correct schema, legal state). Việc đảm bảo này nhờ ràng buộc chỉ thêm được task ở một số trạng thái nhất định (constraints on state, data....)
Constraint:
+ Không được insert một task là predecessor của một nút đã thực thi rồi.
+ Kiểm tra data flow.
Changing Task Sequences at Run-time
Change Management
Temporal Change or Permanent change (related to loop).
|
Document Saved Successfully
|
|
|
|
|
|
|
