TY  - JOUR
AU  - Klare, Heiko
AU  - Gleitze, Joshua
TI  - Termination and Expressiveness of Execution Strategies for Networks of Bidirectional Model Transformations
JF  - FORMAL ASPECTS OF COMPUTING
J2  - FORM ASP COMPUT
VL  - 35
PY  - 2023
IS  - 3
PG  - 35
SN  - 0934-5043
DO  - 10.1145/3543845
UR  - https://m2.mtmt.hu/api/publication/34278544
ID  - 34278544
AB  - When developers describe a software system with multiple models, such as architecture diagrams, deployment descriptions, and source code, these models must represent the system in a uniform way, i.e., they must be and stay consistent. One means to automatically preserve consistency after changes to models are model transformations, of which bidirectional transformations that preserve consistency between two models have been well researched. To preserve consistency between multiple models, such transformations can be combined to networks. When transformations are developed independently and reused modularly, the resulting network can be of arbitrary topology. For such networks, no universal strategy exists to orchestrate the execution of transformations such that the resulting models are consistent.In this article, we prove that termination of such a strategy can only be guaranteed if it is incomplete, i.e., if it is allowed to fail to restore consistency for some changes although an execution order of transformations exists that yields consistent models. We propose such a strategy, for which we prove termination and show that and why it makes it easier for users of model transformation networks to understand the reasons whenever the strategy fails. In addition, we provide a simulator for the comparison of different execution strategies. These findings help transformation developers and users in understanding when and why they can expect the execution of a transformation network to terminate and when they can even expect it to succeed. Furthermore, the proposed strategy guarantees them termination and supports them in finding the reason whenever it is not successful.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Troya, Javier
AU  - Segura, Sergio
AU  - Burgueño, Lola
AU  - Wimmer, Manuel
TI  - Model Transformation Testing and Debugging: A Survey
JF  - ACM COMPUTING SURVEYS
J2  - ACM COMPUT SURV
VL  - 55
PY  - 2023
IS  - 4
SN  - 0360-0300
DO  - 10.1145/3523056
UR  - https://m2.mtmt.hu/api/publication/32769023
ID  - 32769023
AB  - Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness of model transformations, and thus, detecting and locating bugs in model transformations have been popular research topics in recent years. This surge of work has led to a vast literature on model transformation testing and debugging, which makes it challenging to gain a comprehensive view of the current state-of-the-art. This is an obstacle for newcomers to this topic and MDE practitioners to apply these approaches. This article presents a survey on testing and debugging model transformations based on the analysis of 140 papers on the topics. We explore the trends, advances, and evolution over the years, bringing together previously disparate streams of work and providing a comprehensive view of these thriving areas. In addition, we present a conceptual framework to understand and categorize the different proposals. Finally, we identify several open research challenges and propose specific action points for the model transformation community.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Gleitze, Joshua
AU  - Klare, Heiko
AU  - Burger, Erik
ED  - Guerra, Esther
ED  - Stoelinga, Mariëlle
TI  - Finding a Universal Execution Strategy for Model Transformation Networks
T2  - Fundamental Approaches to Software Engineering
PB  - Springer Netherlands
CY  - Cham
SN  - 9783030714994
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 12649.
PY  - 2021
SP  - 87
EP  - 107
PG  - 21
DO  - 10.1007/978-3-030-71500-7_5
UR  - https://m2.mtmt.hu/api/publication/32962493
ID  - 32962493
AB  - When using multiple models to describe a (software) system, one can use a network of model transformations to keep the models consistent after changes. No strategy exists, however, to orchestrate the execution of transformations if the network has an arbitrary topology. In this paper, we analyse how often and in which order transformations need to be executed. We argue why linear execution bounds are too restrictive to be useful in practice and prove that there is no upper bound for the number of necessary executions. To avoid non-termination, we propose a conservative strategy that makes execution failures easier to understand. These insights help developers and users of transformation networks to understand under which circumstances their networks can terminate. Additionally, the proposed strategy helps them to find the cause when a network cannot restore consistency.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kopetzki, Dawid
AU  - Lybecait, Michael
AU  - Naujokat, Stefan
AU  - Steffen, Bernhard
TI  - Towards language-to-language transformation
JF  - INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
J2  - INT J SOFTW TOOLS TECHN TRANSFER
PY  - 2021
PG  - 23
SN  - 1433-2779
DO  - 10.1007/s10009-021-00630-2
UR  - https://m2.mtmt.hu/api/publication/32387575
ID  - 32387575
AB  - This paper proposes a simplicity-oriented approach and framework for language-to-language transformation of, in particular, graphical languages. Key to simplicity is the decomposition of the transformation specification into sub-rule systems that separately specify purpose-specific aspects. We illustrate this approach by employing a variation of Plotkin's Structural Operational Semantics (SOS) for pattern-based transformations of typed graphs in order to address the aspect 'computation' in a graph rewriting fashion. Key to our approach are two generalizations of Plotkin's structural rules: the use of graph patterns as the matching concept in the rules, and the introduction of node and edge types. Types do not only allow one to easily distinguish between different kinds of dependencies, like control, data, and priority, but may also be used to define a hierarchical layering structure. The resulting Type-based Structural Operational Semantics (TSOS) supports a well-structured and intuitive specification and realization of semantically involved language-to-language transformations adequate for the generation of purpose-specific views or input formats for certain tools, like, e.g., model checkers. A comparison with the general-purpose transformation frameworks ATL and Groove, illustrates along the educational setting of our graphical WebStory language that TSOS provides quite a flexible format for the definition of a family of purpose-specific transformation languages that are easy to use and come with clear guarantees.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Meghzili, Said
AU  - Chaoui, Allaoua
AU  - Strecker, Martin
AU  - Kerkouche, Elhillali
TI  - An Approach for the Transformation and Verification of BPMN Models to Colored Petri Nets Models
JF  - INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION
J2  - INTERNATIONAL JOURNAL OF SOFTWARE INNOVATION
VL  - 8
PY  - 2020
IS  - 1
SP  - 17
EP  - 49
PG  - 33
SN  - 2166-7160
DO  - 10.4018/IJSI.2020010102
UR  - https://m2.mtmt.hu/api/publication/31457551
ID  - 31457551
AB  - The correctness of transformations has recently begun to attract the attention of the researchers in Model Driven Engineering (MDE). The objective of this article is twofold. First, it presents an approach for transforming BPMN models to Colored Petri nets models using GROOVE and EMF/Xpand tools. Second, it proposes an approach for checking the correctness of the transformation itself. More precisely, we have defined the termination property of the transformation and the preservation of some structural properties of BPMN models by the transformation using the GROOVE graph transformation tool. The authors have also applied the approach on a case study through which the authors have verified the successful termination of the transformation using GROOVE Model Checker and the target model properties using CPN Tools.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kahani, N
AU  - Bagherzadeh, M
AU  - Cordy, JR
AU  - Dingel, J
AU  - Varró, Dániel
TI  - Survey and classification of model transformation tools
JF  - SOFTWARE AND SYSTEMS MODELING
J2  - SOFTW SYST MODEL
VL  - 18
PY  - 2019
IS  - 4
SP  - 2361
EP  - 2397
PG  - 37
SN  - 1619-1366
DO  - 10.1007/s10270-018-0665-6
UR  - https://m2.mtmt.hu/api/publication/3393434
ID  - 3393434
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Saida, Boukhedouma
AU  - Zaia, Alimazighi
TI  - An Approach Based on Hierarchical Petri Nets for the Verification of Interconnected BPEL Processes
JF  - INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN
J2  - IJISMD
VL  - 9
PY  - 2018
IS  - 2
SP  - 44
EP  - 78
PG  - 35
SN  - 1947-8186
DO  - 10.4018/IJISMD.2018040103
UR  - https://m2.mtmt.hu/api/publication/30525047
ID  - 30525047
AB  - This article describes an MDE approach for transformation from BPEL specifications to WF-nets models for verifying behavioral properties on IOWF (Inter-Organizational Workflow) processes. The authors consider WF processes specified with BPEL and interconnected together according to specific cooperation patterns. They define a specific class of Petri nets called Hierarchical WF-nets (HWN) in order to formally check the "soundness" property on IOWF process models. For that, their verification approach is defined around three main phases: (i) recovery of the BPEL file(s) and generation of process tree(s), (ii) transformation from BPEL to WF-nets (resp. HWN) models using mapping and transformation rules and (iii) verification of the "soundness" property on the models obtained. They particularly define and implement a set of specific transformation rules which are closely linked to the interconnection rules attached to each cooperation pattern. Also, to show the feasibility of their verification method, the authors developed a "WF-Checking" tool which allows the implementation and testing of the proposed approach.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hinkel, Georg
AU  - Goldschmidt, Thomas
AU  - Burger, Erik
AU  - Reussner, Ralf
TI  - Using internal domain-specific languages to inherit tool support and modularity for model transformations
JF  - SOFTWARE AND SYSTEMS MODELING
J2  - SOFTW SYST MODEL
PY  - 2017
SP  - 1
EP  - 27
PG  - 27
SN  - 1619-1366
DO  - 10.1007/s10270-017-0578-9
UR  - https://m2.mtmt.hu/api/publication/27163183
ID  - 27163183
N1  - FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, Karlsruhe, 76131, Germany            
            ABB Corporate Research, Wallstadter Straße 59, Ladenburg, 68526, Germany            
            Karlsruhe Institute of Technology, Am Fasanengarten 5, Karlsruhe, 76131, Germany            
            Cited By :11            
            Export Date: 20 May 2022            
            Correspondence Address: Hinkel, G.; FZI Forschungszentrum Informatik, Haid-und-Neu-Straße 10-14, Germany; email: hinkel@fzi.de
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Leblebici, Erhan
AU  - Anjorin, Anthony
AU  - Schuerr, Andy
ED  - Rubin, J
TI  - Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 10202
PY  - 2017
IS  - Uppsala
SP  - 191
EP  - 207
PG  - 17
SN  - 0302-9743
DO  - 10.1007/978-3-662-54494-5_11
UR  - https://m2.mtmt.hu/api/publication/27319792
ID  - 27319792
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bottoni, Paolo
AU  - Guerra, Esther
AU  - de Lara, Juan
TI  - Pattern-based Rewriting through Abstraction
JF  - FUNDAMENTA INFORMATICAE
J2  - FUND INFOR
VL  - 144
PY  - 2016
IS  - 2
SP  - 109
EP  - 160
PG  - 52
SN  - 0169-2968
DO  - 10.3233/FI-2016-1325
UR  - https://m2.mtmt.hu/api/publication/25804377
ID  - 25804377
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Gerpheide, Christine M
AU  - Schiffelers, Ramon R H
AU  - Serebrenik, Alexander
TI  - Assessing and improving quality of QVTo model transformations
JF  - SOFTWARE QUALITY JOURNAL
J2  - SOFTWARE QUAL J
VL  - 24
PY  - 2016
IS  - 3
SP  - 797
EP  - 834
PG  - 38
SN  - 0963-9314
DO  - 10.1007/s11219-015-9280-8
UR  - https://m2.mtmt.hu/api/publication/26230248
ID  - 26230248
N1  - Eindhoven University of Technology, P.O. Box 513, Eindhoven, 5600 MB, Netherlands            
            ASML N.V., De Run 6501, Veldhoven, 5504 DR, Netherlands            
            Cited By :7            
            Export Date: 2 January 2020            
            Correspondence Address: Gerpheide, C.M.; Eindhoven University of Technology, P.O. Box 513, Netherlands; email: christine.ger@phei.de
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Besova, Galina
AU  - Steenken, Dominik
AU  - Wehrheim, Heike
TI  - Grammar-based model transformations: Definition, execution, and quality properties
JF  - COMPUTER LANGUAGES SYSTEMS & STRUCTURES
J2  - COMPUT LANG SYST STR
VL  - 43
PY  - 2015
SP  - 116
EP  - 138
PG  - 23
SN  - 1477-8424
DO  - 10.1016/j.cl.2015.05.003
UR  - https://m2.mtmt.hu/api/publication/25471396
ID  - 25471396
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruggink, H J Sander
AU  - Koenig, Barbara
AU  - Nolte, Dennis
AU  - Zantema, Hans
TI  - Proving Termination of Graph Transformation Systems Using Weighted Type Graphs over Semirings
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 9151
PY  - 2015
IS  - LAquila
SP  - 52
EP  - 68
PG  - 17
SN  - 0302-9743
DO  - 10.1007/978-3-319-21145-9_4
UR  - https://m2.mtmt.hu/api/publication/25471395
ID  - 25471395
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Burgueno, Loli
AU  - Troya, Javier
AU  - Wimmer, Manuel
AU  - Vallecillo, Antonio
TI  - Static Fault Localization in Model Transformations
JF  - IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
J2  - IEEE T SOFTWARE ENG
VL  - 41
PY  - 2015
IS  - 5
SP  - 490
EP  - 506
PG  - 17
SN  - 0098-5589
DO  - 10.1109/TSE.2014.2375201
UR  - https://m2.mtmt.hu/api/publication/24905344
ID  - 24905344
N1  - Funding Agency and Grant Number: Spanish Project [TIN2011-23795]; Austrian Research Promotion Agency (FFG) [832160]; EC under ICT Policy Support Programme [317859]
            Funding text: This work has been supported by Spanish Project TIN2011-23795, by Austrian Research Promotion Agency (FFG) under grant 832160 and by the EC under ICT Policy Support Programme (grant no. 317859). Loli Burgueno is the corresponding author.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Lengyel, László
TI  - Validating Rule-based Algorithms
JF  - ACTA POLYTECHNICA HUNGARICA
J2  - ACTA POLYTECH HUNG
VL  - 12
PY  - 2015
IS  - 4
SP  - 59
EP  - 75
PG  - 17
SN  - 1785-8860
DO  - 10.12700/APH.12.4.2015.4.4
UR  - https://m2.mtmt.hu/api/publication/2925179
ID  - 2925179
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Wijs, Anton
TI  - Confluence Detection for Transformations of Labelled Transition Systems
JF  - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTRON PROC THEOR COMPUT SCI
VL  - 181
PY  - 2015
SP  - 1
EP  - 15
PG  - 15
SN  - 2075-2180
DO  - 10.4204/EPTCS.181.1
UR  - https://m2.mtmt.hu/api/publication/25471397
ID  - 25471397
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bisztray, D
AU  - Heckel, R
TI  - Combining termination proofs in model transformation systems
JF  - MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
J2  - MATH STRUCT COMP SCI
VL  - 24
PY  - 2014
IS  - 4
PG  - 30
SN  - 0960-1295
DO  - 10.1017/S0960129512000369
UR  - https://m2.mtmt.hu/api/publication/24542043
ID  - 24542043
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruggink, HJS
AU  - König, B
AU  - Zantema, H
TI  - Termination analysis for graph transformation systems
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 8705 LNCS
PY  - 2014
SP  - 179
EP  - 194
PG  - 16
SN  - 0302-9743
DO  - 10.1007/978-3-662-44602-7_15
UR  - https://m2.mtmt.hu/api/publication/25892363
ID  - 25892363
N1  - A4
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Anwar, A
AU  - Benelallam, A
AU  - Nassar, M
AU  - Coulette, B
TI  - A graphical specification of model composition with triple graph grammars
JF  - LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
J2  - LECT NOTES ARTIF INT
VL  - 7706 LNCS
PY  - 2013
SP  - 1
EP  - 18
PG  - 18
SN  - 0302-9743
DO  - 10.1007/978-3-642-38209-3_1
UR  - https://m2.mtmt.hu/api/publication/25892364
ID  - 25892364
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Asztalos, Márk
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
TI  - Formal specification and analysis of functional properties of graph rewriting-based model transformation
JF  - SOFTWARE TESTING VERIFICATION & RELIABILITY
J2  - SOFTW TEST VERIF REL
VL  - 23
PY  - 2013
IS  - 5
SP  - 405
EP  - 435
PG  - 31
SN  - 0960-0833
DO  - 10.1002/stvr.1502
UR  - https://m2.mtmt.hu/api/publication/2658440
ID  - 2658440
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Calegari, D
AU  - Szasz, N
TI  - Verification of model transformations: A survey of the state-of-the-art
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 292
PY  - 2013
SP  - 5
EP  - 25
PG  - 21
SN  - 1571-0661
DO  - 10.1016/j.entcs.2013.02.002
UR  - https://m2.mtmt.hu/api/publication/27185241
ID  - 27185241
N1  - Megjegyzés-24003329
:doi 10.1016/j.entcs.2013.02.002
Megjegyzés-24002947
:doi 10.1016/j.entcs.2013.02.002
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Lamo, Y
AU  - Mantz, F
AU  - Rutle, A
AU  - De Lara, J
TI  - A declarative and bidirectional model transformation approach based on graph co-spans
T2  - 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
PB  - Association for Computing Machinery (ACM)
SN  - 9781450321549
PB  - Association for Computing Machinery (ACM)
PY  - 2013
SP  - 1
EP  - 12
PG  - 12
DO  - 10.1145/2505879.2505900
UR  - https://m2.mtmt.hu/api/publication/25892365
ID  - 25892365
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Golas, U
AU  - Lambers, L
AU  - Ehrig, H
AU  - Orejas, F
TI  - Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs
JF  - THEORETICAL COMPUTER SCIENCE
J2  - THEOR COMPUT SCI
VL  - 424
PY  - 2012
SP  - 46
EP  - 68
PG  - 23
SN  - 0304-3975
DO  - 10.1016/j.tcs.2012.01.032
UR  - https://m2.mtmt.hu/api/publication/24135051
ID  - 24135051
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kreowski, H -J
AU  - Kuske, S
AU  - Von Totth, C
TI  - Combining graph transformation and algebraic specification into model transformation
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 7137 LNCS
PY  - 2012
SP  - 193
EP  - 208
PG  - 16
SN  - 0302-9743
DO  - 10.1007/978-3-642-28412-0_13
UR  - https://m2.mtmt.hu/api/publication/23929288
ID  - 23929288
N1  - Megjegyzés-24002575
:doi 10.1007/978-3-642-28412-0_13
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Vallecillo, A
AU  - Gogolla, M
AU  - Burgueño, L
AU  - Wimmer, M
AU  - Hamann, L
TI  - Formal specification and testing of model transformations
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 7320
PY  - 2012
SP  - 399
EP  - 437
PG  - 39
SN  - 0302-9743
DO  - 10.1007/978-3-642-30982-3_11
UR  - https://m2.mtmt.hu/api/publication/24135052
ID  - 24135052
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Vallecillo, A
AU  - Gogolla, M
ED  - Zhenjiang, Hu
ED  - Juan, de Lara
TI  - Typing model transformations using tracts
T2  - Theory and Practice of Model Transformations
PB  - Springer Netherlands
CY  - Berlin
SN  - 9783642304767
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 7307.
PY  - 2012
SP  - 56
EP  - 71
PG  - 16
DO  - 10.1007/978-3-642-30476-7_4
UR  - https://m2.mtmt.hu/api/publication/24135053
ID  - 24135053
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Al-Batran, B
AU  - Schätz, B
AU  - Hummel, B
ED  - Whittle, Jon
ED  - Clark, Tony
ED  - Kühne, Thomas
TI  - Semantic clone detection for model-based development of embedded systems
T2  - Model Driven Engineering Languages and Systems
PB  - Springer Netherlands
CY  - Heidelberg
SN  - 9783642244858
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 6981.
PY  - 2011
SP  - 258
EP  - 272
PG  - 15
DO  - 10.1007/978-3-642-24485-8_19
UR  - https://m2.mtmt.hu/api/publication/24135047
ID  - 24135047
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Barroca, B
AU  - Lúcio, L
AU  - Amaral, V
AU  - Félix, R
AU  - Sousa, V
TI  - DSLTrans: a turing incomplete transformation language
VL  - 2011
PY  - 2011
SP  - 296
EP  - 305
PG  - 10
DO  - 10.1007/978-3-642-19440-5_19
UR  - https://m2.mtmt.hu/api/publication/21490088
ID  - 21490088
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Gogolla, M
AU  - Vallecillo, A
TI  - Tractable model transformation testing
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 6698
PY  - 2011
SP  - 221
EP  - 235
PG  - 15
SN  - 0302-9743
DO  - 10.1007/978-3-642-21470-7_16
UR  - https://m2.mtmt.hu/api/publication/24135049
ID  - 24135049
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Khedmati, M
AU  - Rafeh, V
AU  - Rahmani, M
TI  - Verification and validation of model refinement implemented through graph transformation systems
JF  - INTERNATIONAL JOURNAL OF PHYSICAL SCIENCES
J2  - INT J PHYS SCI
VL  - 6
PY  - 2011
IS  - 16
SP  - 4086
EP  - 4090
PG  - 5
SN  - 1992-1950
UR  - https://m2.mtmt.hu/api/publication/23885457
ID  - 23885457
N1  - Department of Computer Engineering, Arak Branch, Islamic Azad University, Arak, Iran            
            Department of Computer Engineering, Malayer Branch, Islamic Azad University, Malayer, Iran            
            Cited By :2            
            Export Date: 20 May 2022            
            Correspondence Address: Rahmani, M.; Department of Computer Engineering, , Malayer, Iran; email: m-rahmani@araku.ac.ir
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kreowski, HJ
AU  - Kuske, S
TI  - Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
JF  - NATURAL COMPUTING
J2  - NAT COMPUT
VL  - 10
PY  - 2011
IS  - Vienna, AUSTRIA
SP  - 961
EP  - 986
PG  - 26
SN  - 1567-7818
DO  - 10.1007/s11047-010-9245-6
UR  - https://m2.mtmt.hu/api/publication/21529106
ID  - 21529106
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Asztalos, M
AU  - Ekler, P
AU  - Lengyel, L
AU  - Levendovszky, T
AU  - Madari, I
AU  - Vajk, T
TI  - Automated Formal Verification of Graph Rewriting-Based Model Transformations
JF  - Buletinul stiintific si tehnic al Universitatii Tehnice din Timisoara, Seria Automatica si Calculatoare
J2  - Buletinul stiintific si tehnic al Universitatii Tehnice din Timisoara, Seria Automatica si Calculatoare
VL  - 55(69)
PY  - 2010
IS  - 4
SP  - 175
EP  - 184
PG  - 10
SN  - 1223-7299
UR  - https://m2.mtmt.hu/api/publication/24135042
ID  - 24135042
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Asztalos, Márk
AU  - Madari, István
AU  - Vajk, Tamás
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
ED  - Szakál, A
TI  - Formal Verification of Model Transformations: an Automated Framework
T2  - IEEE International Joint Conferences on Computational Cybernetics and Technical Informatics, ICCC-CONTI 2010
PB  - IEEE
CY  - Temesvár
CY  - Piscataway (NJ)
SN  - 9781424474325
PY  - 2010
SP  - 493
EP  - 498
PG  - 6
DO  - 10.1109/ICCCYB.2010.5491223
UR  - https://m2.mtmt.hu/api/publication/2654235
ID  - 2654235
AB  - Verification of models and model processing programs are inevitable in real world model-based software development. Model transformation developers are often interested in offline verification methods, when only the definition of the model transformation and the specification of the source and target languages are used to analyze the properties and no concrete input models are taken into account. Therefore, the results of the analysis hold for each output model not just particular ones, and we have to perform the analysis only once. Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the analysis of only a certain property. Previous work has presented formal and algorithmic background for a possible verification framework. Based on this background, this paper introduces a realization of an automated verification framework for graph rewriting-based model transformations. We illustrate the operation of the framework and demonstrate its applicability on a case study. Our goal is to further improve our approach in order to be able to be applied in more complex industrial solutions as well.
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Asztalos, Márk
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
ED  - IEEE, null
TI  - Towards Automated, Formal Verification of Model Transformations
T2  - 3rd International Conference on Software Testing, Verification and Validation, ICST 2010
PB  - IEEE Computer Society Press
CY  - Los Alamitos (CA)
SN  - 1424464358
PY  - 2010
SP  - 15
EP  - 24
PG  - 10
DO  - 10.1109/ICST.2010.42
UR  - https://m2.mtmt.hu/api/publication/2654234
ID  - 2654234
AB  - Verification of models and model processing programs are inevitable in real-world model-based software development. Model transformation developers are interested in offline verification methods, when only the definition of the model transformation and the metamodels of the source and target languages are used to analyze the properties and no concrete input models are taken into account. Therefore, the results of the analysis hold for each output model not just particular ones, and we have to perform the analysis only once. Most often, formal verification of model transformations is performed manually or the methods can be applied only for a certain transformation or for the analysis of only a certain property. Previous work has presented a formalism to describe the characteristics of model transformations in separate formal expressions called assertions. This description is based on the first-order logic, therefore, if deduction rules are provided, a reasoning system can use an assertion set to automatically derive additional assertions describing additional properties of model transformations. In this paper, we propose deduction rules and present the verification of a model transformation of processing business process models.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Asztalos, Márk
AU  - Madari, István
AU  - Lengyel, László
TI  - Towards Formal Analysis of Multi-paradigm Model Transformations
JF  - SIMULATION-TRANSACTIONS OF THE SOCIETY FOR COMPUTER SIMULATION INTERNATIONAL
J2  - SIMULATION
VL  - 86
PY  - 2010
IS  - 7
SP  - 429
EP  - 452
PG  - 24
SN  - 0037-5497
DO  - 10.1177/0037549709343545
UR  - https://m2.mtmt.hu/api/publication/2654241
ID  - 2654241
AB  - The Multi-Paradigm Modeling (MPM) approach of model-based development emphasizes the specification of a system by multiple models. We use transformations to automatically transform, integrate and synchronize models. Verification and validation of model transformations are fundamental issues: we need to express what a valid model is and how a valid model transformation may transform the models; otherwise, we have to analyze each transformed model individually, which makes it difficult to automate the process of using models. We have formally analyzed various model transformations in several case studies and industrial projects. From this experience, we have distilled the frequently recurring techniques and solutions, referred to as Model Transformation Analysis (MTA) methods. These instances, similarly to design patterns in object-oriented programming, define special constructions as solutions for recurring problems that arise when one implements a model transformation. Moreover, MTA methods contain special techniques and language features that should be taken into account when one designs a model transformation framework or a model transformation language. We hope that MTA methods may be the basis of automated formal analysis techniques of model transformations. This paper contributes the concept and instances of MTA methods and provides a case study based on an industrial project of mobile application development. With this real-world example, we want to demonstrate the role and use of MTA methods. The case study is implemented in Visual Modeling and Transformation System (VMTS), which is a tool that realizes the MPM concept to provide a model and model transformation-based environment for software development.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bisztray, D
AU  - Heckel, R
TI  - Combining termination criteria by isolating deletion
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 6372
PY  - 2010
SP  - 203
EP  - 217
PG  - 15
SN  - 0302-9743
DO  - 10.1007/978-3-642-15928-2_14
UR  - https://m2.mtmt.hu/api/publication/21490096
ID  - 21490096
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ermel, C
TI  - Visual Modelling and Analysis of Model Transformations based on Graph Transformation
JF  - BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE
J2  - BULL EATCS
VL  - 2009
PY  - 2010
IS  - 99
SP  - 135
EP  - 152
PG  - 18
SN  - 0252-9742
UR  - https://m2.mtmt.hu/api/publication/23929054
ID  - 23929054
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hermann, F
AU  - Hülsbusch, M
AU  - König, B
TI  - Specification and verification of model transformations
JF  - ELECTRONIC COMMUNICATIONS OF THE EASST
J2  - ELECTR COMMUN EASST
VL  - 30
PY  - 2010
SP  - 1
EP  - 21
PG  - 21
SN  - 1863-2122
UR  - https://m2.mtmt.hu/api/publication/24135045
ID  - 24135045
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Kessentini, M
AU  - Wimmer, M
AU  - Sahraoui, H
AU  - Boukadoum, M
TI  - Generating transformation rules from examples for behavioral models
T2  - ACM International Conference Proceeding Series
PB  - Association for Computing Machinery (ACM)
CY  - New York, New York
SN  - 9781605589619
PY  - 2010
DO  - 10.1145/1811147.1811149
UR  - https://m2.mtmt.hu/api/publication/21490094
ID  - 21490094
N1  - DIRO, Université de Montréal, Canada            
            DI, Université du Québec, Montréal, Canada            
            Vienna University of Technology, Austria            
            Cited By :15            
            Export Date: 20 May 2022            
            Correspondence Address: Kessentini, M.; DIRO, Canada; email: Kessentm@iro.umontreal.ca
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Moeini, A
AU  - Rafe, V
AU  - Mahdian, F
TI  - An approach to refactoring legacy systems
T2  - ICACTE 2010 - 2010 3rd International Conference on Advanced Computer Theory and Engineering, Proceedings
SN  - 9781424465408
PY  - 2010
SP  - V55
EP  - V58
DO  - 10.1109/ICACTE.2010.5579183
UR  - https://m2.mtmt.hu/api/publication/24135050
ID  - 24135050
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Said, B
TI  - Réécriture de graphes pour la construction de modčles en logique modale
PY  - 2010
UR  - https://m2.mtmt.hu/api/publication/21490093
ID  - 21490093
N1  - Megjegyzés-23929464
UR: http://tel.archives-ouvertes.fr/docs/00/46/61/15/PDF/2010_Bilal_SAID_thesis-en-fr.pdf
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Vyatkin, V
AU  - Dubinin, V
TI  - Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard
JF  - IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS
J2  - IEEE T IND INFORM
VL  - 6
PY  - 2010
IS  - 2
SP  - 155
EP  - 165
PG  - 11
SN  - 1551-3203
DO  - 10.1109/TII.2009.2033051
UR  - https://m2.mtmt.hu/api/publication/23935213
ID  - 23935213
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bisztray, Dénes András
AU  - Reiko, Heckel
AU  - Hartmut, Ehrig
TI  - Compositionality of Model Transformations
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 236
PY  - 2009
SP  - 5
EP  - 19
PG  - 15
SN  - 1571-0661
DO  - 10.1016/j.entcs.2009.03.011
UR  - https://m2.mtmt.hu/api/publication/2653932
ID  - 2653932
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Hidaka, S Hu
AU  - Z, Kato H
AU  - Nakano, K
TI  - Towards a compositional approach to model transformation for software development
T2  - Proceedings of the 2009 ACM Symposium on Applied Computing
PY  - 2009
SP  - 468
EP  - 475
PG  - 8
DO  - 10.1145/1529282.1529383
UR  - https://m2.mtmt.hu/api/publication/24117350
ID  - 24117350
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Junbing, C
AU  - Zhijian, W
AU  - Si, Q
AU  - Bo, C
TI  - Warshall Based Detection of Conflicts and Dependencies in Graph Transformation System
T2  - Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
PB  - IEEE
PB  - IEEE
PY  - 2009
SP  - 1
EP  - 4
PG  - 4
UR  - https://m2.mtmt.hu/api/publication/24135043
ID  - 24135043
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Miralvand, M R Z
AU  - Rafe, V
AU  - Rafeh, R
AU  - Hajiee, M
TI  - Automatic refinement of platform independent models
T2  - ICCTD 2009 - 2009 International Conference on Computer Technology and Development
PB  - IEEE Computer Society
SN  - 9780769538921
PY  - 2009
SP  - 191
EP  - 195
PG  - 5
DO  - 10.1109/ICCTD.2009.170
UR  - https://m2.mtmt.hu/api/publication/21490101
ID  - 21490101
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Orejas, F
AU  - Guerra, E
AU  - de Lara, J
AU  - Ehrig, H
ED  - Kurz, Alexander
ED  - Lenisa, Marina
ED  - Tarlecki, Andrzej
TI  - Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
T2  - Algebra and Coalgebra in Computer Science
PB  - Springer Netherlands
CY  - Berlin
CY  - Heidelberg
SN  - 9783642037405
T3  - Lecture Notes in Computer Science, ISSN 0302-9743 ; 5728.
PY  - 2009
SP  - 383
EP  - 397
PG  - 15
DO  - 10.1007/978-3-642-03741-2_26
UR  - https://m2.mtmt.hu/api/publication/24135046
ID  - 24135046
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Raftari, M
AU  - Joodaki, S
TI  - Automatic development of service oriented models using graph transformation systems
T2  - TENCON 2009, 2009 IEEE Region 10 Conference
PB  - IEEE
CY  - Singapore
SN  - 9781424445462
T3  - IEEE Region 10 Conference 2009, ISSN 0886-1420
PY  - 2009
DO  - 10.1109/TENCON.2009.5395983
UR  - https://m2.mtmt.hu/api/publication/21490102
ID  - 21490102
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bruggink, H J S
TI  - Towards a Systematic Method for Proving Termination of Graph Transformation Systems
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 213
PY  - 2008
IS  - 1
SP  - 23
EP  - 38
PG  - 16
SN  - 1571-0661
DO  - 10.1016/j.entcs.2008.04.072
UR  - https://m2.mtmt.hu/api/publication/21490105
ID  - 21490105
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Combemale, B
TI  - Approche de métamodélisation pour la simulation et la vérification de modčle
PY  - 2008
SP  - 198
UR  - https://m2.mtmt.hu/api/publication/21490113
ID  - 21490113
LA  - French
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Engels, G
AU  - Kleppe, A
AU  - Rensink, A
AU  - Semenyak, M
AU  - Soltenborn, C
AU  - Wehrheim, H
TI  - From UML Activities to TAAL-Towards Behaviour-Preserving Model Transformations
T2  - 4th European Conference on Model Driven Architecture - Foundations and Applications
SN  - 9783540690955
PY  - 2008
SP  - 94
EP  - 109
PG  - 16
DO  - 10.1007/978-3-540-69100-6-7
UR  - https://m2.mtmt.hu/api/publication/21490112
ID  - 21490112
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Hidaka, S
AU  - Hu, Z
AU  - Kato, H
AU  - Nakano, K
TI  - Towards Compositional Approach to Model Transformation for Software Development
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/21490146
ID  - 21490146
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Hölscher, K
AU  - Klempien-Hinrichs, R
AU  - Knirsch, P
TI  - Undecidable Control Conditions in Graph Transformation Units
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 195
PY  - 2008
IS  - C
SP  - 95
EP  - 111
PG  - 17
SN  - 1571-0661
DO  - 10.1016/j.entcs.2007.08.028
UR  - https://m2.mtmt.hu/api/publication/21490103
ID  - 21490103
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Kastenberg, Harmen
TI  - Graph-Based Software Specification and Verification
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/23928884
ID  - 23928884
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Kreowski, H J
AU  - Kuske, S
TI  - Graph multiset transformation as a framework for massively parallel computation
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 5214
PY  - 2008
SP  - 351
EP  - 365
PG  - 15
SN  - 0302-9743
DO  - 10.1007/978-3-540-87405-8_24
UR  - https://m2.mtmt.hu/api/publication/21490110
ID  - 21490110
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Oikawa, M K
TI  - Geraçao de expressoes algébricas para processos de negócio usando reduçoes de digrafos série-paralelo
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/21490111
ID  - 21490111
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Perez, Velasco P P
TI  - Matrix Graph Grammars
PY  - 2008
UR  - https://m2.mtmt.hu/api/publication/24135037
ID  - 24135037
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Rensink, A
AU  - Nederpel, R
TI  - Graph Transformation Semantics for a QVT Language
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 211
PY  - 2008
IS  - C
SP  - 51
EP  - 62
PG  - 12
SN  - 1571-0661
DO  - 10.1016/j.entcs.2008.04.029
UR  - https://m2.mtmt.hu/api/publication/21490811
ID  - 21490811
N1  - Cited By :3            
            Export Date: 20 May 2022            
            Correspondence Address: Rensink, A.; University of Twente, P.O. Box 217, 7500 AE Enschede, Netherlands
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Anastasakis, K
AU  - Bordbar, B
AU  - Kuster, J M
TI  - Analysis of Model Transformations via Alloy
T2  - The 4th MoDeVVa workshop Model-Driven Engineering, Verification and Validation
PY  - 2007
UR  - https://m2.mtmt.hu/api/publication/24135038
ID  - 24135038
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - de Lara, J
AU  - Bardohl, R
AU  - Ehrig, H
AU  - Ehrig, K
AU  - Prange, U
AU  - Taentzer, G
TI  - Attributed graph transformation with node type inheritance
JF  - THEORETICAL COMPUTER SCIENCE
J2  - THEOR COMPUT SCI
VL  - 376
PY  - 2007
IS  - 3
SP  - 139
EP  - 163
PG  - 25
SN  - 0304-3975
DO  - 10.1016/j.tcs.2007.02.001
UR  - https://m2.mtmt.hu/api/publication/21490116
ID  - 21490116
N1  - Megjegyzés-23885544
Source: Scopus
Megjegyzés-23929795
Source: Scopus
LA  - English
DB  - MTMT
ER  - 

TY  - THES
AU  - Denninger, O
TI  - Erweiterung des Kantenkonzepts deklarativer Graphersetzungssysteme von Einfachkantenuber Hyperkanten zu
PY  - 2007
UR  - https://m2.mtmt.hu/api/publication/23929628
ID  - 23929628
N1  - Megjegyzés-21490115
MSc Thesis
LA  - English
DB  - MTMT
ER  - 

TY  - CHAP
AU  - Guerra, E
AU  - de Lara, J
TI  - Meta-modelling and graph transformation for the definition of multi-view visual languages
T2  - Visual Languages for Interactive Computing: Definitions and Formalizations
PB  - IGI Global
SN  - 9781599045344
PB  - IGI Global
PY  - 2007
SP  - 74
EP  - 101
PG  - 28
DO  - 10.4018/978-1-59904-534-4.ch004
UR  - https://m2.mtmt.hu/api/publication/25892366
ID  - 25892366
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Mens, T
AU  - Van, Der Straeten R
TI  - Incremental Resolution of Model Inconsistencies
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 4409
PY  - 2007
SP  - 111
EP  - 126
PG  - 16
SN  - 0302-9743
UR  - https://m2.mtmt.hu/api/publication/21490114
ID  - 21490114
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bottoni, P
AU  - Hoffmann, K
AU  - Presicce, F P
TI  - Termination of Algebraic Rewriting with Inhibitors
JF  - ELECTRONIC COMMUNICATIONS OF THE EASST
J2  - ELECTR COMMUN EASST
VL  - 4
PY  - 2006
SP  - 1
EP  - 13
PG  - 13
SN  - 1863-2122
UR  - https://m2.mtmt.hu/api/publication/21490122
ID  - 21490122
N1  - Selected papers of Graph and Model Transformation 2006
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - D'Antonio, F
AU  - Bottoni, P
AU  - Missikoff, M
TI  - Towards a Unified View of Model Mapping and Transformation
T2  - EMOI - INTEROP'06, Enterprise Modelling and Ontologies for Interoperability, Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability
PY  - 2006
UR  - https://m2.mtmt.hu/api/publication/24135041
ID  - 24135041
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ehrig, H
AU  - Ehrig, K
TI  - Overview of formal concepts for model transformations based on typed attributed graph transformation
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 152
PY  - 2006
IS  - 1-2
SP  - 3
EP  - 22
PG  - 20
SN  - 1571-0661
DO  - 10.1016/j.entcs.2006.01.011
UR  - https://m2.mtmt.hu/api/publication/23885380
ID  - 23885380
N1  - Source: Scopus
Megjegyzés-23930035
Source: Scopus
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Ehrig, K
AU  - Ermel, C
AU  - Hansgen, S
TI  - Towards model transformation in generated Eclipse editor plug-ins
JF  - ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
J2  - ELECTR NOTES COMPUT SCI
VL  - 152
PY  - 2006
IS  - 1-2
SP  - 39
EP  - 52
PG  - 14
SN  - 1571-0661
DO  - 10.1016/j.entcs.2006.01.013
UR  - https://m2.mtmt.hu/api/publication/23885382
ID  - 23885382
N1  - Source: Scopus
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Habel, A
AU  - Pennemann, KH
AU  - Rensink, A
TI  - Weakest preconditions for high-level programs
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 4178
PY  - 2006
SP  - 445
EP  - 460
PG  - 16
SN  - 0302-9743
UR  - https://m2.mtmt.hu/api/publication/23929310
ID  - 23929310
N1  - Ez a hivatkozás téves -> törlendő
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Habel, A
AU  - Pennemann, K H
AU  - Rensink, A
TI  - Weakest Preconditions for High-Level Programs (Long Version)
PY  - 2006
UR  - https://m2.mtmt.hu/api/publication/23929875
ID  - 23929875
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
AU  - Mezei, Gergely
AU  - Charaf, Hassan
TI  - Model Transformation with a Visual Control Flow Language
JF  - INTERNATIONAL JOURNAL OF COMPUTER SCIENCE
J2  - INT J COMP SCI
VL  - 1
PY  - 2006
IS  - 1
SP  - 45
EP  - 53
PG  - 9
SN  - 1306-4428
UR  - https://m2.mtmt.hu/api/publication/2665111
ID  - 2665111
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Mens, T
AU  - Van, Der Straeten R
AU  - Warny, J F
TI  - Graph-Based Tool Support to Improve Model Quality
T2  - Workshop on Quality in Modeling
PY  - 2006
SP  - 47
EP  - 61
PG  - 15
UR  - https://m2.mtmt.hu/api/publication/24135040
ID  - 24135040
LA  - English
DB  - MTMT
ER  - 

TY  - GEN
AU  - Modica, T
TI  - Eine attributierte getypte Graphgrammatik zum syntaxgesteuerten Editieren von UML State Machines
PY  - 2006
UR  - https://m2.mtmt.hu/api/publication/21490127
ID  - 21490127
LA  - German
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Varró, Dániel
AU  - Varró-Gyapay, Szilvia
AU  - Ehrig, H
AU  - Prange, U
AU  - Taentzer, G
TI  - Termination analysis of model transformations by Petri nets
JF  - LECTURE NOTES IN COMPUTER SCIENCE
J2  - LNCS
VL  - 4178
PY  - 2006
SP  - 260
EP  - 274
PG  - 15
SN  - 0302-9743
DO  - 10.1007/11841883_19
UR  - https://m2.mtmt.hu/api/publication/1635273
ID  - 1635273
AB  - Despite the increasing relevance of model transformation techniques in model-driven software development, research is mainly conducted to the specification and the automation of such transformations. However, since the transformations themselves may also contain conceptual flaws, it is essential to formally analyze them prior to executing them on user models. In the current paper, we focus on a central validation problem of trusted model transformations, namely, termination and propose a Petri net based analysis method that provides a sufficient criterion for the termination problem of model transformations captured by graph transformation systems.
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Bottoni, P
AU  - Hoffmann, K
AU  - Presicce, FP
AU  - Taentzer, G
TI  - High-level replacement units and their termination properties
JF  - JOURNAL OF VISUAL LANGUAGES AND COMPUTING
J2  - J VISUAL LANG COMPUT
VL  - 16
PY  - 2005
IS  - 6
SP  - 485
EP  - 507
PG  - 23
SN  - 1045-926X
DO  - 10.1016/j.jvlc.2005.07.001
UR  - https://m2.mtmt.hu/api/publication/21490128
ID  - 21490128
LA  - English
DB  - MTMT
ER  - 

TY  - CONF
AU  - Lengyel, László
AU  - Levendovszky, Tihamér
AU  - Charaf, Hassan
ED  - Ardil, C
TI  - A Visual Control Flow Language and Its Termination Properties
T2  - Transactions on Enformatika, Systems Sciences and Engineering
PB  - World Academy of Science, Engineering and Technology (WASET)
C1  - Canakkale
T3  - Proceedings of World Academy of Science Engineering and Technology, ISSN 1307-6884 ; 8.
PY  - 2005
SP  - 163
EP  - 168
PG  - 6
UR  - https://m2.mtmt.hu/api/publication/1076669
ID  - 1076669
LA  - English
DB  - MTMT
ER  -