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)
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)
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)
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)
Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present an efficient solution to verify software models which formally specified by layered graph transformation systems - special(More)