View in EDS HTML Full Text PDF Full Text

Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling.

Saved in:
Bibliographic Details
Title: Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling.
Authors: Klikovits, Stefan1,2 (AUTHOR) klikovits@nii.ac.jp, Buchs, Didier1 (AUTHOR)
Source: Software & Systems Modeling. Jun2021, Vol. 20 Issue 3, p837-866. 30p.
Subjects: Digital subscriber lines, Rapid prototyping, Hybrid systems, Language & languages, Cyber physical systems, Water supply
Abstract: By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such as hybrid automata, data-flow languages and architecture description languages into a coherent language. The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics. The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable and serves as a model basis, and crestdsl, an internal DSL implementation that supports rapid prototyping—both are geared towards usability and clarity. We present the DSL's semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in crestdsl, and discuss the lessons learned throughout the project. [ABSTRACT FROM AUTHOR]
Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
Full text is not displayed to guests.
FullText Links:
  – Type: pdflink
Text:
  Availability: 1
Header DbId: egs
DbLabel: Engineering Source
An: 150936261
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Klikovits%2C+Stefan%22">Klikovits, Stefan</searchLink><relatesTo>1,2</relatesTo> (AUTHOR)<i> klikovits@nii.ac.jp</i><br /><searchLink fieldCode="AR" term="%22Buchs%2C+Didier%22">Buchs, Didier</searchLink><relatesTo>1</relatesTo> (AUTHOR)
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Jun2021, Vol. 20 Issue 3, p837-866. 30p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Digital+subscriber+lines%22">Digital subscriber lines</searchLink><br /><searchLink fieldCode="DE" term="%22Rapid+prototyping%22">Rapid prototyping</searchLink><br /><searchLink fieldCode="DE" term="%22Hybrid+systems%22">Hybrid systems</searchLink><br /><searchLink fieldCode="DE" term="%22Language+%26+languages%22">Language & languages</searchLink><br /><searchLink fieldCode="DE" term="%22Cyber+physical+systems%22">Cyber physical systems</searchLink><br /><searchLink fieldCode="DE" term="%22Water+supply%22">Water supply</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: By bridging the semantic gap, domain-specific language (DSLs) serve an important role in the conquest to allow domain experts to model their systems themselves. In this publication we present a case study of the development of the Continuous REactive SysTems language (CREST), a DSL for hybrid systems modeling. The language focuses on the representation of continuous resource flows such as water, electricity, light or heat. Our methodology follows a very pragmatic approach, combining the syntactic and semantic principles of well-known modeling means such as hybrid automata, data-flow languages and architecture description languages into a coherent language. The borrowed aspects have been carefully combined and formalised in a well-defined operational semantics. The DSL provides two concrete syntaxes: CREST diagrams, a graphical language that is easily understandable and serves as a model basis, and crestdsl, an internal DSL implementation that supports rapid prototyping—both are geared towards usability and clarity. We present the DSL's semantics, which thoroughly connect the various language concerns into an executable formalism that enables sound simulation and formal verification in crestdsl, and discuss the lessons learned throughout the project. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=150936261
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s10270-020-00831-4
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 30
        StartPage: 837
    Subjects:
      – SubjectFull: Digital subscriber lines
        Type: general
      – SubjectFull: Rapid prototyping
        Type: general
      – SubjectFull: Hybrid systems
        Type: general
      – SubjectFull: Language & languages
        Type: general
      – SubjectFull: Cyber physical systems
        Type: general
      – SubjectFull: Water supply
        Type: general
    Titles:
      – TitleFull: Pragmatic reuse for DSML development: Composing a DSL for hybrid CPS modeling.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Klikovits, Stefan
      – PersonEntity:
          Name:
            NameFull: Buchs, Didier
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 06
              Text: Jun2021
              Type: published
              Y: 2021
          Identifiers:
            – Type: issn-print
              Value: 16191366
          Numbering:
            – Type: volume
              Value: 20
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: Software & Systems Modeling
              Type: main
ResultId 1