2.6 UNIFYING COMPONENT TECHNOLOGIES

2.6 UNIFYING COMPONENT TECHNOLOGIES
In this section, we will define a formal specification language CSL (Component Specification
Language) as a foundation for unifying different component technologies. We
believe that a formal language for components is in need for several reasons:
ž It serves to clarify confusions and misinterpretations.
ž It is intellectually stimulating and challenging.
ž A precise definition is a necessary condition for research and development in any
scientific discipline.
ž Formal models support formal specifications and formal verifications.
ž Formal models support automatic tool development.
The syntax of the CSL is given in BNF-like notation. Terminal symbols are set
in a typewriter font (like this). Non-terminals are set in an italic font (like this).
The vertical bar | denotes an alternative in a rule. Parentheses (...) denote grouping.
Parentheses with a trailing star sign (...)* denote zero, one, or several occurrences of
the enclosed item. Parentheses with a superscript plus sign (...)
+ denote one or several
occurrences of the enclosed item. Brackets [...] denote an optional item.

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

2.6 THỐNG NHẤT THÀNH PHẦN CÔNG NGHỆTrong phần này, chúng tôi sẽ xác định một ngôn ngữ đặc tả hình thức CSL (thành phần đặc điểm kỹ thuậtNgôn ngữ) như là một nền tảng để thống nhất các công nghệ khác nhau thành phần. Chúng tôitin rằng một ngôn ngữ chính thức cho các thành phần cần cho một vài lý do:Ž nó phục vụ để làm rõ các nhầm lẫn và sai.Ž nó trí tuệ kích thích và thách thức.Định nghĩa chính xác ž A là một điều kiện cần thiết cho nghiên cứu và phát triển trong bất kỳkỷ luật khoa học.Mô hình chính thức ž hỗ trợ thông số kỹ thuật chính thức, minh chính thức.Mô hình chính thức ž hỗ trợ phát triển các công cụ tự động.Cú pháp của CSL được đưa ra trong ký hiệu BNF-giống như. Thiết bị đầu cuối các biểu tượng được thiết lậptrong một phông chữ máy đánh chữ (như thế này). Thiết bị đầu cuối phòng không được thiết lập trong một phông chữ nghiêng (như thế này).Thanh dọc | biểu thị một sự thay thế trong một quy tắc. Dấu ngoặc đơn (...) biểu thị nhóm.Dấu ngoặc đơn với một dấu sao (...) * biểu thị zero, một hoặc nhiều mục lặp lại củamục đính kèm. Dấu ngoặc đơn với một dấu cộng superscript (...)+ biểu thị một hoặc một sốlần xuất hiện của mặt hàng đó kèm theo. Dấu ngoặc vuông [...] biểu thị một mục tùy chọn.

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

2.6 Thống nhất COMPONENT TECHNOLOGIES
Trong phần này, chúng tôi sẽ xác định một CSL ngôn ngữ đặc tả hình thức (phần Specification
Language) là một nền tảng cho việc thống nhất các công nghệ thành phần khác nhau. Chúng tôi
tin rằng một ngôn ngữ chính thức cho các thành phần đang có nhu cầu vì nhiều lý do:
§ Nó phục vụ để làm rõ những nhầm lẫn, hiểu nhầm.
Z Đó là kích thích trí tuệ và đầy thử thách.
Z Một định nghĩa chính xác là một điều kiện cần thiết cho nghiên cứu và phát triển trong bất kỳ
kỷ luật khoa học.
§ mô hình chính thức hỗ trợ kỹ thuật chính thức và xác minh chính thức.
mô hình chính thức § hỗ trợ phát triển công cụ tự động.
cú pháp của CSL được đưa ra trong ký hiệu BNF-như. Kí hiệu được đặt
trong một phông chữ đánh máy (như thế này). Non-thiết bị đầu cuối được đặt trong một phông chữ in nghiêng (như thế này).
Các thanh dọc | biểu thị một sự thay thế trong một quy tắc. Dấu ngoặc đơn (...) biểu thị nhóm.
Ngoặc với một dấu sao dấu (...) * biểu thị không, một, hoặc một vài lần xuất hiện của
các mục kèm theo. Ngoặc với một số trên cộng với dấu (...)
+ biểu thị một hoặc nhiều
lần xuất hiện của các mục kèm theo. Chân đế [...] biểu thị một mục tùy chọn.