TY  - THES
AU  - Varró, Dániel
TI  - Automated Model Transformations for the Analysis of IT Systems
PY  - 2004
SP  - 240
UR  - https://m2.mtmt.hu/api/publication/2612543
ID  - 2612543
AB  - When designing critical applications using the Unified Modeling Language, the system models are frequently projected into various mathematical domains (such as Petri nets, transition systems, process algebras, etc.) by model transformations to carry out a formal analysis of the system under design.
In the current thesis, I introduce a general, visual yet mathematically precise framework for uniformly specifying a large scale of model transformations within and between modeling languages. I also propose automated means to reason about the correctness of transformations, and to generate a transformation program as the implementation from such high-level specifications.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró, Dániel
TI  - A formal semantics of UML statecharts by model transition systems
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 2505
PY  - 2002
SP  - 378
EP  - 392
PG  - 15
SN  - 0302-9743
DO  - 10.1007/3-540-45832-8
UR  - https://m2.mtmt.hu/api/publication/2612508
ID  - 2612508
AB  - UML Statecharts are well-known visual means to capture the dynamic behavior of reactive systems in the object-oriented design methodology. Since the UML standard only contains an informal description on how to execute such staternachines mathematically precise semantic frameworks are required for an automated analysis. The current paper presents a formal semantics for UML statecharts based on a combination of metamodeling and graph transformation that is (i) simultaneously visual and precise, and (ii) clearly separates derived static concepts (like priorities, conflicts, etc.) from their dynamic interpretation thus scaling up well for different statechart variants (with, e.g., various priority strategies) and potential future changes in the standard.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró, Dániel
AU  - Varró, Gergely György
AU  - Pataricza, András
TI  - Designing The Automatic Transformation of Visual Languages
JF  - SCIENCE OF COMPUTER PROGRAMMING
J2  - SCI COMPUT PROGRAM
VL  - 44
PY  - 2002
IS  - 2
SP  - 205
EP  - 227
PG  - 23
SN  - 0167-6423
DO  - 10.1016/S0167-6423(02)00039-4
UR  - https://m2.mtmt.hu/api/publication/2605193
ID  - 2605193
N1  - Cited By :90            
            Export Date: 23 May 2022            
            CODEN: SCPGD            
            Correspondence Address: Varró, D.; Department of Msrmt. and Info. Syst., Magyar tudosok korutja 2, H-1521, Budapest, Hungary; email: varro@mit.bme.hu
AB  - 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. (C) 2002 Elsevier Science B.V. All rights reserved.
LA  - English
DB  - MTMT
ER  -