Focus then converges on characteriz

Focus then converges on characterizing the constructs incorporated into the language for specifying and programming software processes. Accordingly, discussion then turns to examine the appropriateness of language constructs for expressing rules for backward and forward-chaining, behavior, object type structures, process dynamism, constraints, goals, policies, modes of user interaction, plans, off-line activities, resource commitments, etc. across various levels of granularity (Garg and Scacchi 1989, Kaiser 1988, Mi and Scacchi 1992, Williams 1988, Yu and Mylopoulus 1994),. This in turn implies that conventional mechanisms such as operating system shell scripts (e.g., Makefiles on Unix) do not support the kinds of software process automation these constructs portend.

Kết quả (Việt) 2:

Tập trung sau đó hội tụ vào việc mô tả các cấu trúc tích hợp vào ngôn ngữ để xác định và quy trình phần mềm lập trình. Theo đó, cuộc thảo luận sau đó quay sang kiểm tra sự phù hợp của cấu trúc ngôn ngữ để diễn tả các quy tắc cho tiến lùi xâu chuỗi, hành vi, cơ cấu các loại đối tượng, quá trình năng động, hạn chế, mục tiêu, chính sách, chế độ tương tác người dùng, kế hoạch, hoạt động off-line, tài nguyên cam kết, vv các cấp khác nhau của granularity (Garg và Scacchi 1989, Kaiser 1988, Mi và Scacchi 1992, Williams năm 1988, Yu và Mylopoulus 1994) ,. Điều này sẽ có nghĩa là các cơ chế thông thường chẳng hạn như hệ thống điều hành các kịch bản shell (ví dụ, Makefiles trên Unix) không hỗ trợ các loại trình phần mềm tự động hóa các cấu trúc báo trước.