VERIFICATION OF BEHAVIOR PRESERVATION IN UML SEQUENCE DIAGRAMS USING GRAPH MODELS
Journal Title: Indian Journal of Computer Science and Engineering - Year 2016, Vol 7, Issue 4
Abstract
The verification of model transformations is gaining significant attention recent years. This paper presents an approach for verifying the behavioral preservance property of UML behavioral models that have been subjected to a model refactoring process. Graph based models have been proposed for model verification to analyze the behavior preservation property of the models that have been refactored.
Authors and Affiliations
CHITRA M T , ELIZABETH SHERLY
Keywords
Related Articles
- EP ID EP133690
- DOI -
- Views 128
- Downloads 0
Optimal Spectral Analysis for detection of sinusitis using Near-Infrared Spectroscopy (NIRS)
Optical recording technique overtakes neural recording technique for simplicity, non-ionization, portability, non-invasiveness and cost effectiveness. Many optical techniques like FMRI, DOT, SPR, ERP and PPG are in use n...
Analyzing Throughput of TCP in IEEE 802.11 Based Ad-hoc Networks
In order to allow programmers to follow conventional techniques while creating applications that uses an internet, software in the internet must provide the same semantics as a conventional computer system, it means it m...
SURVEY SOME ATTACKS ON CLIENT SIDE, BROWSER & CLOUD
Cloud computing is not a new name in the technology world but there are many new issues arises related with cloud. Every time in consumer mind a fear rotates because he is aware from vulnerabilities related with cloud. S...
ON ROAD VEHICLE/OBJECT DETECTION AND TRACKING USING TEMPLATE
Vehicle tracking and detection plays an important role in traffic surveillance, still a crucial task in many applications. Till now, there is no standard method developed. Template matching is one of the methods used for...
Optimization of Subcarrier and Power Allocation in Uplink OFDMA Systems
The allocation of subcarriers and power to users is an important issue for exploiting the advantages of OFDMA systems. The main objective of the traditional OFDMA uplink resource allocation focuses on two aspects: one is...