In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

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 ...

Management and control over the processes occurring in transport system can be carried out at macroscopic level based on operations research methods or microscopic using simulation theory. The article analyzes characteristics of presents a concept that is suitable for both types models. description structure given three main components: infrastructure allows you to determine routes movement veh...

The object-oriented approach has evolved as a software design and programming method. It was later adapted to systems analysis as a modeling method. Modeling in systems analysis is used to create a representation of the organizational domain for which the information system is developed. Such a model is termed an enterprise model. A modeling method comprises a modeling technique and a modeling ...

analysis and design of object oriented is onemodern paradigms for developing a system. in this paradigm, there are several objects and each object plays some specific roles. identifying objects (and classes) is one of the most important steps in the object-oriented paradigm. this paper makes a literature review over techniques to identify objects and then presents six taxonomies for them. the f...

The information universe provides the highest common framework found in all organizational information systems combining data models, business rules, organizational roles, and the members of an organization. Th,e conceptual model of development shows that a vertical dimension to design and implementation leads to an extensible and object oriented domain model. Extensibility and the object orien...

Essential modeling extracts essential user requirements [4, 6, 11. Here, we propose using essential model to identify, organize, and present essential requirements of users for object-oriented projects. Comparcd with an analysis model, an essential model does not decompose the problem of a project or suggest any solution for the problem. An essential model crystallizes externally visible requir...