View in EDS HTML Full Text PDF Full Text

The Gamma statechart composition framework.

Saved in:
Bibliographic Details
Title: The Gamma statechart composition framework.
Authors: Molnár, Vince, Graics, Bence, Vörös, András, Majzik, István, Varró, Dániel
Source: ICSE: International Conference on Software Engineering. 5/27/2018, p113-116. 4p.
Subjects: Statecharts (Computer science), Software verification, Software architecture, Software engineering, Domain-specific programming languages
Abstract: The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems. The behavior of each component is captured by a statechart, while assembling the system from components is driven by a domain-specific composition language. Gamma automatically synthesizes executable Java code extending the output of existing statechart-based code generators with composition related parts, and it supports formal verification by mapping composite statecharts to a back-end model checker. Execution traces obtained as witnesses during verification are back-annotated as test cases to replay an error trace or to validate external code generators. Tool demonstration video: https://youtu.be/ng7lKd1wlDo [ABSTRACT FROM AUTHOR]
Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery 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: 134657592
AccessLevel: 6
PubType: Conference
PubTypeId: conference
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: The Gamma statechart composition framework.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Molnár%2C+Vince%22">Molnár, Vince</searchLink><br /><searchLink fieldCode="AR" term="%22Graics%2C+Bence%22">Graics, Bence</searchLink><br /><searchLink fieldCode="AR" term="%22Vörös%2C+András%22">Vörös, András</searchLink><br /><searchLink fieldCode="AR" term="%22Majzik%2C+István%22">Majzik, István</searchLink><br /><searchLink fieldCode="AR" term="%22Varró%2C+Dániel%22">Varró, Dániel</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>. 5/27/2018, p113-116. 4p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Statecharts+%28Computer+science%29%22">Statecharts (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Software+verification%22">Software verification</searchLink><br /><searchLink fieldCode="DE" term="%22Software+architecture%22">Software architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Domain-specific+programming+languages%22">Domain-specific programming languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for component-based reactive systems. The behavior of each component is captured by a statechart, while assembling the system from components is driven by a domain-specific composition language. Gamma automatically synthesizes executable Java code extending the output of existing statechart-based code generators with composition related parts, and it supports formal verification by mapping composite statecharts to a back-end model checker. Execution traces obtained as witnesses during verification are back-annotated as test cases to replay an error trace or to validate external code generators. Tool demonstration video: https://youtu.be/ng7lKd1wlDo [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of ICSE: International Conference on Software Engineering is the property of Association for Computing Machinery 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=134657592
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1145/3183440.3183489
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 4
        StartPage: 113
    Subjects:
      – SubjectFull: Statecharts (Computer science)
        Type: general
      – SubjectFull: Software verification
        Type: general
      – SubjectFull: Software architecture
        Type: general
      – SubjectFull: Software engineering
        Type: general
      – SubjectFull: Domain-specific programming languages
        Type: general
    Titles:
      – TitleFull: The Gamma statechart composition framework.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Molnár, Vince
      – PersonEntity:
          Name:
            NameFull: Graics, Bence
      – PersonEntity:
          Name:
            NameFull: Vörös, András
      – PersonEntity:
          Name:
            NameFull: Majzik, István
      – PersonEntity:
          Name:
            NameFull: Varró, Dániel
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 27
              M: 05
              Text: 5/27/2018
              Type: published
              Y: 2018
          Titles:
            – TitleFull: ICSE: International Conference on Software Engineering
              Type: main
ResultId 1