1.1 MotivationObject orientation —

1.1 Motivation
Object orientation — see the bibliography for references — is a modular design methodology based on the notion that a system is composed of a collection of interacting objects. The behaviour of an object is determined by its class: a mechanism for encapsulating an object’s state with the set of operations it may undergo. Each class generally defines more than one object in a system and may also be reused in the definition of other classes. The latter is achieved by a method of incremental modification of classes known as inheritance. The classes which inherit a given class are known as its subclasses and, through inheritance, are often in some way compatible with it. Hence it can be useful that an object belong, rather than to a particular class, to a given class or any one of its subclasses. This notion is referred to as polymorphism. Object orientation emerged as a major programmingparadigm due to the need to handle complexity in large-scale software systems. It helped fulfill this need through a combination of sound modular design and software reusability. In the same way, object orientation can solve some of the scalability problems of formal methods. Also, by providing a common methodology, object orientation can help bridge the gap between the specification and implementation of software systems.
Modularity Most of the benefits of object orientation stem from the modularity it brings to system design. Modularity increases the clarity of specifications by allowing a reader to focus on one part at a time. In a Z specification, for example, to deduce in which ways a particular state variable may change, the reader must search the entire specification for any reference to the state schema of that variable in an operation schema. In large specifications, this becomes impracticable without appropriate tools or some informal organization of the schemas within the specification. A fundamentalidea of object orientation,however,is that the state of an object may be changed only by the operations of its class. Hence by adopting the notion of class in Z, the relationship between state and operation schemas can be made explicit. In general, the reader of an object-oriented specification can concentrate on one class at a time in isolation from the rest of the specification and then, when he or she is familiar with each class, examine how objects of those classes are arranged to form the specified system. The reuse of classes via inheritance also improves readability by allowing the reader to use his or her knowledge of existing classes (possibly from a class library) to understand a given class. Inheritance also aids the writer of the specification who can specify classes by drawing on similarities with existing classes and, by so doing, avoid repeatedly specifying common class structures. The modularity provided by classes, as well as helping in the specification stage of a formal development, can also help in subsequent stages of verification and refinement. Once again, this is achieved by allowing the system developer to focus on one part of the specification at a time.

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

1.1 động lựcĐối tượng định hướng — xem thư mục tài liệu tham khảo-một phương pháp thiết kế dựa trên khái niệm rằng một hệ thống gồm có một bộ sưu tập của các đối tượng tương tác. Hành vi của đối tượng được xác định bởi lớp học của mình: một cơ chế để đóng gói một đối tượng nhà nước với các thiết lập của hoạt động đó có thể trải qua. Mỗi lớp nói chung defines nhiều hơn một đối tượng trong một hệ thống và cũng có thể được tái sử dụng trong definition các lớp khác. Thứ hai là đạt được bằng một phương pháp modification gia tăng của các lớp học được gọi là di sản thừa kế. Các lớp kế thừa một lớp nhất định được gọi là lớp con của nó, và thông qua kế thừa, thường trong một số cách tương thích với nó. Do đó nó có thể hữu ích là một đối tượng thuộc về, chứ không để một lớp học đặc biệt, với một lớp nhất định hoặc bất kỳ một phân lớp của nó. Khái niệm này được gọi là đa hình. Định hướng đối tượng nổi lên như là một programmingparadigm lớn do sự cần thiết để xử lý sự phức tạp trong hệ thống phần mềm quy mô lớn. Nó đã giúp fulfill điều này cần phải thông qua sự kết hợp của âm thanh mô đun thiết kế và phần mềm reusability. Trong cùng một cách, định hướng đối tượng có thể giải quyết một số vấn đề khả năng mở rộng của phương pháp hình thức. Ngoài ra, bằng cách cung cấp một phương pháp phổ biến, định hướng đối tượng có thể giúp thu hẹp khoảng cách giữa sinh và thực hiện các hệ thống phần mềm.Mô đun hầu hết lợi định hướng đối tượng xuất phát từ các mô đun nó mang lại cho thiết kế hệ thống. Mô đun làm tăng sự rõ ràng của specifications bằng cách cho phép người đọc để tập trung vào một phần tại một thời điểm. Trong một Z sinh, ví dụ, suy luận trong những cách mà một cụ thể nhà nước biến có thể thay đổi, người đọc phải tìm kiếm sinh toàn bộ cho bất kỳ tham chiếu đến schema bang của biến đó trong một sơ đồ hoạt động. Trong specifications lớn, điều này trở nên viển vông không có công cụ thích hợp hoặc một số tổ chức chính thức của các lược đồ trong sinh. Một fundamentalidea định hướng đối tượng, Tuy nhiên, là nhà nước của một đối tượng có thể thay đổi chỉ bởi các hoạt động của lớp học của mình. Do đó bằng việc áp dụng các khái niệm của các lớp học trong Z, mối quan hệ giữa nhà nước và hoạt động lược đồ có thể được thực hiện rõ ràng. Nói chung, người đọc sinh hướng đối tượng có thể tập trung vào một lớp học tại một thời điểm trong sự cô lập từ phần còn lại của sinh và sau đó, khi người đó là quen thuộc với mỗi lớp, kiểm tra như thế nào đối tượng của những lớp học được sắp xếp để tạo thành hệ thống specified. Tái sử dụng các lớp học thông qua thừa kế cũng cải thiện dễ đọc bằng cách cho phép người đọc để sử dụng kiến thức của mình về các lớp học hiện tại (có thể là từ một thư viện lớp học) để hiểu một lớp nhất định. Thừa kế cũng hỗ trợ các nhà văn của sinh có thể chỉ định các lớp học bằng cách vẽ trên điểm tương đồng với các lớp học hiện tại, và bằng cách làm như vậy, tránh nhiều lần xác định cấu trúc lớp phổ biến. Mô đun cung cấp bởi các lớp học, cũng như giúp đỡ trong giai đoạn sinh phát triển chính thức, cũng có thể giúp trong các giai đoạn tiếp theo của verification và refinement. Một lần nữa, điều này đạt được bằng cách cho phép các nhà phát triển hệ thống tập trung vào một phần của sự sinh tại một thời điểm.

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

1.1 Động lực
định hướng đối tượng - xem các thư mục tài liệu tham khảo - là một phương pháp thiết kế mô-đun dựa trên quan điểm cho rằng một hệ thống bao gồm một bộ sưu tập các tương tác đối tượng. Các hành vi của một đối tượng được xác định bởi các lớp học: một cơ chế để đóng gói trạng thái của một đối tượng với các thiết lập của hoạt động nó có thể trải qua. Mỗi lớp học nói chung de fi NES nhiều hơn một đối tượng trong một hệ thống và cũng có thể được tái sử dụng trong định nghĩa fi de của các lớp khác. Sau này được thực hiện bằng một phương pháp gia tăng Modi fi cation của các lớp học được gọi là thừa kế. Các lớp học mà kế thừa một lớp nhất định được gọi là lớp con của nó và, thông qua kế thừa, thường là trong một số cách tương thích với nó. Do đó nó có thể hữu ích cho một đối tượng thuộc, chứ không phải là một lớp học đặc biệt, với một tầng lớp nhất định hoặc bất kỳ một trong các lớp con của nó. Khái niệm này được gọi là đa hình. Đối tượng định hướng nổi lên như một programmingparadigm lớn do sự cần thiết phải xử lý phức tạp trong các hệ thống phần mềm quy mô lớn. Nó giúp ful fi ll nhu cầu này thông qua một sự kết hợp của thiết kế mô-đun âm thanh và phần mềm có thể dùng lại. Trong cùng một cách, định hướng đối tượng có thể giải quyết một số vấn đề khả năng mở rộng của phương pháp chính thức. Ngoài ra, bằng cách cung cấp một phương pháp phổ biến, đối tượng định hướng có thể giúp thu hẹp khoảng cách giữa các cation fi cụ thể và thực hiện các hệ thống phần mềm.
Mô đun Hầu hết các lợi ích fi của gốc định hướng đối tượng từ các mô đun nó mang lại cho thiết kế hệ thống. Mô đun làm tăng độ rõ nét của các cation fi cụ thể bằng cách cho phép một người đọc tập trung vào một phần tại một thời điểm. Trong một Z cụ thể fi cation, ví dụ, để suy luận, trong đó cách một biến trạng thái đặc biệt có thể thay đổi, người đọc phải tìm kiếm toàn bộ fi cation cụ thể cho bất kỳ tài liệu tham khảo cho các giản đồ trạng thái của biến đó trong một lược đồ hoạt động. Trong cation fi cụ thể lớn, điều này trở nên không thể thực hiện mà không cần công cụ thích hợp hoặc một tổ chức không chính thức của các lược đồ trong cation fi cụ thể. Một fundamentalidea định hướng đối tượng, tuy nhiên, đó là trạng thái của một đối tượng có thể được thay đổi chỉ bởi các hoạt động của lớp học của mình. Do đó bằng cách áp dụng các khái niệm của lớp trong Z, mối quan hệ giữa nhà nước và lược đồ hoạt động có thể được thực hiện rõ ràng. Nói chung, người đọc của một cation fi cụ thể hướng đối tượng có thể tập trung vào một lớp tại một thời điểm trong sự cô lập với phần còn lại của các cation fi cụ thể và sau đó, khi người đó là quen thuộc với mỗi lớp, kiểm tra như thế nào đối tượng của những lớp học được sắp xếp để tạo các speci fi ed. Việc tái sử dụng các lớp học thông qua kế thừa cũng cải thiện khả năng đọc bằng cách cho phép người đọc để sử dụng kiến thức của mình về các lớp học hiện tại (có thể từ một thư viện lớp) để hiểu được một tầng lớp nhất định. Thừa kế cũng hỗ trợ các nhà văn của các cation fi cụ thể những người có thể xác định các lớp bằng cách vẽ trên sự tương đồng với các lớp học hiện có và, bằng cách làm như vậy, tránh lặp lại cách xác định cấu trúc lớp phổ biến. Các mô đun được cung cấp bởi các lớp học, cũng như giúp đỡ trong giai đoạn fi cation cụ thể của sự phát triển chính thức, cũng có thể giúp đỡ trong giai đoạn tiếp theo của veri fi cation và tái fi nement. Một lần nữa, điều này đạt được bằng cách cho phép các nhà phát triển hệ thống tập trung vào một phần của các cation fi cụ thể tại một thời điểm.