Papers by Mohammad Reza Nami
5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), 2007
Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and pro... more Recently, several flavors of Formal Methods (FMs) have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves form al methods that provide a rigorous, mathematical based framework (domain model) for specifying, defining, and verifying systems in the software development. The increasing demands for extended products and services along with advances in IT industry have motivated researchers to create Virtual Organizations (VOs) in order to better respond to business opportunities and produce qualitative services and products. The purpose of this paper is to describe Virtual Organization and Domain engineering with introducing formal methods especially RAISE as a formal method that has been used successfully on diverse applications. Then, a primary formal model is presented using RAISE method and its language (RSL) formula for the improvement of VO creation process. Formal model presented in this paper is provable to implement. It improves reusability and reliability in such environments.
Academic Journals, May 31, 2011
The term E-nursing has been used to refer to the incorporation of ICT into nursing. Point-to-poin... more The term E-nursing has been used to refer to the incorporation of ICT into nursing. Point-to-point connections using private networks are used by hospitals and clinics that deliver services directly or contract out specialty services to independent nursing service providers at ambulatory care sites. Radiology, mental health and even intensive care services are being provided under contract using Tele-nursing and telemedicine to deliver the services. An autonomous system manages complexity and improves the system complexity without interfering expert humans. The purpose of this paper is to present an autonomous virtual organization for e-nursing describing their characteristics, effects on quality factors, their building blocks architecture, and challenges.
In recent years Agent technology has a significant growth in all fields, especially in the field ... more In recent years Agent technology has a significant growth in all fields, especially in the field of E-health. Agent-oriented software engineering based on agent-oriented methodology is a novel phenomenon in the field of software engineering, which today's is used in the production of distributed systems. Agent's special features such as intelligence and autonomy, cause reduction in running costs and performing automatic functions in some systems like electronic health and they have been implemented by Agent technology. Using New communication technologies, distributed systems and intelligent Agents are also considered as a novel phenomenon in medical. This paper analyzes the Agent-oriented Software engineering, Agent Oriented Programming, Multi Agent System and it has provided agent-based system for the hospital by the utilization of agent characteristics.
— Nowadays, IT organizations have encountered growing challenges in the management and maintenanc... more — Nowadays, IT organizations have encountered growing challenges in the management and maintenance of large scale heterogeneous distributed computing systems because these systems attempt to be active and available at all hours. Moreover, current programming languages, methods, and management tools are inadequate to handle complexity, scale, dynamism, heterogeneity, and uncertainty as the most important challenges in such systems. Therefore, researchers investigate new ideas to address the problems created by IT complexity. One such idea is Autonomic Computing (AC). Autonomic Computing Systems (ACSs) are systems that manage themselves. This paper provides a thorough survey of autonomic computing systems, presenting their definitions, their characteristics and effects on quality factors, their architecture, issues, and challenges.
An Efficient Multi-agent System for E-health Functionalities
In recent years Agent technology has had a significant growth in all fields, especially in the fi... more In recent years Agent technology has had a significant growth in all fields, especially in the field of E-health. Agent-oriented software engineering based on agent-oriented methodology is a novel phenomenon in the field of software engineering, which nowadays, is used in the production of distributed systems. The special features of agent such as intelligence and autonomy, cause reduction in running costs and performing automatic functions in some systems like electronic health which have been implemented by Agent technology. Using New communication technologies, distributed systems and intelligent Agents are also considered as a novel phenomenon in medicine. This paper aims to analyze the Agent-oriented Software engineering, Agent Oriented Programming, Multi Agent System as well as providing agent-based system for the hospital by the utilization of agent characteristics.
Finding minimum vertex guard to cover an art gallery is one of outstanding open problems in compu... more Finding minimum vertex guard to cover an art gallery is one of outstanding open problems in computational geometry. In this problem, a given polygonal art gallery is given. The aim is to find minimum vertex guard to cover it. This is a NP-hard problem. The purpose of this paper is to propose a heuristic algorithm that finds minimum number of vertex guard, who is put on the vertex of polygon. This algorithm has been implemented with C#. An arbitrary polygon with n vertices is randomly developed. Computational result of the proposed algorithm shows that the average number of vertex guard needed to cover a polygon with n vertices is n/6.48. This result is better than other algorithms developed for this problem. For this, we finally compare the results of our heuristic algorithm with the result of genetic algorithm and well-known art-gallery theorem.
Finding minimum vertex guard to cover an art gallery is one of the outstanding open problems in c... more Finding minimum vertex guard to cover an art gallery is one of the outstanding open problems in computational geometry. In this problem, a given polygonal art gallery is given. The aim is to find minimum vertex guard to cover it. This is a NP-hard problem. The purpose of this paper is to propose a heuristic algorithm that finds minimum number of vertex guard to put on the vertex of polygon. This algorithm has been implemented with C#. An arbitrary polygon with n vertices was randomly developed. Computational result of the proposed algorithm shows that the average number of vertex guard needed to cover a polygon with n vertices is n/6.48. This result is better than other algorithms developed for this problem. For this, we finally compared the results of our heuristic algorithm with the result of genetic algorithm and well-known art-gallery theorem.
E-Banking: Issues and Challenges
2009 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, 2009
... Mohammad Reza Nami Faculty of Electrical, IT, and Computer Engineering Islamic Azad Universit... more ... Mohammad Reza Nami Faculty of Electrical, IT, and Computer Engineering Islamic Azad University-Qazvin Branch, Iran nami ... Finally, conclusion and future perspective of e-banking development will be discussed ... Keywords: E-Commerce, E-payment, E-banking, Mobile-banking ...
Virtual Organization: A New Approach in IT
7th IEEE International Conference on Computer and Information Technology (CIT 2007), 2007
Recently, advances in computer networks have affected marketing and business systems so that trad... more Recently, advances in computer networks have affected marketing and business systems so that traditional business systems have been metamorphosed. The increasing demands for extended products and services along with advances in IT industry have motivated researchers to create Virtual Organizations (VOs) in order to better respond to business opportunities and produce qualitative services and products. In this paper, a thorough survey of VOs, is presented including definitions, characteristics, issues, and challenges.
Virtual Organizations: Issues and Challenges
Parallel and Distributed Processing Techniques and Applications, 2008
An Efficient Multi-agent System for E-health Functionalities
ABSTRACT In recent years Agent technology has had a significant growth in all fields, especially ... more ABSTRACT In recent years Agent technology has had a significant growth in all fields, especially in the field of E-health. Agent-oriented software engineering based on agent-oriented methodology is a novel phenomenon in the field of software engineering, which nowadays, is used in the production of distributed systems. The special features of agent such as intelligence and autonomy, cause reduction in running costs and performing automatic functions in some systems like electronic health which have been implemented by Agent technology. Using New communication technologies, distributed systems and intelligent Agents are also considered as a novel phenomenon in medicine. This paper aims to analyze the Agent-oriented Software engineering, Agent Oriented Programming, Multi Agent System as well as providing agent-based system for the hospital by the utilization of agent characteristics.
Self-* e-nursing
ACM SIGSOFT Software Engineering Notes, 2010
The rapid advances in Information and Communication Tech-nology (ICT), management, and network te... more The rapid advances in Information and Communication Tech-nology (ICT), management, and network technologies have had key role in emerging heterogeneous large-scale distributed sys-tems. The term of E-nursing has been used to refer to the incorpo-ration of ICT into nursing. An Autonomous system has as its vision the creation of self managing systems to address today's concerns of complexity and total cost of ownership while meeting to-morrow's needs for pervasive and ubiquitous computation and communication. Purpose of this paper is to present an autonomous virtual organization for e-nursing describing their characteristics, effects on quality factors, their building blocks architecture, and challenges
A comparison of object-oriented languages in software engineering
ACM SIGSOFT Software Engineering Notes, 2008
Object-oriented programming is still a relatively new technology in the world of web development.... more Object-oriented programming is still a relatively new technology in the world of web development. Object-oriented programming languages directly support the object notions of classes, inheritance, information hiding, and dynamic binding. In Object-Oriented Programming, a program is seen as comprising a collection of individual modules, or objects, that act on each other. Each of these objects could be seen as an independent program in itself, with a distinct role or responsibility. Object-Oriented Programming provides greater flexibility and easier maintenance across large systems and can sometimes make understanding and analyzing complex procedures a lot easier. This paper presents a comparison of object-oriented programming in software engineering including properties of Java, C++, Eiffel, and Smalltalk languages.
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes, 2009
The use of formal methods for development of safety-critical sys-tems has motivated researchers t... more The use of formal methods for development of safety-critical sys-tems has motivated researchers to serve them in distributed appli-cations. B method has the precision to support animation and rigorous verification, but requires significant effort in training to overcome the mathematical barrier that many practitioners perce-ive. In this paper, an overview of B method is described including definition, properties, and tools. Then, a new formal model for a library system using B is presented. This formal model can be ex-tended in distributed environments and be integrated with UML as further work.
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes, 2007
Recently, several flavors of formal methods have been gaining industrial acceptance and productio... more Recently, several flavors of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves Formal Methods (FMs) that provide a rigorous, mathematical based framework for specifying, defining, and verifying systems in the software development for critical systems. New software engineering includes three phases consisting of domain engineering, requirement engineering, and design and implementation. The purpose of this paper is to introduce the key concepts of domain engineering with providing overview information about formal methods and applying RAISE as a formal method that has been used successfully on various, diverse applications. Then, a particular banking domain is specified with using them. Formal model presented in this paper is provable to implement this domain. With merginging object oriented technology with domain e...
IFIP International Federation for Information Processing
The evolution of networks and the Internet, which have presented high scalable and available serv... more The evolution of networks and the Internet, which have presented high scalable and available services have made environments more complex. The increasing complexity, cost, and heterogeny in distributed computing systems have motivated researchers to investigate a new idea to cope with the management of complexity in IT industry. For this. Autonomic Computing Systems (ACSs) have been introduced. In this paper, we present a complete survey of ACSs. It consists of characteristics, their effects on quality factors, architecture of ACS building blockes, and challenges.
Autonomic Computing: A New Approach
First Asia International Conference on Modelling & Simulation (AMS'07), 2007
... Software Tools, and Applications, Springer Science+Business Media BV (Kluwer Academic Pub-lis... more ... Software Tools, and Applications, Springer Science+Business Media BV (Kluwer Academic Pub-lishers ... Evaluation and compar-ison of decentralised autonomic computing systems. ... Proceedings of the First Asia International Conference on Modelling & Simulation (AMS'07) 0 ...
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes, 2009
Formal Methods have changed software engineering development process. They have been used in impl... more Formal Methods have changed software engineering development process. They have been used in implementation of software for safety-critical environments. Formal specification languages have good properties for describing a system. ACT-ONE and Communicating Sequential Process (CSP) are two specification languages we have discussed on them in this paper. This paper compares them from different aspects such as their styles, special symbols, databases, and combination with other languages. As future work, we will present a new formal model for a distributed system in our next research.
Application of Self-Managing Properties in Virtual Organizations
International Symposium on Computer Science and its Applications, 2008
... Mohammad Reza Nami Abbas Malekpour ... References [1] MR Nami and D. Tavangarian, "Virtu... more ... Mohammad Reza Nami Abbas Malekpour ... References [1] MR Nami and D. Tavangarian, "Virtual Organizations: A New Approach in IT", The 7th IEEE International Conference on Computer and Information Technology (CIT 2007), pp.93-98, Aizu, Japan, October 2007. ...
IFIP – The International Federation for Information Processing
The need to remain competitive in the open market forces companies to concentrate on their core c... more The need to remain competitive in the open market forces companies to concentrate on their core competencies while searching for alliances when additional skills or resources are needed to fulfill business opportunities. The changing business situation of companies and customer needs have motivated researchers to introduce Virtual Organization (VO) idea. A Virtual Organization is always a form of partnership and managing partners and handling partnerships are crucial. Virtual organizations are defined as a temporary collection of enterprises that cooperate and share resources, knowledge, and competencies to better respond to business opportunities. This paper presents base concepts of virtual organizations including properties, management concepts, operational concepts, and main issues in collaboration such as security and authentication.
Uploads
Papers by Mohammad Reza Nami