Tihamér Levendovszky

Current Issues in Multi-Paradigm Modeling (2009)

Juan De Lara, Tihamér Levendovszky, Pieter J. Mosterman

Abstract. The comprehensive use of models in design has created a set of challenges beyond that of supporting one isolated design task. In particular, the need to combine, couple, and integrate...

Magyar Kutatók 7. Nemzetközi Szimpóziuma 7 th International Symposium of Hungarian Researchers on Computational Intelligence Integrating Model Transformation Systems and Asynchronous Cluster Tools (2009)

Gergely Mezei, Sándor Juhász, Tihamér Levendovszky

Abstract: Our primary research focuses on creating an efficient model transformation method that is based on graph transformations. We have found that there are cases when using single computers to...

Magyar Kutatók 7. Nemzetközi Szimpóziuma 7 th International Symposium of Hungarian Researchers on Computational Intelligence TPC Benchmark (2008)

Márk Kaszó, Tihamér Levendovszky

Abstract: Scalability is one of the many challenges in designing an e-commerce or an ebusiness application. Transaction Processing Performance Council (TPC) [6] designed well-usable models to analyze...

Presentation Framework – an Environment for Editing Metamodels (2008)

Gergely Mezei, Tihamér Levendovszky, Hassan Charaf

Abstract: The growing complexity of the software systems made the model-based application development one of the most focused research fields. General purpose modeling languages, like UML are not...

Magyar Kutatók 8. Nemzetközi Szimpóziuma 8 th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics Modeling Web Service Interaction Using Extended BPEL Language (2008)

Márk Kaszó, Csaba Legány, Tihamér Levendovszky

Abstract: Nowadays web services and SOA (Service Oriented Architecture) systems have fundamental significance in computer science, especially in platform integration. The most common consideration is...

GraBaTs’04 Preliminary Version A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS (2008)

Tihamér Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf

Highly configurable metamodeling environments and graph transformation techniques have been applied successfully in software system modeling and other areas. In this paper a uniform treatment of...

Implementing an OCL 2.0 Compiler for Metamodeling Environments (2008)

Gergely Mezei, Tihamér Levendovszky, Hassan Charaf

Abstract: The Unified Modeling Language (UML) has become a standard in modeling, but it cannot express all the necessary modeling information between the model items. Object Constraint Language (OCL)...

Constraint handling in Feature Models (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Abstract: Model transformation means converting an input model available at the beginning of the transformation process to an output model. The paper addresses the expressiveness issues of the graph...

Handling Session Classes for Predicting ASP.NET Performance Metrics (2008)

Ágnes Bogárdi-mészöly, Tihamér Levendovszky, Hassan Charaf

Distributed systems and web applications play an important role in computer science nowadays. The most common consideration is performance, because these systems must provide services with low...

Aspect-Oriented Techniques in Metamodel- Based Model Transformation (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Abstract: Aspect-Oriented Software Development (AOSD) is an emerging area with the goal of promoting advanced separation of concerns throughout the software development lifecycle. AOSD started on...

Extending the Performance Models of Web Applications with Queueing Algorithm (2008)

Ágnes Bogárdi-mészöly, Tihamér Levendovszky, Hassan Charaf

Abstract: Distributed systems and web applications play an important role in computer science nowadays. The most common consideration is performance, because these systems have to provide...

Magyar Kutatók 7. Nemzetközi Szimpóziuma 7 th International Symposium of Hungarian Researchers on Computational Intelligence Imperative OCL Compiler Support for Model Transformations (2008)

Tamás Vajk, Tihamér Levendovszky

Abstract: Model-Driven Architecture (MDA) is a widely known software design approach, which is intended to support model-driven engineering of software systems with specifications expressed as...

Execution Properties of a Visual Control Flow Language (2008)

László Lengyel, Tihamér Levendovszky, Gergely Mezei

Abstract: Graph rewriting-based model processing is a widely used technique for model transformation. Especially visual model transformations can be expressed by graph transformations, since graphs...

Constraint Validation in Model Compilers (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Model transformation has become one of the most focused research field, motivated by for instance the OMG’s Model-Driven Architecture (MDA). Metamodeling is a central technique in the design of...

H.: Model transformation with a visual control flow language (2008)

László Lengyel, Tihamér Levendovszky, Gergely Mezei, Hassan Charaf, I. Introduction

Abstract—Graph rewriting-based visual model processing is a widely used technique for model transformation. Visual model transformations often need to follow an algorithm that requires a strict...

Magyar Kutatók 8. Nemzetközi Szimpóziuma 8 th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics Marcov Models for Web Access Prediction (2008)

Raluca Popa, Tihamér Levendovszky

Abstract: The problem of predicting user’s behavior on a Web site has fundamental significance due to the rapid growth of the World Wide Web. Although traditional Markov models have been found to...

A Visual Control Flow Language and Its Termination Properties (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Abstract—This paper presents the visual control flow support of Visual Modeling and Transformation System (VMTS), which facilitates composing complex model transformations out of simple...

ELECTRONIC COMMUNICATIONS OF THE EASST A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages (2008)

Gergely Mezei, Tihamér Levendovszky, Hassan Charaf, Gabor Karsai, Gabriele Taentzer, Gergely Mezei, ...

Abstract. Metamodeling techniques are popular in describing the rules of special domains, namely, the abstract syntax, but these techniques do not support defining the concrete syntax (the...

Identification of Crosscutting Concerns in Constraint-Driven Validated Model Transformations Abstract (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Domain-specific model processors facilitate the efficient synthesis of application programs from software models. Often, model compilers are realized by graph rewriting-based model transformation. In...

Termination Criteria for DPO Transformations with Injective Matches, Graph Transformation for Verification and Concurrency, 2006 (to appear (2008)

Tihamér Levendovszky, Ulrike Prange, Hartmut Ehrig

Reasoning about graph and model transformation systems is an important means to underpin model-driven software engineering, such as Model-Driven Architecture (MDA) and Model Integrated Computing...

Implementing an OCL Compiler for.NET (2008)

László Lengyel, Tihamér Levendovszky, Hassan Charaf

Model-Driven Architecture standardized by OMG facilitates separating the platform-independent part (PIM) and the platform-specific part (PSM) of a system model. The platform-independent artifacts are...

Notre Dame Journal of Formal Logic (1981)

Gergely Mezei, Tihamér Levendovszky, Hassan Charaf

Abstract: Modeling, especially domain-specific modeling has growing importance in many fields of software enginering, such as modeling control flows of data processing for example in man-machine...