Learn More
Although Model Driven Architecture has taken successful steps toward model-based software development, this approach still faces complex situations and ambiguous questions while applying to real world software systems. One of these questions - which has taken the most interest and focus - is how model transforms between different abstraction levels, MDA(More)
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attributed typed graphs and layered transformations. Resulting models are suitable for checking interesting properties expressed as combinations of LTL and graph transformation rules.(More)
Traditional approaches to software systems development such as using tools and modeling frameworks are appropriate for building individual object oriented or component based software. However they are not suitable for designing of flexible distributed enterprise systems and open environments. In recent years, service-oriented architecture (SOA) has been(More)
Nowadays, the Pervasive Healthcare (PH) systems are considered as an important research area. These systems have a dynamic structure and configuration. Therefore, an appropriate method for designing such systems is necessary. The Publish/Subscribe Architecture (pub/sub) is one of the convenient architectures to support such systems. PH systems are safety(More)
Nowadays, there are many peoples who access to the internet to search for a proper hospital with their desired medical services. Hence, the website quality of hospitals or medical centers is very important to help patients/users. However, to design high qualitative medical websites, we should first know the medical quality metrics. Then, we should try to(More)
Nowadays, using Service-Oriented Architectures (SOA) is spreading as a flexible architecture for developing dynamic enterprise systems. Due to the increasing need of high quality services in SOA, it is desirable to consider different Quality of Service (QoS) aspects in this architecture as security, availability, reliability, fault tolerance, etc. In this(More)
Graphical structures (like graphs, diagrams, visual sentences and others) are very useful to describe complex structures and systems. These structures are often augmented by formalisms which add a further dimension to the static description allowing for the modeling of the evolution of systems via any kind of transformation of such graphical structures.(More)