Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations

A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2015-11
Main Authors: Keshishzadeh, Sarmen, Mooij, Arjan J, Hooman, Jozef
Format: Article
Language:English
Subjects:
Consistency
Domain specific languages
Industrial development
Model testing
Semantics
Transformations
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by
cites
container_end_page
container_issue
container_start_page
container_title arXiv.org
container_volume
creator Keshishzadeh, Sarmen
Mooij, Arjan J
Hooman, Jozef
description A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the consistency of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the consistency between the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for consistency checking. We report about our experience with this approach in an industrial development project.
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2083850317</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2083850317</sourcerecordid><originalsourceid>FETCH-proquest_journals_20838503173</originalsourceid><addsrcrecordid>eNqNi8sKgkAUQIcgSMp_uNBamGYy3ZtS0E7XxWBXHNMZmztSn9-DPqDVWZxzZiwQUm6idCvEgoVEHedc7BIRxzJg56O5TuSdVj3kzxGdRlMjwUP7FhQU1g1vsy9PUOKgjNc1gbeQtVjfILPOYe0NEoFtvlXllKHmc3ltDa3YvFE9Yfjjkq2LvMoO0ejsfULyl85OzrzVRfBUpjGXm0T-V70ADlVDnQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2083850317</pqid></control><display><type>article</type><title>Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations</title><source>Publicly Available Content Database</source><creator>Keshishzadeh, Sarmen ; Mooij, Arjan J ; Hooman, Jozef</creator><creatorcontrib>Keshishzadeh, Sarmen ; Mooij, Arjan J ; Hooman, Jozef</creatorcontrib><description>A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the consistency of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the consistency between the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for consistency checking. We report about our experience with this approach in an industrial development project.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Consistency ; Domain specific languages ; Industrial development ; Model testing ; Semantics ; Transformations</subject><ispartof>arXiv.org, 2015-11</ispartof><rights>2015. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/2083850317?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>780,784,25751,37010,44588</link.rule.ids></links><search><creatorcontrib>Keshishzadeh, Sarmen</creatorcontrib><creatorcontrib>Mooij, Arjan J</creatorcontrib><creatorcontrib>Hooman, Jozef</creatorcontrib><title>Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations</title><title>arXiv.org</title><description>A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the consistency of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the consistency between the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for consistency checking. We report about our experience with this approach in an industrial development project.</description><subject>Consistency</subject><subject>Domain specific languages</subject><subject>Industrial development</subject><subject>Model testing</subject><subject>Semantics</subject><subject>Transformations</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2015</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNqNi8sKgkAUQIcgSMp_uNBamGYy3ZtS0E7XxWBXHNMZmztSn9-DPqDVWZxzZiwQUm6idCvEgoVEHedc7BIRxzJg56O5TuSdVj3kzxGdRlMjwUP7FhQU1g1vsy9PUOKgjNc1gbeQtVjfILPOYe0NEoFtvlXllKHmc3ltDa3YvFE9Yfjjkq2LvMoO0ejsfULyl85OzrzVRfBUpjGXm0T-V70ADlVDnQ</recordid><startdate>20151125</startdate><enddate>20151125</enddate><creator>Keshishzadeh, Sarmen</creator><creator>Mooij, Arjan J</creator><creator>Hooman, Jozef</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20151125</creationdate><title>Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations</title><author>Keshishzadeh, Sarmen ; Mooij, Arjan J ; Hooman, Jozef</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_20838503173</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2015</creationdate><topic>Consistency</topic><topic>Domain specific languages</topic><topic>Industrial development</topic><topic>Model testing</topic><topic>Semantics</topic><topic>Transformations</topic><toplevel>online_resources</toplevel><creatorcontrib>Keshishzadeh, Sarmen</creatorcontrib><creatorcontrib>Mooij, Arjan J</creatorcontrib><creatorcontrib>Hooman, Jozef</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Keshishzadeh, Sarmen</au><au>Mooij, Arjan J</au><au>Hooman, Jozef</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations</atitle><jtitle>arXiv.org</jtitle><date>2015-11-25</date><risdate>2015</risdate><eissn>2331-8422</eissn><abstract>A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component. The development of DSLs is usually centered around a grammar and transformations that generate implementation code or analysis models. The semantics of the language is often defined implicitly and in terms of a transformation to implementation code. In the presence of multiple transformations from the DSL, the consistency of the generated artifacts with respect to the semantics of the DSL is a relevant issue. We show that a formal semantics is essential for checking the consistency between the generated artifacts. We exploit the formal semantics in an industrial project and use formal techniques based on equivalence checking and model-based testing for consistency checking. We report about our experience with this approach in an industrial development project.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2015-11
issn 2331-8422
language eng
recordid cdi_proquest_journals_2083850317
source Publicly Available Content Database
subjects Consistency
Domain specific languages
Industrial development
Model testing
Semantics
Transformations
title Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-09T20%3A22%3A42IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=Industrial%20Experiences%20with%20a%20Formal%20DSL%20Semantics%20to%20Check%20Correctness%20of%20DSL%20Transformations&rft.jtitle=arXiv.org&rft.au=Keshishzadeh,%20Sarmen&rft.date=2015-11-25&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E2083850317%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-proquest_journals_20838503173%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2083850317&rft_id=info:pmid/&rfr_iscdi=true