Márk Asztalos

Budapest University of Technology and Economics · Department of Automation and Applied Informatics

In recent years, the MapReduce framework has become one of the most popular parallel computing platforms for processing big data. MapReduce is used by companies such as Facebook, IBM, and Google to process or analyze massive data sets. Since the approach is frequently used for industrial solutions, the algorithms based on the MapReduce framework ga...

Software development requires adequate methods for requirements engineering, design, development, testing and maintenance. The more complex the system is, the more sophisticated methods should be applied. A significant part of software projects is short on appropriate requirements engineering, communication, development and testing method, furtherm...

Model processing programs are regularly used when working with models or synthetizing the code from them; therefore, their verification has become an essential component of constructing reliable software in model-based software engineering. Models are usually formalized and visualized as graphs; therefore, model processing programs based on algebra...

In software engineering, model-based development is gaining ground as reliability must be provided while the development time needs to be decreased. As systems modeled become larger, validation methods need to perform better to offer reasonable response times to model checking queries. Our work extends OCL with parallel evaluation features in a way...

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...

Verification of model processing programs, where only the definitions of the program and the languages of the models to be transformed are analyzed, has become a fundamental issue in model-based software engineering. This analysis may become very complex, but it is performed only once and the results are independent from concrete input models. The...

Many model transformation problems require different intermediate transformation steps. For example, platform-specific models (PSM) are often generated from platform-independent models (PIM) by chains of model transformations. This requires the presence of several intermediate meta-models between those of the PIM and the PSM. Thus, most of the effo...

Although social networks are becoming more and more important in everyday life, their support is still not satisfactory in mobile devices. The automatic synchronization of the phone books in mobile phones with the data of the members of the social networks needs special and efficient algorithms. These algorithms cover the management of the global n...

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...

Many model transformation problems require different intermediate transformation steps, e.g., when platform-specific models (PSM) are generated from platform-independent models (PIM). This requires the presence of several intermediate meta-models between those of the PIM and the PSM. Thus, for achieving the final PSM, a chain of transformation is n...

Model-based software engineering is an increasingly applied method in producing software artifacts that is driven by model transformation. For example, Model-Driven Architecture (MDA) is an approach to develop software based on different models. Source code is generated automatically from these models. This makes model transformations the heart of...

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-based development is one of the most promising solutions for several problems of industrial software engineering. Graph transformation is a proven method for processing domain-specific models. However, in order to be used by domain experts without graph transformation experts, it must be fast even if not tweaked for speed manually based on kn...

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...

Verification of model processing programs, where only the definitions of the program and the languages of the models to be transformed are analyzed, has become a fundamental issue in model-based software engineering. This analysis may become very complex, but it is performed only once and the results are independent from concrete input models. The...

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 concr...

Graph rewriting-based model transformation is a well known technique with strong mathematical background to process domain specific models represented as graphs. The performance optimization techniques realized in today's graph transformation engines usually place focus on the optimization of a single execution of the individual rules, and do not c...

Offline verification of model processing programs has become a fundamental issue in model-based software development. Offline means that only the definitions of the program and the concerned modeling languages are taken into account. Therefore, the results of the analysis hold for every possible input model. Although the offline analysis is very co...

Graph transformation is a well-known technique to process arbitrary object structures represented as attributed graphs. Recent graph transformation engines usually focus on the optimization of the individual rules, however, the similarity of the rules could be harnessed in many practical cases. A typical transformation engine performs the matching...

Verification of the transformations is a fundamental issue for applying them in real world solutions. We have previously proposed a formalization to declaratively describe model transformations and proposed an approach for the verification. Our approach consists of a reasoning system that works on the formal transformation description and deduction...

Verification of models and model processing programs are fundamental issues and are inevitable in model-based software development in order to apply them in real-world solutions. Verification concerns the analysis of non-functional and functional properties as well. Model transformation developers are interested in offline methods for the verificat...

Verification of models and model processing programs are inevitable in model-based software development in order to apply them in real-world solutions. Verification of properties of model transformations means to prove that the application of a model transformation generates the expected output models from the input models. Model transformation dev...

This paper presents the design, architecture, and implementation experiences related to building a multipurpose modeling and model transformation frameworks. We examine the usual expectations related to model-driven development tools, then we present the architecture and design decisions of a new modeling framework capable of fulfilling all these e...

The proliferation of Mobile P2P systems made a next generation mobile BitTorrent client an appropriate target to compare two different development approaches: the traditional manual coding and domain-specific modeling languages (DSMLs) accompanied by generators. We present two DSMLs for mobile communication modeling, and one for user interface deve...

Metamodeling techniques have become the subject of research in the last decades. Different approaches of software development emphasize the use of models at all phases of the design and implementation. With metamodels, we can define the concepts of models in concrete domains. Model transformations are used to convert models to other ones. To define...

Graph transformation provides an intuitive mechanism for capturing model transformations. In the current paper, we investigate and compare various graph transformation tools using a compact practical model transformation case study carried out as part of the AGTIVE 2007 Tool Contest [22]. The aim of this case study is to generate formal CSP process...

The transformation from UML activity diagrams to CSP models is a helpful model transformation, which can be used to analyze and verify some aspects of a UML activity diagrams. A working solution has been developed with our tool, the Visual Modeling and Transformation System, and in this work we formally prove that the transformation terminates for...

In multi-layer networks, where more than one layer is dynamic, i.e., connections are set up using not only the upper, e.g., IP layer but the underlying wavelength layer as well leads often to suboptimal performance. In this paper we discuss the lightpath fragmentation and de-fragmentation problem, where the lightpath system cannot follow the traffi...

In Multi-Layer networks, where more than one layer is dynamic, i.e., connections are set up using not only the upper, e.g., IP layer but the underlying wavelength layer as well leads often to suboptimal performance due to long wavelength paths, that do not allow routing the traffic along the shortest path. The role of MLTE (Multi-Layer Traffic Engi...

A hullámhossz-osztásos nyalábolást alkalmazó dinamikus, automatikusan kapcsolt optikai hálózatokban megjelenô forgalmi igények tipikusan jelentôsen kisebb sávszélességet igényelnek, mint a hullámhossz-csatornák kapacitása. Ez teszi szüksé- gessé a forgalomkötegelés alkalmazását, melynek során a közös szakaszokat tartalmazó utakon haladó forgalmi ig...

Model transformations facilitate to process source models and generate other artifacts, output models and source code, based on algorithms and well-defined rules embedded into model transformations. Current paper presents two model transformations developed in Visual Modeling and Transformation System (VMTS) that facilitate the transformation betwe...