Papers by Tihamér Levendovszky
Supporting rapid application development on Symbian platform
Abstract Programniing for the Symbian OS assumes that developers invest particular and uncommon w... more Abstract Programniing for the Symbian OS assumes that developers invest particular and uncommon work, therefore the development lifecycle is rather longer and the costs are usually higher than these of common C++ software development. Dealing with user interface, database or communication, programming is not so straightforward as expected. However, am appropriate developer tool can help the developers to be more efficient and solve the designing and programming difficulties.
Graph Transformation Contest-UML to CSP Transformation
OCL for (Meta-) Models in Multiple Application Domains (OCLApps 2006)
Model-based development with strictly controlled model transformation
Validated model transformation-driven software development
Model-driven Software Engineering is one of the most focused research fields. Model processors au... more Model-driven Software Engineering is one of the most focused research fields. Model processors automatically generate the lower level artefacts. Graph transformation is a widely used technique for model transformations. Especially visual model transformations can be expressed by graph transformations. This paper presents a visual control flow support of the Visual Modelling and Transformation System and discusses the principles of the constraint-driven validated model transformation.
Automatic domain model migration to manage metamodel evolution
Abstract. Metamodel evolution is a significant problem in domain specific software development fo... more Abstract. Metamodel evolution is a significant problem in domain specific software development for several reasons. Domain-specific modeling languages (DSMLs) are likely to evolve much more frequently than programming languages and commonly used software formalisms, often resulting in a large number of valuable instance models that are no longer compliant with the metamodel. In this paper, we present the Model Change Language (MCL), aimed at satisfying these requirements.
Identification of crosscutting constraints in metamodel-based model transformations
Abstract This Model-Driven Development (MDD) facilitates the synthesis of application programs fr... more Abstract This Model-Driven Development (MDD) facilitates the synthesis of application programs from models created using customized, domain-specific model processors. Model compilers can be realized by graph rewriting-based model transformation. In Visual Modeling and Transformation System (VMTS), metamodel-based rewriting rules facilitate to assign OCL constraints to model transformation rules. This approach supports validated model transformation.
Incremental Type Checking in OCL Compilers
Abstract In software engineering, modeling tools have become widely accepted to increase applicat... more Abstract In software engineering, modeling tools have become widely accepted to increase application reliability and decrease development time. The UML and the OCL became industry standards and are supported by many Computer-Aided Software Engineering tools. The increasing number of modeled functionalities results in complex models that need more and more textual constraints to express the hidden restrictions applying to the systems.
MCDL: A Language for Specifying Graph Conditions with Attribute Constraints
Abstract The offline analysis of graph rewriting-based model transformations, when only the defin... more Abstract The offline analysis of graph rewriting-based model transformations, when only the definition of the transformation and the specification of the modeling languages are taken into account, have gained focus recently. In this case, the analysis must be performed only once, and the results are independent from the concrete input models. For the formal analysis, we need to formally define the properties that should be verified. This paper presents the outline of an automated offline verification framework.
Aspect-UML-Driven Model-Based Software Development
Visual Modeling and Transformation System (VMTS) is an n-layer metamodeling environment which sup... more Visual Modeling and Transformation System (VMTS) is an n-layer metamodeling environment which supports editing models according to their metamodels, and allows specifying OCL constraints. Models and transformation steps are formalized as directed, labeled graphs. VMTS uses a simplified class diagram for its root metamodel (" visual vocabulary"). Also, VMTS is a UML-based model transformation system, which transforms models using graph rewriting techniques.
Automated formal verification of graph rewriting-based model transformations
Methods for Retrieving and Investigating Performance Factors in ASP .NET Web Applications
New frameworks and programming environments were released to aid the development of complex web a... more New frameworks and programming environments were released to aid the development of complex web applications. These new languages, programming models and techniques are proliferated nowadays, thus, developing such applications is not the only issue anymore: operating, maintenance and performance questions have become of key importance.
Analyzing the Convergence of an Enhanced Performance Evaluation Algorithm
Abstract The performance of information systems is a very important and complicated consideration... more Abstract The performance of information systems is a very important and complicated consideration. With the help of a proper performance model and an appropriate evaluation algorithm, performance metrics can be predicted. The goal of our work is to enhance the Mean-Value Analysis evaluation algorithm based on the investigation of thread pools.
Using Queueing Model in Predicting the Response Time of ASP. NET Web Applications
Abstract Distributed systems and web applications play an important role in computer science nowa... more Abstract Distributed systems and web applications play an important role in computer science nowadays. The most common consideration is performance, because these systems must provide cost-effective and high-availability services in the long term, thus they have to be scaled to meet the expected load. Performance measurements can be the base for performance modeling and prediction.
Towards truly parallel model transformations: A distributed pattern matching approach
Abstract In the recent years, software modeling became an essential part of designing large softw... more Abstract In the recent years, software modeling became an essential part of designing large software systems. However, efficient model processing techniques are required, unless we use models only for documentation purposes. One way to improve efficiency is to apply model transformations in parallel. This paper introduces a truly parallel model transformation framework focusing on a new pattern matching approach.
Introducing the VMTS mobile toolkit
Developing software for mobile devices requires special attention, and it is still a larger effor... more Developing software for mobile devices requires special attention, and it is still a larger effort compared to the development for desktop computers and servers. With the introduction and the popularity of wireless devices, the diversity of the platforms has also been increased. There are different platforms and tools from different vendors such as Microsoft, Sun, Nokia, SonyEricsson and many more. Therefore, generative techniques underpinned by model-driven development can be applied extensively in this field.
Improved Evaluation Algorithm for Performance Prediction with Error Analysis
Abstract With the help of a proper performance model and evaluation algorithm, the performance me... more Abstract With the help of a proper performance model and evaluation algorithm, the performance metrics of information systems can be determined at the early stages of the development process. In our work, the response time and the throughput performance metrics of multi-tier Web applications have been predicted based on a queueing model. The goal of our work is to extend the mean-value analysis (MVA) algorithm according to the investigation of the thread pool.
Automated verification by declarative description of graph rewriting-based model transformations
Abstract Usually, verification of graph rewriting-based model transformations is performed manual... more Abstract Usually, verification of graph rewriting-based model transformations is performed manually, however, the industrial applications require automated methods. In several cases, transformation developers are interested in the offline analysis, when only the definition of the transformation and the specification of the modeling languages are taken into account. Hence, the analysis must be performed only once, and the results are independent from the concrete input models.
Recent advances in multi-paradigm modeling
Abstract. Model-Based Design of complex software systems is an activity that requires the use of ... more Abstract. Model-Based Design of complex software systems is an activity that requires the use of different modeling formalisms, with different perspectives of the system, to cover all relevant aspects of the system, to avoid over-design, to employ manageable models and to support system integration. The comprehensive use of models in design has created a set of challenges beyond those of supporting one isolated design task.
Towards a Model-Based Unification of Mobile Platforms
Abstract With the introduction and popularity of wireless devices, the diversity of the platforms... more Abstract With the introduction and popularity of wireless devices, the diversity of the platforms has also been increased. There are different platforms and tools from different vendors such as Microsoft, Sun, Nokia, SonyEricsson and many more. This paper introduces the problem of the software development for incompatible mobile platforms, and provides a Model-Driven Architecture (MDA)-based solution. In the presented approach the platform-independence lies in the graph rewriting-driven visual model transformation.
Uploads
Papers by Tihamér Levendovszky