Performance comparison of query-based techniques for anti-pattern detection

Ujhelyi, Zoltán; Szőke, Gábor; Horváth, Ákos; Csiszár, Norbert István; Vidács, László; Varró, Dániel; Ferenć, Rudolf

doi:10.1016/j.infsof.2015.01.003

Cited by 19 publications

(18 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…2. Incremental query engine IncQuery offers a highly efficient engine to evaluate queries over models with millions of elements [22,137,138] by adapting Rete networks [52] to change notifications sent by EMF models. To decrease memory consumption, a query can also be evaluated using local-search-based techniques [34] which exploit model-specific search plans [150].…”

Section: Incremental Model Queries: Key Featuresmentioning

confidence: 99%

See 1 more Smart Citation

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

The current release of VIATRA provides opensource tool support for an event-driven, reactive model transformation engine built on top of highly scalable incremental graph queries for models with millions of elements and advanced features such as rule-based design space exploration complex event processing or model obfuscation. However, the history of the VIATRA model transformation framework dates back to over 16 years. Starting as an early academic research prototype as part of the M.Sc project of the the first author it first evolved into a Prolog-based engine followed by a family of open-source projects which by now matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies. This invited paper briefly overviews the evolution of the VIATRA/IncQuery family by highlighting key features and illustrating main transformation concepts along an open case study influenced by an industrial project. Software tools in systems engineeringModel-driven engineering (MDE) plays an important role in the design of critical embedded and cyber-physical systems in various application domains such as automotive, avionics or telecommunication. MDE tools aim to simultaneously improve quality and decrease costs by early validation by highlighting conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C [117], DO-330 [116] or ISO 26262[78]).Certain shares in the software tool market of systems engineering are dominated by very few industrial tools (e.g., MATLAB Simulink, Dymola, DOORS, MagicDraw) each of which typically provides advanced support for certain development stages (requirements engineering, simulation, allocation, test generation, etc). To protect their intellectual property rights, these tools are of closed nature, which implies huge tool integration costs for system integrators (such as airframers or car manufacturers). On the other hand, recent initiatives (such as PolarSys, OpenModelica) have started to promote open language standards and the systematic use of open-source software components in tools for critical systems to reduce licensing costs and risks of vendor lock-in.Certification standards of critical cyber-physical systems require that software tools used for developing such critical system are validated with the same scrutiny as the system under design by software tool qualification [87,116], especially, when no further human checking is carried out on the outputs of such tools. Software tool qualification distinguishes between design tools which, by definition, may 123

show abstract

Section: Incremental Model Queries: Key Featuresmentioning

confidence: 99%

“…Detailed scalability assessment of IncQuery is carried out in numerous papers for validation of well-formedness constraints [22,137], detection of source code anti-patterns [138] or maintenance of soft traceability links [64] over models with 10 million elements.…”

Section: Integration With Emf Tools the Modular Architecture Ofmentioning

confidence: 99%

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Varró

Bergmann

Hegedüs³

et al. 2016

Softw Syst Model

Self Cite

View full text Add to dashboard Cite

show abstract

“…Detailed scalability assessment of EMF-IncQuery is carried out in numerous papers for validation of well-formedness constraints [7,39], detection of source code anti-patterns [40] or maintenance of soft traceability links [14] over models with 10 million elements. Ongoing development within the MONDO European project 2 aims to develop a distributed and incremental query engine [30] deployed over cloud based storages to further improve scalability.…”

Section: Emf-incquery Is An Open Source Eclipse Projectmentioning

confidence: 99%

Incremental Queries and Transformations: From Concepts to Industrial Applications

Varró

2016

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain. Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features. The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model changes caused by systems engineers or automated design steps. In this paper, I overview two open source Eclipse projects, EMF-IncQuery and Viatra, which have been actively used as a basis for developing various academic and industrial tools for critical systems.Keywords: model queries, model transformations, incremental evaluation, reactive programming, software tool qualification Software Tools in Model-Based Systems EngineeringModel-driven engineering plays an increasingly important role in the design of critical embedded and cyber-physical systems in various application domains including automotive, avionics or telecommunication. Advanced design and verification tools aim to simultaneously improve quality and decrease costs by early validation to highlight conceptual design flaws well before traditional testing phases in accordance with the correct-by-construction principle. Furthermore, they improve productivity of engineers by automatically synthesizing different design artifacts (source code, configuration tables, test cases, fault trees, etc.) necessitated by certification standards (like DO-178C or ISO 26262).There are two main trends nowadays in the software tool market of systems engineering. On the one hand, certain market shares are dominated by very few industrial tools (e.g. Matlab Simulink, Dymola, MagicDraw, DOORS) each of ⋆ This document is the author's preprint version. The original final version is available from the publisher: https://doi

show abstract

“…Resilience of cloud-based cyber-physical systems [113]: risk assessment [112], cloudification, analytics of resource transients, empirical assessment; cost prediction. Model based software and systems engineering [114,115,121,122]: techniques and tools for requirements engineering, design, analysis, optimization, deployment, testing [116], maintenance, domain-specific modeling languages, model transformations [123] and code generation). Formal methods [118,119,124] The Intelligent Systems Group is competent and dedicated to research in ambient intelligent systems [127], heterogeneous information processing, data analysis, medical image analysis [126], modeling complex systems [128], bioinformatics, biomedical informatics [125].…”

Section: Main Research Fieldsmentioning

confidence: 99%

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2015

Vajk¹,

Harsányi

Poppe

et al. 2016

Period. Polytech. Elec. Eng. Comp. Sci.

View full text Add to dashboard Cite

PrefaceThroughout László Vajta, Dean of BME VIK János Levendovszky, Deputy Dean of BME VIK Department of Automation and Applied InformaticsDepartment of Automation and Applied Informatics (AUT) is one of the largest and dynamically developing departments at BME with diverse scope competences such as control theory, embedded systems, software modelling, applied software development, Internet of Things, power electronics, mechatronics, and many others. The department's main activities are education, research and development. Training versatile electrical and software engineers with solid practical knowledge is our top priority. Our profile also includes developing high quality software and hardware solutions for industry partners. All of our activities are backed by strong research background.In 2015, the department has organized the 21 st European Wireless (EW) Conference. The EW 2015 conference hosted more than 140 participants from 30 different countries. The 2015 edition of EW was aimed at addressing a key theme on "5G and beyond."The next sections summarize the key research results of the department in year 2015. IoT and Smart CityThe Internet of Things (IoT) is transforming the surrounding physical objects into an ecosystem of information that enriches our everyday life. The IoT represents the convergence of advances in miniaturization, wireless connectivity, and increased data storage, and is driven by various sensors. Application and service development methods and frameworks are required to support the realization of solutions covering data collection, transmission, data processing, analysis, reporting, and advanced querying. Our SensorHUB framework URBMOBI is a mobile environmental sensor that (i) provides temporally and spatially distributed environmental data, (ii) fulfills the need for monitoring at various places without the costs for a large number of fixed measurement stations, (iii) integrates small and precise sensors in a system that can be operated on buses, trams, or other vehicles, (iv) concentrates on urban heat and thermal comfort, and (v) aims at providing climate services and integration with real-time climate models.utilizes the state-of-the-art open source technologies and provides a unified tool chain for IoT related application and ser-URBMOBI project has been worked out between 2013 and 2015 by the following consortium: RWTH Aachen University (Germany), Netherlands Organization for Applied Scientific Research TNO (Netherlands), ARIA Technologies (France), Budapest University of Technology and Economics (Hungary), and Meteorological and Environmental Earth Observation (Italy).The SOLSUN (Sustainable Outdoor Lighting & Sensory Urban Networks) project is about to demonstrate how intelligent city infrastructure can be created in a cost-effective and sustainable way by reusing existing street lighting as the communications backbone. We apply different technologies and methods to reduce energy consumption at the same time as turning streetlights into nodes on a scalable network that is al...

show abstract

Performance comparison of query-based techniques for anti-pattern detection

Cited by 19 publications

References 27 publications

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework

Incremental Queries and Transformations: From Concepts to Industrial Applications

BME VIK Annual Research Report on Electrical Engineering and Computer Science 2015

Contact Info

Product

Resources

About