Mô hình metamodeling

uận văn sẽ đề xuất một ngôn ngữ mô hình hóa chuyên biệt miền có tên là Functional Requirement Specification Language (FRSL) để đặc tả ca sử dụng. Hướng tiếp cận này bao gồm quá trình xác định các khái niệm của miền đặc tả ca sử dụng, từ đó xây dựng cú pháp trừu tượng cho ngôn ngữ dưới dạng metamodel.

46p tamynhan0 04-07-2020 36 4   Download

Giới thiệu chung về cơ sở lý thuyết của phương pháp phát triển phần mềm hướng mô hình với hướng tiếp cận là mô hình hóa chuyên biệt miền (DSML), phân tích lợi ích của DSML, cũng như các công cụ hỗ trợ cho mô hình hóa chuyên biệt miền. Nghiên cứu về miền bảo mật, xác định metamodel, các luật ràng buộc cho miền bảo mật theo mô hình điều khiển truy cập dựa trên vai trò của người dùng (RBAC). Trình bày về cài đặt và kết quả thử nghiệm DSML cho miền bảo mật trên phần mềm...

3p banhbeovodung 20-06-2013 107 7   Download

UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng bằng các kí hiệu trực quan. Nhưng UML có nhược điểm là nó không thể hiện được hết các khía cạnh của hệ thống. Vì vậy người ta phải dùng thêm OCL để mô tả các ràng buộc cho các đối tượng của mô hình UML. USE là một hệ thống đặc tả hệ thống thông tin. Nó được sử dụng để kiểm tra tính đúng đắn của một mô hình UML bằng các ràng buộc OCL. Để làm được điều đó USE sử dụng các cấu trúc của UML metamodel và...

26p tinhbanpt 14-01-2013 134 29   Download