TY - JOUR AU - Varró, Dániel AU - Pataricza, András TI - Generic And Meta-transformations For Model Transformation Engineering JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LECT NOTES COMPUT SC VL - 3273 PY - 2004 SP - 290 EP - 304 PG - 15 SN - 0302-9743 DO - 10.1007/978-3-540-30187-5_21 UR - https://m2.mtmt.hu/api/publication/2605196 ID - 2605196 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Majzik, István AU - Pataricza, András AU - Bondavalli, A TI - Stochastic Dependability Analysis of System Architecture Based on Uml Models JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LECT NOTES COMPUT SC VL - 2677 PY - 2003 SP - 219 EP - 244 PG - 26 SN - 0302-9743 DO - 10.1007/3-540-45177-3_10 UR - https://m2.mtmt.hu/api/publication/2605195 ID - 2605195 AB - 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. LA - English DB - MTMT ER - TY - JOUR AU - Varró, Dániel AU - Pataricza, András TI - VPM: A visual and precise multilevel metamodeling framework describing mathematical domains and UML JF - SOFTWARE AND SYSTEMS MODELING J2 - SOFTW SYST MODEL VL - 2 PY - 2003 IS - 3 SP - 187 EP - 210 PG - 24 SN - 1619-1366 DO - 10.1007/s10270-003-0028-8 UR - https://m2.mtmt.hu/api/publication/2612539 ID - 2612539 AB - 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. 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 -