Denotational Semantics of A User-Oriented, Domain-Specific Language

This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professi...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2013-09
Main Authors: Mercadal, Julien, Drey, Zoé, Consel, Charles
Format: Article
Language:English
Subjects:
Domain specific languages
Semantics
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 Mercadal, Julien
Drey, Zoé
Consel, Charles
description This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks. Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that make it accessible to developers that do not necessarily have programming skills. It has been used to develop a number of applications by non-programmers. We show how the user-oriented programming concepts of Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used to derive an interpreter for Pantagruel and to provide a basis to reason about Pantagruel programs.
doi_str_mv 10.48550/arxiv.1309.5141
format article
fullrecord <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_2085819547</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2085819547</sourcerecordid><originalsourceid>FETCH-LOGICAL-a517-74e4c8c811f6287093f7e51b335a54c9c7362a64faace33bc80ef59190f55ade3</originalsourceid><addsrcrecordid>eNotzktrAjEUQOFQKFSs-y4Hum1sXneSWcrYFwy40K7lGm8koomdzJT-_Bbq6uw-DmMPUsyNAxDP2P_E77nUopmDNPKGTZTWkjuj1B2blXIUQqjaKgA9Ye2SUh5wiDnhqVrTGdMQfalyqBbVZ6Ger_pIaaD9U7XMZ4yJry_kY4i-6jAdRjzQPbsNeCo0u3bKNq8vm_add6u3j3bRcQRpuTVkvPNOylArZ0WjgyWQO60BwfjGW10rrE1A9KT1zjtBARrZiACAe9JT9vjPXvr8NVIZtsc89n_bZauEAycbMFb_Aqk1Stg</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2085819547</pqid></control><display><type>article</type><title>Denotational Semantics of A User-Oriented, Domain-Specific Language</title><source>Publicly Available Content (ProQuest)</source><creator>Mercadal, Julien ; Drey, Zoé ; Consel, Charles</creator><creatorcontrib>Mercadal, Julien ; Drey, Zoé ; Consel, Charles</creatorcontrib><description>This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks. Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that make it accessible to developers that do not necessarily have programming skills. It has been used to develop a number of applications by non-programmers. We show how the user-oriented programming concepts of Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used to derive an interpreter for Pantagruel and to provide a basis to reason about Pantagruel programs.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1309.5141</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Domain specific languages ; Semantics</subject><ispartof>arXiv.org, 2013-09</ispartof><rights>2013. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.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/2085819547?pq-origsite=primo$$EHTML$$P50$$Gproquest$$Hfree_for_read</linktohtml><link.rule.ids>778,782,25736,27908,36995,44573</link.rule.ids></links><search><creatorcontrib>Mercadal, Julien</creatorcontrib><creatorcontrib>Drey, Zoé</creatorcontrib><creatorcontrib>Consel, Charles</creatorcontrib><title>Denotational Semantics of A User-Oriented, Domain-Specific Language</title><title>arXiv.org</title><description>This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks. Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that make it accessible to developers that do not necessarily have programming skills. It has been used to develop a number of applications by non-programmers. We show how the user-oriented programming concepts of Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used to derive an interpreter for Pantagruel and to provide a basis to reason about Pantagruel programs.</description><subject>Domain specific languages</subject><subject>Semantics</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><sourceid>PIMPY</sourceid><recordid>eNotzktrAjEUQOFQKFSs-y4Hum1sXneSWcrYFwy40K7lGm8koomdzJT-_Bbq6uw-DmMPUsyNAxDP2P_E77nUopmDNPKGTZTWkjuj1B2blXIUQqjaKgA9Ye2SUh5wiDnhqVrTGdMQfalyqBbVZ6Ger_pIaaD9U7XMZ4yJry_kY4i-6jAdRjzQPbsNeCo0u3bKNq8vm_add6u3j3bRcQRpuTVkvPNOylArZ0WjgyWQO60BwfjGW10rrE1A9KT1zjtBARrZiACAe9JT9vjPXvr8NVIZtsc89n_bZauEAycbMFb_Aqk1Stg</recordid><startdate>20130920</startdate><enddate>20130920</enddate><creator>Mercadal, Julien</creator><creator>Drey, Zoé</creator><creator>Consel, Charles</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>20130920</creationdate><title>Denotational Semantics of A User-Oriented, Domain-Specific Language</title><author>Mercadal, Julien ; Drey, Zoé ; Consel, Charles</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a517-74e4c8c811f6287093f7e51b335a54c9c7362a64faace33bc80ef59190f55ade3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Domain specific languages</topic><topic>Semantics</topic><toplevel>online_resources</toplevel><creatorcontrib>Mercadal, Julien</creatorcontrib><creatorcontrib>Drey, Zoé</creatorcontrib><creatorcontrib>Consel, Charles</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>AUTh Library subscriptions: ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>SciTech Premium Collection (Proquest) (PQ_SDU_P3)</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content (ProQuest)</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><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Mercadal, Julien</au><au>Drey, Zoé</au><au>Consel, Charles</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Denotational Semantics of A User-Oriented, Domain-Specific Language</atitle><jtitle>arXiv.org</jtitle><date>2013-09-20</date><risdate>2013</risdate><eissn>2331-8422</eissn><abstract>This paper presents the formal definition of a domain-specific language, named Pantagruel, following the methodology proposed by David Schmidt for language development. This language is dedicated to programming applications that orchestrate networked entities. It targets developers that are professionals in such domains as building management and assisted living, and want to leverage networked entities to support daily tasks. Pantagruel has a number of features that address the requirements of the domain of entity orchestration. Furthermore, Pantagruel provides high-level constructs that make it accessible to developers that do not necessarily have programming skills. It has been used to develop a number of applications by non-programmers. We show how the user-oriented programming concepts of Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used to derive an interpreter for Pantagruel and to provide a basis to reason about Pantagruel programs.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1309.5141</doi><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier EISSN: 2331-8422
ispartof arXiv.org, 2013-09
issn 2331-8422
language eng
recordid cdi_proquest_journals_2085819547
source Publicly Available Content (ProQuest)
subjects Domain specific languages
Semantics
title Denotational Semantics of A User-Oriented, Domain-Specific Language
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-16T15%3A26%3A32IST&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:journal&rft.genre=article&rft.atitle=Denotational%20Semantics%20of%20A%20User-Oriented,%20Domain-Specific%20Language&rft.jtitle=arXiv.org&rft.au=Mercadal,%20Julien&rft.date=2013-09-20&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1309.5141&rft_dat=%3Cproquest%3E2085819547%3C/proquest%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-a517-74e4c8c811f6287093f7e51b335a54c9c7362a64faace33bc80ef59190f55ade3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2085819547&rft_id=info:pmid/&rfr_iscdi=true