@article{MTMT:2605196,
	title = {Generic And Meta-transformations For Model Transformation Engineering},
	url = {https://m2.mtmt.hu/api/publication/2605196},
	author = {Varró, Dániel and Pataricza, András},
	doi = {10.1007/978-3-540-30187-5_21},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {3273},
	unique-id = {2605196},
	issn = {0302-9743},
	abstract = {The Model Driven Architecture necessitates not only the application of software engineering disciplines to the specification of modeling languages (language-ware) but also to design inter and intra-language model transformations (transformation-ware). Although many model transformation approaches exist, their focus is almost exclusively put on functional correctness and intuitive description language while the importance of engineering issues such as reusability, maintainability, performance or compactness are neglected. To tackle these problems following the MDA philosophy, we argue in the paper that model transformations should also be regarded as models (i.e., as data). More specifically, we demonstrate (i) how generic transformations can provide a very compact description of certain transformation problems and (ii) how meta-transformations can be designed that yield efficient transformations as their output model.},
	year = {2004},
	eissn = {1611-3349},
	pages = {290-304},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Pataricza, András/0000-0002-6516-129X}
}

@article{MTMT:2605195,
	title = {Stochastic Dependability Analysis of System Architecture Based on Uml Models},
	url = {https://m2.mtmt.hu/api/publication/2605195},
	author = {Majzik, István and Pataricza, András and Bondavalli, A},
	doi = {10.1007/3-540-45177-3_10},
	journal-iso = {LNCS},
	journal = {LECTURE NOTES IN COMPUTER SCIENCE},
	volume = {2677},
	unique-id = {2605195},
	issn = {0302-9743},
	abstract = {The work in this paper(1) is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models. It is to be used in the early phases of the system design to capture system dependability attributes like reliability and availability, thus providing guidelines for the choice among different architectural and design solutions. We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed. Due to the modular construction, this model can be refined later as more detailed information becomes available. We discuss the model refinement based on the General Resource Model, an extension of UML. We show that the dependability model can be constructed automatically by using graph transformation techniques.},
	year = {2003},
	eissn = {1611-3349},
	pages = {219-244},
	orcid-numbers = {Pataricza, András/0000-0002-6516-129X}
}

@article{MTMT:2612539,
	title = {VPM: A visual and precise multilevel metamodeling framework describing mathematical domains and UML},
	url = {https://m2.mtmt.hu/api/publication/2612539},
	author = {Varró, Dániel and Pataricza, András},
	doi = {10.1007/s10270-003-0028-8},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {2},
	unique-id = {2612539},
	issn = {1619-1366},
	abstract = {As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well-founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras, etc.) for formal analysis purposes as foreseen, for instance, in submissions for the OMG RFP for Schedulability, Performance and Time. However, such transformations into different semantic domains typically require the deep understanding of the underlying mathematics, which hinders the use of formal specification techniques in industrial applications. In the paper, we propose a multilevel metamodeling technique with precise static and dynamic semantics (based on a refinement calculus and graph transformation) where the structure and operational semantics of mathematical models can be defined in a UML notation without cumbersome mathematical formulae.},
	year = {2003},
	eissn = {1619-1374},
	pages = {187-210},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Pataricza, András/0000-0002-6516-129X}
}

@article{MTMT:2605193,
	title = {Designing The Automatic Transformation of Visual Languages},
	url = {https://m2.mtmt.hu/api/publication/2605193},
	author = {Varró, Dániel and Varró, Gergely György and Pataricza, András},
	doi = {10.1016/S0167-6423(02)00039-4},
	journal-iso = {SCI COMPUT PROGRAM},
	journal = {SCIENCE OF COMPUTER PROGRAMMING},
	volume = {44},
	unique-id = {2605193},
	issn = {0167-6423},
	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. (C) 2002 Elsevier Science B.V. All rights reserved.},
	year = {2002},
	eissn = {1872-7964},
	pages = {205-227},
	orcid-numbers = {Varró, Dániel/0000-0002-8790-252X; Pataricza, András/0000-0002-6516-129X}
}