Filters








20 Hits in 3.3 sec

Incremental Queries and Transformations: From Concepts to Industrial Applications [chapter]

Dániel Varró
2016 Lecture Notes in Computer Science  
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.  ...  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  ...  Acknowledgments The author is indebted for the continuous and deep contributions of all contributors of the EMF-IncQuery and Viatra project teams.  ... 
doi:10.1007/978-3-662-49192-8_5 fatcat:czk2i7ltxranfe3wzmfzplvb5y

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

Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi
2016 Journal of Software and Systems Modeling  
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  ...  matured into a component integrated into various industrial and open-source tools and deployed over multiple technologies.  ...  This led us to focus most of our research and development efforts to incremental model queries over EMF models [22] by giving birth to the EMF-IncQuery framework in 2010and decelerating the development  ... 
doi:10.1007/s10270-016-0530-4 fatcat:ahmocossl5aw5mydrtpfcxvmky

Query-based access control for secure collaborative modeling using bidirectional transformations*

Gábor Bergmann, Csaba Debreceni, István Ráth, Dániel Varró
2016 Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems - MODELS '16  
We propose a technique for secure collaborative modeling where (1) fine-grained access control for models can be defined by model queries, and (2) such access control policies are strictly enforced by  ...  Complex systems frequently integrate models and components developed by different teams, vendors and suppliers.  ...  transformations, with EMF-IncQuery for source-incremental model queries.  ... 
doi:10.1145/2976767.2976793 fatcat:t4xrefttmbchbmfd5p62lirha4

Expressive and Efficient Model Transformation with an Internal DSL of Xtend

Artur Boronat
2018 Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18  
Model transformation (MT) of very large models (VLMs), with millions of elements, is a challenging cornerstone for applying Model-Driven Engineering (MDE) technology in industry.  ...  In this paper, we draw attention back to improving efficiency of model transformations that use EMF natively and that run on non-distributed environments, showing that substantial performance gains can  ...  A declarative MT is defined as a rule specification using an Xtend internal DSL, where each rule consists of model queries, defined in EMF-IncQuery, and actions, defined in Xtend.  ... 
doi:10.1145/3239372.3239386 dblp:conf/models/Boronat18 fatcat:5lcl333mpzclfkhtubeo6475ge

Towards a Scalable and Optimised Context Broker for Seamless Interoperability within IoT Systems

C.B. Tokpo Ovengalt, K. Djouani, A.M. Kurien, A. Chibani
2016 Procedia Computer Science  
a truly automated networking environment.  ...  Billions of devices are now integral part of the day-to-day routine of people but they are sometime incompatible with one another because they employ divergent protocols.  ...  It integrates the EMF-IncQuery engine to handle the processing of change events in the Eclipse Modelling Framework (EMF) model.  ... 
doi:10.1016/j.procs.2016.08.016 fatcat:r5mfwxyayrdsviv5mutkdyurzi

Mogwaï: A framework to handle complex queries on large models

Gwendal Daniel, Gerson Sunye, Jordi Cabot
2016 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS)  
Scalable model persistence has been achieved by using NoSQL backends for model storage, but existing modeling framework APIs have not evolved accordingly, limiting NoSQL query performance benefits.  ...  In this paper we present the Mogwaï, a scalable and efficient model query framework based on a direct translation of OCL queries to Gremlin, a query language supported by several NoSQL databases.  ...  EMF-IncQuery [30] is an incremental pattern matcher framework to query EMF models. It bypasses API limitations using a persistence-independent index mechanism to improve model access performance.  ... 
doi:10.1109/rcis.2016.7549343 dblp:conf/rcis/DanielSC16 fatcat:qu4fn2q4gndhtielyt6engxlyu

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211)

Diego Calvanese, Sven Hartmann, Ernest Teniente, Marc Herbstritt
2013 Dagstuhl Reports  
(iii) Are the existing techniques and tools ready to be used in an industrial environment? (iv) Which are the new challenges for automated reasoning on conceptual schemas?  ...  The quality of an information system is largely determined early in the development cycle, i.e., during requirements specification and conceptual modeling since errors introduced at these stages are usually  ...  as graph queries in EMF-IncQuery into an effectively propositional fragment of first-order logic which can be efficiently analyzed by the Z3 SMT-solver.  ... 
doi:10.4230/dagrep.3.5.43 dblp:journals/dagstuhl-reports/CalvaneseHT13 fatcat:72r64rrndvf43imr5jxoyqs3kq

Foundations for Streaming Model Transformations by Complex Event Processing

István Dávid, István Ráth, Dániel Varró
2016 Journal of Software and Systems Modeling  
We provide an integrated domain-specific language with precise semantics for capturing complex event patterns and streaming transformations together with an execution engine, all of which is now part of  ...  In this paper, we propose foundations of streaming model transformations by innovatively integrating incremental model query, complex event processing (CEP) and reactive (event-driven) transformation techniques  ...  An additional drawback of the platform is the lack of an integrated modeling environment, which makes integration with design/development processes cumbersome.  ... 
doi:10.1007/s10270-016-0533-1 pmid:29449795 pmcid:PMC5807515 fatcat:57era3rizfbhxmlvopue6dyuge

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  In (EMF-IncQuery; 133), a graph-based query language (EMF-IncQuery) relying on incremental pattern matching for improved performance is also proposed.  ...  In (57) , view models are built using contextual composition of model operations (derivation rules) encoded as annotations of queries of the EMF IncQuery (EMF-IncQuery) language.  ... 
doi:10.5281/zenodo.2538795 fatcat:ox2slzxzdbcrjha2xeoz75a7vy

COST IC1404 WG1 Deliverable WG1.2: Framework to Relate / Combine Modeling Languages and Techniques

Rima Al-Ali, Moussa Amrani, Soumyadip Bandyopadhyay, Ankica Barisic, Fernando Barros, Dominique Blouin, Ferhat Erata, Holger Giese, Mauro Iacono, Stefan Klikovits, Eva Navarro, Patrizio Pelliccione (+3 others)
2019 Zenodo  
Ontological foundation for a framework to Relate / Combine Modeling Languages and Techniques.  ...  In (EMF-IncQuery; 133), a graph-based query language (EMF-IncQuery) relying on incremental pattern matching for improved performance is also proposed.  ...  In (57) , view models are built using contextual composition of model operations (derivation rules) encoded as annotations of queries of the EMF IncQuery (EMF-IncQuery) language.  ... 
doi:10.5281/zenodo.2527577 fatcat:qsugbjnclbe4hnz46sunlqvj5a

Model-driven development of ARINC 653 configuration tables

Akos Horvath, Daniel Varro
2010 29th Digital Avionics Systems Conference  
However, on one hand, the use of model-driven approaches for the development of configuration data is not as widely used as for source code synthesis.  ...  file editing and (ii) using model based validation for early error detection.  ...  Acknowledgements We would like to thank to Klaas Wiegmink, from NLR, for his help with air conditioning case study and Olivier Charrier, from WindRiver for his support on VxWorks.  ... 
doi:10.1109/dasc.2010.5655322 fatcat:667hk3yxd5em5ibbjtu4i2b54u

Incremental execution of rule-based model transformation

Artur Boronat
2020 International Journal on Software Tools for Technology Transfer (STTT)  
Stateof-the-art model transformation engines with support for incrementality normally rely on an observer pattern for linking model changes, also known as deltas, to the application of model transformation  ...  Only a few approaches to model transformation provide domain-specific languages for representing and storing model changes in order to enable their use in asynchronous, event-based execution environments  ...  the anonymous reviewers for their constructive, useful feedback.  ... 
doi:10.1007/s10009-020-00583-y fatcat:3qw4h3fv4jexfnzrbqi77cj7my

Evolution of Security Engineering Artifacts

Michael Felderer, Basel Katt, Philipp Kalb, Jan Jürjens, Martín Ochoa, Federica Paci, Le Minh Sang Tran, Thein Than Tun, Koen Yskout, Riccardo Scandariato, Frank Piessens, Dries Vanoverberghe (+4 others)
2014 International Journal of Secure Software Engineering  
Security evolution can only be managed adequately if it is considered for all artifacts throughout the software development lifecycle.  ...  For each of these artifacts we give an overview of evolution and security aspects and discuss the state of the art on its security evolution in detail.  ...  Acknowledgements This work is partially funded by the EternalS Coordination Action (FP7-247758), the EU projects NESSoS (FP7-256980) and SecureChange (FP7-231101), the FFG project "QE LaB Living Models  ... 
doi:10.4018/ijsse.2014100103 fatcat:o6aq54ak5zbydk42w4psuaabxq

Domain-Specific Languages Creative Commons BY 3.0 Unported license

Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco Visser, Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco License, Sebastian Erdweg, Martin Erwig, Richard Paige, Eelco Visser
unpublished
., internal, external, visual, model-driven).  ...  The seminar included participants across these subdisciplines and included overview talks, technical talks, demos, discussion groups, and an industrial panel.  ...  Varró, "EMF-IncQuery: An integrated development environment for live model queries," Science of Computer Programming, 98(1):80-99, 2105.  ... 
fatcat:jjadxssbvjeazfzvu2c4knedse

A Functional, Comprehensive And Extensible Multi-Platform Querying And Transformation Approach

Tassilo Horn, Kai Lawonn, Jürgen Ebert, Albert Zündorf
2016 Zenodo  
Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations  ...  Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern  ...  EMF-IncQuery In contrast to traditional pattern matching approaches as provided by FunnyQT, evaluating a pattern does not imply a search for matches in the queried model.  ... 
doi:10.5281/zenodo.58302 fatcat:kbtcnkimrffo3d6vbw6unuikpu
« Previous Showing results 1 — 15 out of 20 results