Paper Info
Title
Designing the automatic transformation of visual languages
Abstract
The design process of complex systems requires a precise checking of the functional and dependability attributes of the target design. The growing complexity of systems necessitates the use of formal methods, as the exhaustiveness of checks performed by the traditional simulation and testing is insufficient.For this reason, the mathematical models of various formal verification tools are automatically derived from UML-diagrams of the model by mathematical transformations guaranteeing a complete consistency between the target design and the models of verification and validation tools.In the current paper, a general framework for an automated model transformation system is presented. The method starts from a uniform visual description and a formal proof concept of the particular transformations by integrating the powerful computational paradigm of graph transformation, planner algorithms of artificial intelligence, and various concepts of computer engineering.
Year
DOI
Venue
2002
10.1016/S0167-6423(02)00039-4
Sci. Comput. Program.
Keywords
Field
DocType
mathematical model,particular transformation,design process,mof,validation,formal proof concept,automatic transformation,dependability,system verification,formal method,various formal verification tool,model transformation,automated model transformation system,target design,uml,graph transformation,mathematical transformation,planner algorithms,visual languages,visual language,complex system
Dependability,Model transformation,Programming language,Verification and validation,Computer science,Theoretical computer science,Engineering design process,Graph rewriting,Formal methods,Formal proof,Formal verification
Journal
Volume
Issue
ISSN
44
2
Science of Computer Programming
Citations 
PageRank 
References 
79
13.35
12
Authors
3
Name
Order
Citations
PageRank
Dániel Varró11682118.10
Gergely Varró240336.67
András Pataricza351455.25