112 Hits in 1.6 sec

Transition from EBNF to Xtext

Jianan Yue
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
from EBNF to Xtext.  ...  In recent years, it has been applied to develop various DSLs. To benefit from Xtext, in certain cases, it is needed to transform an Extend Backus Naur Form (EBNF) based language to the Xtext grammar.  ...  The result of a transition from EBNF to XText.  ... 
dblp:conf/models/Yue14 fatcat:wfzt2cagvjcldjy4kec3mer2m4

Generating a PHP Metamodel using Xtext Framework

Amine Moutaouakkil, Samir Mbarki
2020 Procedia Computer Science  
This research project aims to find a way to get, using the Xtext framework and Model-driven Engineering Techniques, a PHP language metamodel and parser.  ...  This research project aims to find a way to get, using the Xtext framework and Model-driven Engineering Techniques, a PHP language metamodel and parser.  ...  Transition from EBNF to Xtext In [9] the authors defined a method to translate EBNF to the Xtext grammar form.  ... 
doi:10.1016/j.procs.2020.03.147 fatcat:kgjjxvbvvffzpnx33q4cjn73vm

IEC 61131-3 model for model-driven development

Monika Wenger, Alois Zoitl
2012 IECON 2012 - 38th Annual Conference on IEEE Industrial Electronics Society  
To make this concept also available for automation projects we present an IEC 61131 model based on the Extended Backus Naur From provided by the standard.  ...  Software Engineering uses Model Driven Development to shorten the development time by keeping documentation, models and code consistent during the whole development time and by using code generators to  ...  Both technologies provide similar mechanisms to describe expressions. Xtext uses implicit priority settings since they are derived from the hierarchy of the designed grammar.  ... 
doi:10.1109/iecon.2012.6389295 dblp:conf/iecon/WengerZ12 fatcat:pvhxn4d3jrbhbjsn44tkrwt4oe

Translating grammars to accurate metamodels

Arvid Butting, Nico Jansen, Bernhard Rumpe, Andreas Wortmann
2018 Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2018  
We conceived a translation from an EBNF-like syntax to Ecore metamodels that considers the grammars' intricacies.  ...  This translation is realized as a fully automated toolchain from grammars into Ecore & OCL using the language workbench MontiCore.  ...  Conclusion We presented a concept for translating EBNF-like grammars into accurate metamodels that employs OCL constraints to specify the implicit cardinalities imposed by grammar rules featuring disjunctions  ... 
doi:10.1145/3276604.3276605 dblp:conf/sle/ButtingJRW18 fatcat:gb532b6kyzdwhi5illkisvkapu

Towards Automated Support for Blended Modelling of UML-RT Embedded Software Architectures

Malvina Latifaj, Federico Ciccozzi, Mattias Mohlin, Ernesto Posse
2021 European Conference on Software Architecture  
The results of those experiments together with the exposed wish of RTist customers of being able to design software architectures and applications via multiple notations led us to initiate this work towards  ...  For this reason, we chose Xtext 6 , a framework for the development of textual DSMLs, based on EBNF grammars.  ...  Therefore, we decided to design a textual notation, in terms of an Xtext grammar, from scratch.  ... 
dblp:conf/ecsa/LatifajCMP21 fatcat:uo4rlsj4lrdx5lzgtwtl5ugwea

A model-driven process for engineering a toolset for a formal method

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2011 Software, Practice & Experience  
This process exploits concepts and technologies of the Model-Driven Engineering (MDE) approach, like metamodelling and automatic generation of software artifacts from models.  ...  We describe the requirements to fulfill and the development steps of this model-driven process.  ...  This model-driven process, based on the MDE concepts of metamodeling and automatic generation of software artifacts from metamodels, has the advantage of being suitable to derive from the same metamodel  ... 
doi:10.1002/spe.1019 fatcat:rysgvmc73raprmm3k5etrxj5je

Textual modeling tools

Bernhard Merkle
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
DSL are one way to solve this problem. DSLs can be divided into different independent dimensions: e.g. internal vs. external or textual vs. graphical or tabular.  ...  Acknowledgments Special thanks go to the developers from Xtext, TEF, TCS, EMFText and MPS. They were very helpful with my questions and bug reports for their tools. Thank you again!  ...  Xtext currently is most wellknown. It generates an EMF model, a full featured editor and parser from an enhanced EBNF notation.  ... 
doi:10.1145/1869542.1869564 dblp:conf/oopsla/Merkle10a fatcat:sm2rsivm7rh6zkr5cj3oisdtjq

A prototypical Java-like language with records and traits

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2010 Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java - PPPJ '10  
Classes are assembled from (composite) records and traits and instantiated to generate objects.  ...  Records have been devised to complement traits for fine-grained state reuse.  ...  We are grateful to the developers of XTEXT, in particular, Sven Efftinge and Sebastian Zarnekow, for their prompt help and support during the development of SWRTJ.  ... 
doi:10.1145/1852761.1852780 dblp:conf/pppj/BettiniDSS10 fatcat:3ylgddcb5vfw3c2ruzc42ng5vq

A practical guide to Message Structures: a modelling technique for information systems analysis and design [article]

Sergio España, Arturo González, Óscar Pastor, Marcela Ruiz
2011 arXiv   pre-print
For instance, there is a need to improve modelling techniques so that they cover several development stages in an integrated way, and they facilitate the transition from analysis to design.  ...  During analysis, it allows abstracting from the technology that will support the IS, and to complement business process diagramming techniques with the specification of the communicational needs of the  ...  To name a few: (i) to facilitate business process modelling from a communicational perspective ], (ii) to provide model transformations in order to obtain the system design from the requirements models  ... 
arXiv:1101.5341v2 fatcat:dyjs7svbqjg6phbaasmyyzqy2u

An IDE for the LARES Toolset [chapter]

Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle
2014 Lecture Notes in Computer Science  
Subsequently, the View Plugin component is presented, that is used to perform the experiments and to gather the analysis results from the solvers.  ...  Beside the already mentioned SPA and SPN target formalisms we also support flat Labelled Transition Systems (LTS) and Markov Decision Processes (MDP).  ...  Here a parser rule named Transition-Statement parses a character string starting with "Transitions from" and transforms to a TransitionDefinition object in the object model.  ... 
doi:10.1007/978-3-319-05359-2_17 fatcat:ha4id3fjefgu7nyqhekp3j67am

TraitRecordJ : A programming language with traits and records

Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer, Fabio Strocco
2013 Science of Computer Programming  
We are grateful to the developers of XTEXT, in particular, Sven Efftinge and Sebastian Zarnekow, for their prompt help and support during the development of TRAITRECORDJ.  ...  The first task in XTEXT is to write the grammar of the language using an EBNF-like syntax. Starting from this grammar, XTEXT generates an ANTLR parser [51] .  ...  The syntax of TRAITRECORDJ is defined in XTEXT using an EBNF grammar.  ... 
doi:10.1016/j.scico.2011.06.007 fatcat:266zl4wglvbinndc2wdi5xkbum

MDE Basics with a DSL Focus [chapter]

Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff
2012 Lecture Notes in Computer Science  
The development of UML has also lead to the creation of the Meta Object Facility (MOF) [46] , also by OMG. MOF is used to define the various modeling formalisms of UML in a uniform way.  ...  An entire range of Eclipse plugins have been developed to deal with the various aspects of DSL development.  ...  We would like to thank Arjan van der Meer for proof reading the section on static semantics.  ... 
doi:10.1007/978-3-642-30982-3_2 fatcat:j5bmli6gfzeslhglbyyocks7ki

A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax [chapter]

Adolfo Sánchez-Barbudo Herrera, Edward D. Willink, Richard F. Paige
2016 Lecture Notes in Computer Science  
Existing language workbenches, such as Xtext, support bridging the gap between the concrete syntax (CS) and abstract syntax (AS) of textual languages.  ...  However, the specification artefacts -i.e. grammars -are not sufficiently expressive to completely model the required CS-to-AS mapping, when it requires complex name resolution or multiway mappings.  ...  support of the UK Engineering and Physical Sciences Research Council, via the LSCITS initiative, and Javier Luís Cánovas Izquierdo (Gra2Mol) and Pieter Van Gorp (SHARE) for the technical support required to  ... 
doi:10.1007/978-3-319-42064-6_1 fatcat:stukajhi55cz5khlu5mrg4dvoa

An Intermediate Representation-based Approach for Query Translation using a Syntax-Directed Method

Hassana NASSIRI, Mustapha MACHKOUR, Mohamed HACHIMI
2020 International Journal of Advanced Computer Science and Applications  
This example illustrates the output from a console, but we developed an interface ([5]) to present the analysis better.  ...  For example, the SQL select query: "select first_name, last_name from Employee where id = 1;" has the following parse tree (Fig.9) , presented in tree form in Fig. 10 . B.  ...  Fig. 6 illustrates its EBNF notation. B. Diagrammatic Form ANTLR uses a simple EBNF-like syntax to define the grammar.  ... 
doi:10.14569/ijacsa.2020.0110870 fatcat:ebq7ix62jfd67cpbzjrdfmzxeq

Model-Driven Language Engineering: The ASMETA Case Study

Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra
2008 2008 The Third International Conference on Software Engineering Advances  
We describe the requirements to fulfill and the design/implementation/validation/tools development steps necessary to support such a language engineering life cycle.  ...  We finally discuss the benefits/limits of a model-driven language engineering approach with respect to traditional techniques primarily used for the same goal.  ...  From MOF to EBNF: derivation of a textual concrete syntax.  ... 
doi:10.1109/icsea.2008.62 dblp:conf/icsea/GargantiniRS08 fatcat:ft35pc4am5h4ho4pwfgn75igkq
« Previous Showing results 1 — 15 out of 112 results