2.5 DEPLOYMENT MODELSThe deployment

2.5 DEPLOYMENT MODELS
The deployment model of a component infrastructure determines the process and activities of preparing a component for execution, including installation and any necessary configuration. For instance, EJB (enterprise Java Beans) produces a separate XMLbased deployment descriptor to help deploy an EJB component. Web Services use UDDI (Universal Description, Discovery and Integration) as a key building block enabling enterprises to quickly and dynamically discover and invoke Web Services both internally and externally. Java-based component infrastructures deliver components as JAR files, while .NET components are called assemblies. The deployment model is one of the fundamental differences among different component infrastructures.
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
UNIFYING COMPONENT TECHNOLOGIES 27
the enclosed item. Parentheses with a superscript plus sign (...)+ denote one or several occurrences of the enclosed item. Brackets [...] denote an optional item.
Blanks The following characters are considered as blanks: space, new-line, and horizontal tabulation. Blanks separate adjacent identifiers, literals, and keywords that would be otherwise confused as a single identifier, literal, or keyword. Apart from that, they are ignored.
Comments Comments are Java-like comments. They start with two forward slashes “//” for a single-line comment. For a multiple line comment, it starts with /* and ends with */. Comments are treated as blanks.
Identifiers Identifiers are a sequence of letters, digits, and (the underscore character) starting with a letter. A letter can be any of the 52 lowercase and uppercase letters from the ASCII set. Currently, we place no limit on the number of characters of an identifier. ident ::= letter (letter | digit | )* letter ::= A...Z| a...z digit ::= 0...9 Integer Literals An integer literal is a sequence of one or more digits. By default, integer literals are in decimal (radix 10). Integer-literal ::= (0..9)+| 0×(0..9|A..F|a ..f)+| 0o(0..7)+
The following prefixes select a different radix:
Prefix Radix
0x Hexadecimal (radix 16)
0o Octal (radix 8)
Boolean Literals The boolean type has two possible values, represented by the literals true and false. A boolean literal is always of type boolean. boolean-literal ::= true | false

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

2,5 MÔ HÌNH TRIỂN KHAIMô hình triển khai cơ sở hạ tầng thành phần xác định quá trình và các hoạt động chuẩn bị một thành phần để thực hiện, bao gồm cài đặt và bất kỳ configuration cần thiết. Ví dụ, Programming (enterprise Java đậu) tạo ra một mô tả triển khai XMLbased riêng biệt để giúp triển khai một thành phần EJB. Dịch vụ web sử dụng UDDI (mô tả phổ quát, phát hiện và tích hợp) như là một khối xây dựng quan trọng, tạo điều kiện cho các doanh nghiệp để nhanh chóng và tự động phát hiện và gọi Dịch vụ Web nội bộ và bên ngoài. Cơ sở hạ tầng thành phần dựa trên Java cung cấp các thành phần như JAR dòng, trong khi .NET thành phần được gọi là hội đồng. Mô hình triển khai là một trong những khác biệt cơ bản giữa các cơ sở hạ tầng thành phần khác nhau.2.6 THỐNG NHẤT THÀNH PHẦN CÔNG NGHỆTrong phần này, chúng tôi sẽ define một ngôn ngữ chính thức sinh CSL (thành phần sinh 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ôi tin 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. Ž A definition 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 scientific. Mô hình chính thức ž hỗ trợ chính thức specifications và verifications 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ập trong 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ủaTHỐNG NHẤT CÔNG NGHỆ PHẦN 27mụ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 nhiều mục lặp lại 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.Khoảng trống ký tự sau đây được coi là khoảng trống: không gian, dòng mới, và ngang tabulation. Mẫu văn bản riêng liền kề identifiers, literals, và từ khóa nào nếu không nhầm lẫn như là một identifier duy nhất, chữ, hoặc từ khóa. Bên cạnh đó, họ được bỏ qua.Ý kiến ý kiến có ý kiến giống như Java. Họ bắt đầu với hai chuyển tiếp slashes "/ /" cho một bình luận đơn dòng. Cho một bình luận nhiều dòng, nó bắt đầu với / * và kết thúc với * /. Ý kiến được coi là khoảng trống.Identifiers Identifiers là một chuỗi các chữ cái, chữ số, và (ký tự gạch dưới) bắt đầu với một lá thư. Một lá thư có thể là bất kỳ các ký tự chữ hoa và chữ thường 52 từ bộ ASCII. Hiện nay, chúng tôi đặt không có giới hạn về số lượng các ký tự của một identifier. ident:: = letter (bức thư | chữ số |) * thư:: = A... Z | a...z chữ số:: = 0... 9 nguyên Literals nguyên chữ là một chuỗi các chữ số một hoặc nhiều hơn. Theo mặc định, số nguyên literals là số thập phân (sinh 10). Nguyên chữ:: = (0..9) + | 0 × (0..9 | A.. F | một... f) + | 0o(0..7) +Sau đây prefixes chọn sinh khác nhau:Prefix sinh0 x hệ thập lục phân (sinh 16)0o Octal (sau 8)Boolean Literals các kiểu boolean có hai giá trị có thể được đại diện bởi literals đúng và sai. Luôn luôn là một chữ boolean của kiểu boolean. chữ boolean:: = true | sai

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

2,5 TRIỂN KHAI MÔ HÌNH
Mô hình triển khai một cơ sở hạ tầng thành phần xác định các quá trình và các hoạt động chuẩn bị một phần để thực hiện, bao gồm cài đặt và bất kỳ cần thiết con fi guration. Ví dụ, EJB (doanh nghiệp Java Beans) tạo ra một mô tả triển khai XMLbased riêng biệt để giúp triển khai một thành phần EJB. Dịch vụ Web sử dụng UDDI (Universal Description, Discovery và tích hợp) như là một khối xây dựng chính cho phép các doanh nghiệp một cách nhanh chóng và tự động phát hiện và gọi dịch vụ web cả trong lẫn ngoài. Cơ sở hạ tầng thành phần dựa trên Java cung cấp các thành phần như JAR fi les, trong khi các thành phần .NET được gọi là hội đồng. Các mô hình triển khai là một trong những khác biệt cơ bản giữa các cơ sở hạ tầng thành phần khác nhau.
2.6 Thống nhất COMPONENT TECHNOLOGIES
Trong phần này, chúng tôi sẽ de fi ne một ngôn ngữ fi cation cụ thể CSL chính thức (phần Speci fi cation 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. § Đó là kích thích trí tuệ và đầy thử thách. § Một chính xác de fi định nghĩ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 fi khoa học. mô hình chính § hỗ trợ các cation cụ thể fi chính thức và các cation fi veri chính thức. mô hình chính § 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
việc thống nhất COMPONENT TECHNOLOGIES 27
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.
Blanks Các nhân vật sau đây được coi là khoảng trống: không gian, hàng mới, và lập bảng ngang. Blanks tách ers liền kề identi fi, literals, và từ khóa đó sẽ khác bối rối như một đơn identi fi er, đen, hoặc từ khoá. Bên cạnh đó, chúng được bỏ qua.
Ý kiến Ý kiến là ý kiến của Java như thế nào. Họ bắt đầu với hai dấu gạch chéo "//" cho một chú thích đơn dòng. Đối với một dòng bình luận nhiều, nó bắt đầu bằng / * và kết thúc bằng * /. Ý kiến được coi là khoảng trống.
Ers fi Identi ers fi Identi là một chuỗi các chữ cái, chữ số, và (các ký tự gạch dưới) bắt đầu bằng chữ cái. Một lá thư có thể là bất kỳ trong số 52 chữ thường và chữ hoa từ các bộ mã ASCII. Hiện nay, chúng ta đặt không giới hạn về số lượng ký tự của một er fi identi. ident :: = lá thư (thư | chữ số |) * Thư :: = A ... Z | một ... chữ số z :: = 0 ... 9 Integer Literals Một số nguyên chữ là một chuỗi gồm một hoặc nhiều chữ số. Theo mặc định, các chữ số nguyên là trong thập phân (cơ số 10). Integer-đen :: = (0..9) + | 0 × (0..9 | A..F | a ..f) + | 0o (0..7) +
Các XES fi trước sau chọn một cơ số khác nhau:
fi Pre x Radix
0x thập lục phân (cơ số 16)
0o Octal (cơ số 8)
Boolean Literals Kiểu boolean có hai giá trị có thể được đại diện bởi các chữ đúng và sai. A đen boolean luôn có kiểu boolean. boolean-đen :: = true | sai