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

reservoir dams are among the main storage systems employed in agriculture for the several past decades. proper operation of these reservoirs is important for irrigation espe-cially in such arid and semi-arid areas like iran, and particularly during dry years. a computational framework for reservoir simulation and flood routing is hereby presented. a key aspect of the reservoir simulation is the...

modeling and simulation of processing plants are widely used in industry. construction of a mathematical model for a plant is a time-consuming and error-prone task. in light of extensive advancements in computer science (both hardware and software), computers are becoming a necessary instrument in industrial activities. many software tools for modeling, simulation and optimization of processing...

in this paper, we present a multi-formalism modeling framework (abbreviated by mfmf) for modeling and simulation. the proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. the framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...

in recent years, formal methods have been used as an important tool forperformance evaluation and verification of a wide range of systems. in the viewpoints of engineers and practitioners, however, there are still some major difficultiesin using formal methods. in this paper, we introduce a new formal modelinglanguage to fill the gaps between object-oriented programming languages (oopls)used by...

SERVICE ORIENTED ARCHITECTURE ADOPTION IN E-EDUCATION SYSTEM

The introduction of a Service-Oriented Architecture (SOA) can affect performance in a negative way. This exacerbates the application of SOA to systems for bulk data processing. This paper describes specific aspects of Service-Oriented Architectures that impact performance particularly. It discusses several approaches to these issues that are currently established and motivates the need for a fr...

Service-oriented computing, which offers more flexible means for application development, is gaining popularity. Service-oriented grid applications are constructed by selecting and composing appropriate services. They are one kind of promising applications in grid environments. However, the dynamism and autonomy of environments make the issues of dynamically adapting a service-oriented grid app...