This chapter discusses operations design as an integral part of the software design experience. The chapter proceeds under the following captions:
- Categorization of Operations
- Essentials of Operations Design
- Informal Methods for Specifying Operation Requirements
- Formal Specification
- Summary and Concluding Remarks
Whether the functional approach or the object-oriented approach is employed, ultimately, software systems will necessarily have operations. An important aspect of software engineering is the preparation of operation specifications for the operations of a system. Hence, operations ...