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  - 

TY  - CONF
AU  - Varró, Dániel
ED  - H-J, Kreowski
ED  - P, Knirsch
TI  - Automatic Program Generation for and by Model Transformation Systems
T2  - Proc. AGT 2002: Workshop on Applied Graph Transformation
PY  - 2002
SP  - 161
EP  - 173
PG  - 13
UR  - https://m2.mtmt.hu/api/publication/2614852
ID  - 2614852
AB  - Model transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high--level specification consisting of a set of graph transformation rules and a control flow graph. The program generator takes a UML profile tailored to model transformation systems as the input, and produces the output Prolog program by successive model transformation steps. In this respect,
only the core of the program generator is implemented by hand, and afterwards, this core provides automation for additional features of the VIATRA model transformation system.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bondavalli, A
AU  - Dal, Cin M
AU  - Latella, D
AU  - Majzik, István
AU  - Pataricza, András
AU  - Savoia, G
TI  - Dependability Analysis in The Early Phases of Uml-based System Design
JF  - COMPUTER SYSTEMS SCIENCE AND ENGINEERING
J2  - COMPUT SYST SCI ENG
VL  - 16
PY  - 2001
IS  - 5
SP  - 265
EP  - 275
PG  - 11
SN  - 0267-6192
UR  - https://m2.mtmt.hu/api/publication/2605191
ID  - 2605191
N1  - Cited By :84            
            Export Date: 23 May 2022            
            CODEN: CSSEE            
            Correspondence Address: Bondavalli, A.; University of Firenze, Via Lobroso 6/17, 150134 Firenze, Italy
AB  - A thorough system specification is insufficient to guarantee that a computer system will adequately perform its tasks during its entire fife cycle. The early evaluation of system characteristics like dependability, correctness and performance is necessary to assess the conformance of the system under development to its targets. This paper presents the results achieved so far to develop an integrated environment, where design tools based on the UML (Unified Modeling Language) are augmented with validation and analysis techniques that provide useful information in the early phases of system design. Automatic transformations are defined for the generation of models to capture system behavioral properties, dependability and performance.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Pap, Zs
AU  - Majzik, István
AU  - Pataricza, András
ED  - Voges, U
TI  - Checking General Safety Criteria on UML Statecharts
T2  - Computer Safety, Reliability and Security
PB  - Springer Netherlands
CY  - Berlin
CY  - Heidelberg
SN  - 9783540426073
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 2187.
PY  - 2001
SP  - 46
EP  - 55
PG  - 10
DO  - 10.1007/3-540-45416-0_5
UR  - https://m2.mtmt.hu/api/publication/2614712
ID  - 2614712
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Latella, D
AU  - Majzik, István
AU  - Massink, M
TI  - Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
JF  - FORMAL ASPECTS OF COMPUTING
J2  - FORM ASP COMPUT
VL  - 11
PY  - 1999
IS  - 6
SP  - 637
EP  - 664
PG  - 28
SN  - 0934-5043
DO  - 10.1007/s001659970003
UR  - https://m2.mtmt.hu/api/publication/2614702
ID  - 2614702
LA  - English
DB  - MTMT
ER  -