one of the modern paradigms to develop an application is object oriented analysis and design. in this paradigm, there are several objects and each object plays some specific roles in applications. in an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. for the procedural semantics, we can write a ...