0965-9978/$ see front matter 2009 Elsevier Ltd. A doi:10.1016/j.advengsoft.2009.03.015 * Corresponding author. Tel.: +91 9444328429. E-mail addresses: [email protected] (A. Go yahoo.co.in (K. Venkatesan), [email protected] (R. Sivan In developing countries like India, the traffic on roads is highly heterogeneous in nature, with vehicles of widely varying static and dynamic characteristics. ...

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

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

Organization-oriented analysis acts as the key step and foundation in building organization-oriented methodology (OOM) to engineer multi-agent systems especially open complex agent systems (OCAS). A number of existing approaches target OOM, while they are incompatible with each other, and none of them is available as a solid and practical tool for engineering OCAS. This paper summarizes our inv...

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

In Germany a conceptual change from strong emphasis of procedural programming to objectoriented modelling (OOM) is on the way within the field of secondary Informatics education. Though recommended and emphasized by Informatics didactists and already embodied in some of Germany’s federal Informatics curricula, the change has not yet reached the majority of schools. A seeming change was carried ...