publications: - title: "Towards Automated Testing of Abstract Syntax Specifications of Domain-Specific Modeling Languages" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" - name: "Stephan Weißleder" link: "https://researchr.org/alias/stephan-wei%C3%9Fleder" year: "2008" doi: "http://ceur-ws.org/Vol-324/paper2.pdf" links: doi: "http://ceur-ws.org/Vol-324/paper2.pdf" tags: - "abstract syntax" - "modeling language" - "modeling" - "language modeling" - "testing" - "domain-specific language" researchr: "https://researchr.org/publication/SadilekW08%3A0" cites: 0 citedby: 0 pages: "21-29" booktitle: "dsml" kind: "inproceedings" key: "SadilekW08:0" - title: "Prototyping Visual Interpreters and Debuggers for Domain-Specific Modelling Languages" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" - name: "Guido Wachsmuth" link: "https://www.linkedin.com/in/guidowachsmuth/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_5" abstract: "This paper is about visual and executable domain-specific modelling languages (DSMLs) that are used at the platform independent level of the Model-Driven Architecture. We deal with DSMLs that are new or evolve rapidly and, as a consequence, have to be prototyped cheaply. We argue that for prototyping a DSML on the platform independent level, its semantics should not only be described in a transformational but also in an operational fashion. For this, we use standard modelling means, i.e. MOF and QVT Relations. We combine operational semantics descriptions with existing metamodel-based editor creation technology. This allows for cheap prototyping of visual interpreters and debuggers. We exemplify our approach with a language for Petri nets and assess the manual work necessary. Finally, we present EProvide, an implementation of our approach based on the Eclipse platform, and we identify missing features in the Eclipse tools we used." links: doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_5" tags: - "model-to-model transformation" - "semantics" - "rule-based" - "transformation engineering" - "GMF" - "Eclipse" - "software architecture" - "model editor" - "QVT Transformations" - "QVT" - "meta-model" - "interpreter" - "modeling language" - "language engineering" - "transformation language" - "software language engineering" - "architecture" - "language modeling" - "model execution" - "source-to-source" - "software engineering" - "model-driven engineering" - "prototyping" - "debugging" - "model transformation" - "operational semantics" - "Meta-Environment" - "QVT Relations" - "modelware" - "systematic-approach" - "transformation" - "domain-specific language" researchr: "https://researchr.org/publication/SadilekW08" cites: 21 citedby: 1 pages: "63-78" booktitle: "ECMDA-FA" kind: "inproceedings" key: "SadilekW08" - title: "Domain-Specific Languages for Wireless Sensor Networks" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" year: "2008" tags: - "wireless sensor networks" - "domain-specific language" researchr: "https://researchr.org/publication/Sadilek08" cites: 0 citedby: 0 pages: "237-241" booktitle: "modellierung" kind: "inproceedings" key: "Sadilek08" - title: "Modelling a Debugger for an Imperative Voice Control Language" author: - name: "Andreas Blunk" link: "https://researchr.org/alias/andreas-blunk" - name: "Joachim Fischer" link: "https://researchr.org/alias/joachim-fischer" - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04554-7_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-04554-7_10" tags: - "modeling language" - "language modeling" - "debugging" researchr: "https://researchr.org/publication/BlunkFS09" cites: 0 citedby: 0 pages: "149-164" booktitle: "sdl" kind: "inproceedings" key: "BlunkFS09" - title: "Using Grammarware Languages to Define Operational Semantics of Modelled Languages" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" - name: "Guido Wachsmuth" link: "https://www.linkedin.com/in/guidowachsmuth/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-02571-6_20" abstract: "Abstract State Machines, Prolog, and Scheme are well-established for language engineering in the technological space of grammarware. In this paper, we show how they can be integrated into the technological space of modelware to describe operational semantics of modelled languages. Integration is based on three bridges: a physical, a logical, and a pragmatical bridge between grammarware language and modelling framework. We applied our approach to integrate Abstract State Machines, Prolog, and Scheme as description languages in EProvide 2.0, an extensible, unified framework for prototyping operational semantics of modelled languages. In this paper, we discuss in detail the bridging of Abstract State Machines as well as an industrial case study based on this." links: doi: "http://dx.doi.org/10.1007/978-3-642-02571-6_20" tags: - "semantics" - "Prolog" - "rule-based" - "Eclipse" - "case study" - " ASMs" - "meta-model" - "modeling language" - "modeling" - "language engineering" - "software language engineering" - "language modeling" - "model execution" - "software engineering" - "model-driven engineering" - "prototyping" - "operational semantics" - "Meta-Environment" - "state machines" - "grammarware" - "abstract machine" - "modelware" - "Scheme" - "extensible language" - "systematic-approach" researchr: "https://researchr.org/publication/SadilekW09" cites: 0 citedby: 0 booktitle: "TOOLS" kind: "inproceedings" key: "SadilekW09" - title: "Testing Metamodels" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" - name: "Stephan Weißleder" link: "https://researchr.org/alias/stephan-wei%C3%9Fleder" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_20" links: doi: "http://dx.doi.org/10.1007/978-3-540-69100-6_20" tags: - "testing" researchr: "https://researchr.org/publication/SadilekW08a" cites: 0 citedby: 0 pages: "294-309" booktitle: "ECMDA-FA" kind: "inproceedings" key: "SadilekW08a" - title: "Energy-aware compilation for wireless sensor networks" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" year: "2007" doi: "http://doi.acm.org/10.1145/1376860.1376865" links: doi: "http://doi.acm.org/10.1145/1376860.1376865" tags: - "wireless sensor networks" - "context-aware" researchr: "https://researchr.org/publication/Sadilek07" cites: 0 citedby: 0 pages: "25-30" booktitle: "middleware" kind: "inproceedings" key: "Sadilek07" - title: "Prototyping domain-specific language semantics" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" year: "2008" doi: "http://doi.acm.org/10.1145/1449814.1449896" links: doi: "http://doi.acm.org/10.1145/1449814.1449896" tags: - "semantics" - "domain-specific language" researchr: "https://researchr.org/publication/Sadilek08%3A0" cites: 0 citedby: 0 pages: "895-896" booktitle: "OOPSLA" kind: "inproceedings" key: "Sadilek08:0" - title: "Test-Driven Language Modeling" author: - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" year: "2009" tags: - "meta-model" - "modeling language" - "modeling" - "language modeling" - "testing" - "Meta-Environment" researchr: "https://researchr.org/publication/Sadilek2009" cites: 0 citedby: 0 school: "Humboldt-Universität zu Berlin" address: "Berlin, Germany" kind: "phdthesis" key: "Sadilek2009" - title: "Proceedings of the Workshop on Domain-Specific Modeling Languages, Berlin, Germany, March 14, 2008" year: "2008" tags: - "modeling language" - "modeling" - "language modeling" - "domain-specific language" researchr: "https://researchr.org/publication/dsml%3A2008" cites: 0 citedby: 0 booktitle: "Proceedings of the Workshop on Domain-Specific Modeling Languages, Berlin, Germany, March 14, 2008" conference: "dsml" editor: - name: "Dirk Fahland" link: "https://researchr.org/alias/dirk-fahland" - name: "Daniel A. Sadilek" link: "http://www2.informatik.hu-berlin.de/~sadilek/Homepage/Home.html" - name: "Markus Scheidgen" link: "https://researchr.org/alias/markus-scheidgen" - name: "Stephan Weißleder" link: "https://researchr.org/alias/stephan-wei%C3%9Fleder" volume: "324" series: "CEUR Workshop Proceedings" publisher: "CEUR-WS.org" kind: "proceedings" key: "dsml:2008"