Phương pháp luận lập trình được biểu diễn bởi mô hình lập trình. Một mô hình lập trình thể hiện một quan điểm/một cách tiếp cận trong lập trình. Mỗi mô hình hỗ trợ một tập các khái niệm, các kỹ thuật và các nguyên tắc thiết kế. Các mô hình lập trình khác nhau có những mức độ diễn đạt khác nhau, các kỹ thuật lập trình khác nhau và các cách lập luận khác nhau về chúng.
Mọi mô hình lập trình đểu có vị thế của nó, được thiết kế và sử dụng trong hoàn cảnh riêng. Một nguyên tắc quan trọng ta cần nhận biết đó là: Cần kết hợp giữa các mô hình để giải quyết triệt để một hệ thống ứng dụng phức tạp.
Một kiểu lập trình tốt yêu cầu sử dụng các khái niệm lập trình được kết hợp trong các mô hình khác nhaụ Các ngôn ngữ lập trình chỉ cài đặt một mô hình tạo khó khăn cho việc tạo ra một chương trình tốt.
Ví dụ- Các ngôn ngữ hướng đối tượng: Khuyến khích sử dụng quá nhiều khái niệm về trạng thái và kế thừa => tạo sự rắc rối trong chương trình
- Các ngôn ngữ lập trình hàm: Khuyến khích sử dụng quá nhiều về lập trình thứ bậc cao hơn. Nó xâu mọi hàm trong chương trình thành một biểu thức. Điều này làm cho chương trình rắc rối, không đạt tính mô đun hóạ
- Các ngôn ngữ lập trình logic: Khuyến khích sử dụng nhiều cú pháp mệnh đề Horn và tìm kiếm. Các ngôn ngữ này định nghĩa chương trình như một tập các mệnh đề Horn (lắp ráp các mệnh đề logic theo kiểu if .. then). Điều này dẫn đến nhiều giải thuật trở nên rắc rối khi được viết theo kiểu này, tìm kiếm lưu vết luôn được sử dụng thậm chí một cách tự nhiên, hầu như không cần nó.
Hệ thống Mozart – OZ: là một phần mềm hỗ trợ cài đặt hiệu quả một số mô hình lập trình (Logic, Hàm, Hướng đối tượng, có cấu trúc, ràng buộc, phân tán, ....). Hệ thống này đã được phát triển trong một thời gian dài, bắt đầu từ năm 1991, nó được phát hành với đầy đủ mã nguồn mở. Các phát hành:
- Phiên bản đầu được phát hành năm 1995; - Phiên bản hỗ trợ phân tán phát hành năm 1999 - Phiên bản Morart 1.3.0 phát hành năm 2003 - Hiện nay đã phát hành phiên bản 1.4.0 33
Bạn đọc có thể vào Website http://www.mozart-oz.org để biết thêm các thông tin chi tiết. Mozart – System là một môi trường phát triển tăng dần và cung cấp đầy đủ các công cụ trợ giúp phát triển ứng dụng. Mozart – OZ được cài đặt bằng ngôn ngữ OZ.
Các mô hình lập trình được liệt kê trong bảng sau: Phương thức lập trình
Mệnh lệnh
1 Lập trình hướng thiết bị - Gear Oriented Programming 2 Lập trình hướng công tắc- Switch Oriented Programming 3 Lập trình hướng thủ tục – Procedural/structured Programming 4 Lập trình hướng đối tượng – Object Oriented Programming 5 Lập trình hướng lát cắt – Aspect Oriented Programming
6 Lập trình hướng cấu phần – Component Oriented Programming 7 Lập trình hướng dịch vụ - Service Oriented Programming 8 Điện toán đám mây – Clound Computing
Khai báo
1 Lập trình logic – Logic Programming 2 Lập trình hàm – Functional Programming 3 Lập trình CSDL – Database Programming + Với phương thức lập trình mệnh lệnh:
- Người lập trình phải tìm cách diễn đạt được thuật toán, Chỉ ra cách thức làm thế nào để giải quyết bài toán đã chọ
- Ưu điểm: Hiệu quả trong lập trình, vì người lập trình có thể tác động trực tiếp vào phần cứng
- Hạn chế: Chương trình không có khả năng suy đoán, không có trí tuệ. + Với phương thức lập trình khai báo:
- Người lập trình xây dựng cơ sở tri thức, các yêu cầu tính toán, truy vấn dựa trên các khai báo để giải quyết bài toán
- Ưu điểm: Chương trình có khả năng suy diễn
- Hạn chế: Khó cài đặt và vận hành hơn so với chương trình mệnh lệnh.