Một giao diện sơ cấp I là một tập các đặc tính, ở đây một đặc tính có thể hoặc là một thuộc tính x: T hoặc một phương thức op(in:U,out:V), ở đây in là các tham số giá trị và out là các tham số kết quả. Vì thế một giao diện được gọi là một cặp I:<A, M>, ở đây A biểu thị tập các thuộc tính, và M là tập các phương thức của giao diện I. Chúng ta giả sử rằng tên thuộc tính và tên phương thức là khác nhau, và ta gọi Atrr(I) và Meth(I) lần lượt là tập thuộc tính và tập phương thức của I. Với một họ các giao diện I, chúng ta sử dụng Meth(I) để biểu thị tập các phương thức của tất cả các giao diện trong I. Một giao diện sơ cấp có thể được đặc tả theo định dạng dưới đây:
Một phương thức op(in:U,out:V) M lấy in của kiểu U như là các tham số đầu vào của nó, và out của kiểu V như là các tham số đầu ra của nó. Chúng ta
giả sử rằng không có biến nào trong in hoặc out xuất hiện trong tập A.
Ví dụ: giao diện từ thành phần GIS sẽ thiết lập kết nối với khách hàng, trường hợp một khách hàng có thể nhập một yêu cầu để tìm địa điểm hiện tại của một bưu kiện qua IlocalizeParecel. Sự đặc tả của giao diện này như sau:
Interface CustomerService {
Attribute: P: Set(Pname); // tập các tên bưu kiện S: Set(Cname); // tập các tên khách hàng
owns: Cname x Pname; // ownns(s,p): khách hàng s sở hữu p loc: Pname → Position; // trả về địa điểm của p
Method: LocalizeParcel((Pname pId, Cname sId), Position location); DispatchParcel((Pname pId, Cname sId))
}