Đặc điểm kỹ thuật và ngôn ngữ mô tả ( SDL ) là ngôn ngữ đặc tả nhắm vào đặc tả và mô tả rõ ràng về hành vi của các hệ thống phản ứng và phân tán.

Tổng quan [ chỉnh sửa ]

ITU-T đã xác định SDL trong Khuyến nghị Z.100 đến Z.106. SDL ban đầu tập trung vào các hệ thống viễn thông; Kể từ năm 2016 ^[update] các lĩnh vực ứng dụng hiện tại của nó bao gồm kiểm soát quá trình và các ứng dụng thời gian thực nói chung. Do tính chất của nó, nó có thể được sử dụng để đại diện cho các hệ thống mô phỏng ^[1] mà không có sự mơ hồ và với một ký hiệu đồ họa.

Đặc tả và Ngôn ngữ mô tả cung cấp cả đồ họa Đại diện đồ họa (SDL / GR) cũng như văn bản Đại diện cụm từ (SDL / PR), cả hai đều là đại diện tương đương của cùng một ngữ nghĩa cơ bản. Các mô hình thường được hiển thị ở dạng SDL / GR đồ họa và SDL / PR chủ yếu được sử dụng để trao đổi mô hình giữa các công cụ. Một hệ thống được chỉ định là một tập hợp các máy trừu tượng được kết nối với nhau, là phần mở rộng của các máy trạng thái hữu hạn (FSM).

Ngôn ngữ đã chính thức hoàn thành, ^[2] vì vậy nó có thể được sử dụng để tạo mã cho mục tiêu mô phỏng hoặc mục tiêu cuối cùng.

Đặc tả và Ngôn ngữ mô tả bao gồm năm khía cạnh chính: cấu trúc, giao tiếp, hành vi, dữ liệu và kế thừa. Hành vi của các thành phần được giải thích bằng cách phân vùng hệ thống thành một chuỗi các cấu trúc phân cấp. Giao tiếp giữa các thành phần diễn ra thông qua các cổng được kết nối bởi các kênh. Các kênh thuộc loại kênh bị trì hoãn, do đó, giao tiếp thường không đồng bộ, nhưng khi độ trễ được đặt thành 0 (nghĩa là không có độ trễ), giao tiếp sẽ trở nên đồng bộ.

Phiên bản đầu tiên của ngôn ngữ được phát hành năm 1976 sử dụng cú pháp đồ họa (SDL-76). Điều này đã được sửa đổi vào năm 1980 với một số ngữ nghĩa thô sơ (SDL-80). Các ngữ nghĩa đã được tinh chỉnh vào năm 1984 (SDL-84), hình thức văn bản được giới thiệu để xử lý máy và dữ liệu đã được giới thiệu. Năm 1988, SDL-88 được phát hành với cơ sở chính thức cho ngôn ngữ: ngữ pháp trừu tượng cũng như ngữ pháp cụ thể và định nghĩa chính thức đầy đủ. Phiên bản phát hành năm 1992 (SDL-92) đã giới thiệu các khái niệm hướng đối tượng như thừa kế, các kiểu chung trừu tượng, v.v., với các tính năng hướng đối tượng được mô tả bằng cách chuyển đổi thành các đối tượng không hướng đối tượng. SDL-2010 là phiên bản mới nhất, phiên bản cập nhật của SDL-2000 hoàn toàn dựa trên hướng đối tượng, thay vì mô tả bằng các phép biến đổi. Phiên bản này đi kèm với Hồ sơ UML: Khuyến nghị ITU-T Z.109 (04/12), SDL-2010 kết hợp với UML. SDL-2010 cũng giới thiệu sự hỗ trợ của các loại dữ liệu C như được giới thiệu ban đầu bởi SDL-RT.

Tổ chức [ chỉnh sửa ]

Cấp độ phân cấp [ chỉnh sửa ]

Cấp độ phân cấp của SDL được cấu trúc như sau.

• Gói thư viện
• Tác nhân hệ thống
• Tác nhân khối
• Tác nhân xử lý
• Loại thủ tục
• Thủ tục từ xa

Architecture [ chỉnh sửa Hệ thống SDL được tạo thành từ các khối chức năng và mỗi khối có thể được phân tách thêm trong các khối phụ. Khối cấp thấp nhất bao gồm một hoặc một số quy trình được mô tả là máy trạng thái hữu hạn.

Truyền thông [ chỉnh sửa ]

Các khối được kết nối thông qua các kênh mang thông điệp (hoặc tín hiệu) trao đổi giữa các khối. Một tác nhân khối bao gồm các tác nhân quá trình.

Hành vi [ chỉnh sửa ]

Mỗi tác nhân xử lý là một máy trạng thái đóng góp cho hành động được thực hiện bởi hệ thống. Một kích thích thông điệp đến từ môi trường hoặc từ một tác nhân khác đến một tác nhân được gọi là tín hiệu. Tín hiệu nhận được bởi một tác nhân quá trình được đặt đầu tiên trong hàng đợi (cổng đầu vào). Khi máy trạng thái đang chờ ở trạng thái, nếu tín hiệu đầu tiên trong cổng đầu vào được bật cho trạng thái đó, nó sẽ bắt đầu chuyển đổi dẫn đến trạng thái khác. Quá trình chuyển đổi có thể xuất tín hiệu đến các tác nhân khác hoặc ra môi trường. Một tác nhân quy trình được phép chứa các loại thủ tục để các hành động tương tự có thể được gọi từ các nơi khác nhau. Nó cũng được phép gọi một loại thủ tục từ xa để gọi một thủ tục trong một tác nhân khác (hoặc thậm chí một hệ thống khác) và chờ phản hồi.

Dữ liệu [ chỉnh sửa ]

Các loại dữ liệu trừu tượng SDL (ADT) hỗ trợ các loại dữ liệu cơ bản như INTEGER, REAL, CHARSTRING cũng như các cấu trúc như cấu trúc (STRVEL) (LITITHS), hằng số (TỔNG HỢP). Cú pháp trông giống như từ Pascal, ví dụ một bài tập được viết ': ='. [659090] . PragmaDev Studio hỗ trợ cả SDL và SDL-RT, được sử dụng để phát triển phần mềm nhúng và thời gian thực. Ngoài ra còn có một số dự án nguồn mở liên quan đến mô hình SDL như JADE là môi trường đặc tả dựa trên Java và OpenGEODE, triển khai Python / Qt của trình soạn thảo SDL từ Cơ quan Vũ trụ Châu Âu.

Các biến thể [ chỉnh sửa ]

• SDL-RT dựa trên Đặc tả và Ngôn ngữ mô tả của ITU thay thế ngôn ngữ dữ liệu bằng C. ^[3] Phiên bản mới nhất của chuẩn SDL (SDL'2010 ) hiện bao gồm sự hỗ trợ của các loại dữ liệu C và cú pháp làm cho nguyên tắc cơ bản SDL-RT trở thành một phần của tiêu chuẩn chính thức.
• TNSDL là một biến thể được Nokia phát triển để sử dụng nội bộ.

Các công nghệ liên quan [ chỉnh sửa ]

• Biểu đồ trình tự tin nhắn của MSC. Một ký hiệu khác liên quan đến ITU-T để mô tả hành vi động của một hệ thống.
• ASN.1 Tóm tắt Cú pháp ký hiệu Một. Một tiêu chuẩn ISO để mô tả các loại dữ liệu có thể được sử dụng trong SDL.
• Thông báo kiểm tra và kiểm tra TTCN-3 phiên bản 3. Một ngôn ngữ kiểm tra được ITU-T chuẩn hóa và được viết bởi ETSI.
• Ngôn ngữ mô hình hóa thống nhất Mô hình hóa chung ký hiệu. Một hồ sơ đã được chuẩn hóa dựa trên SDL.

Xem thêm [ chỉnh sửa ]

Tài liệu tham khảo [ chỉnh sửa ]

] Bài viết này dựa trên tài liệu được lấy từ Từ điển điện toán trực tuyến miễn phí trước ngày 1 tháng 11 năm 2008 và được kết hợp theo các điều khoản "tái phát hành" của GFDL, phiên bản 1.3 trở lên.

Liên kết ngoài [ chỉnh sửa ]