The Gamma statechart composition framework Design, verification and code generation for component-based reactive systems

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...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) s. 113 - 116
Hlavní autori: Molnár, Vince, Graics, Bence, Vörös, András, Majzik, István, Varró, Dániel
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: New York, NY, USA ACM 27.05.2018
Edícia:ACM Conferences
Predmet:
code generation
composition
Formal verification
Generators
Mathematical model
Object oriented modeling
Software
Software and its engineering > Software creation and management > Software verification and validation > Formal software verification
Software and its engineering > Software notations and tools > System description languages > System modeling languages
statecharts
Theory of computation > Logic > Verification by model checking
Unified modeling language
statecharts
code generation
formal verification
composition
ISBN:145035663X, 9781450356633
ISSN:2574-1934
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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
AbstractList 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
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.
Author Graics, Bence
Molnár, Vince
Majzik, István
Varró, Dániel
Vörös, András
Author_xml – sequence: 1
  givenname: Vince
  surname: Molnár
  fullname: Molnár, Vince
  email: molnarv@mit.bme.hu
  organization: Budapest University of Technology and Economics and MTA-BME Lendület Cyber-physical Systems Research Group
– sequence: 2
  givenname: Bence
  surname: Graics
  fullname: Graics, Bence
  organization: Budapest University of Technology and Economics
– sequence: 3
  givenname: András
  surname: Vörös
  fullname: Vörös, András
  email: vori@mit.bme.hu
  organization: Budapest University of Technology and Economics and MTA-BME Lendület Cyber-physical Systems Research Group
– sequence: 4
  givenname: István
  surname: Majzik
  fullname: Majzik, István
  email: majzik@mit.bme.hu
  organization: Budapest University of Technology and Economics
– sequence: 5
  givenname: Dániel
  surname: Varró
  fullname: Varró, Dániel
  email: varro@mit.bme.hu
  organization: Budapest University of Technology and Economics and MTA-BME Lendület Cyber-physical Systems Research Group and McGill University
BookMark eNqNkDtPwzAUhc1Loi2dGVgyIqQEP24ce0QVFKRKLBnYrBvHVkNxXDmREP-eQDswMh3pfjpHV9-cnPexd4RcM1owBuW9YEoA0OI3lT4h8-lKRSmleDslM15WkDMt4OwvuCTLYXinlHKpQHM5I3f11mVrDAGzYcTR2S2mMbMx7OPQjV3sM58wuM-YdlfkwuPH4JbHXJD66bFePeeb1_XL6mGTI4dqzL2ilmvn5fSdclILbcFh21isvJKWthYls0JqLTnnimLVYsVYA6qRWIJYkJvDbOecM_vUBUxfRgFoKNVEiwNFG0wT424wjJofI-ZoxByNmCZ1zk-F238WxDdXRF2S
CODEN IEEPAD
ContentType Conference Proceeding
Copyright 2018 Owner/Author
Copyright_xml – notice: 2018 Owner/Author
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1145/3183440.3183489
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL) - NZ
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL) (UW System Shared)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 145035663X
9781450356633
EISSN 2574-1934
EndPage 116
ExternalDocumentID 8449458
Genre orig-research
GroupedDBID 6IE
6IF
6IL
6IN
AAJGR
ABLEC
ACM
ADPZR
ALMA_UNASSIGNED_HOLDINGS
APO
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
GUFHI
IEGSK
LHSKQ
OCL
RIE
RIL
AAWTH
ADZIZ
CHZPO
ID FETCH-LOGICAL-a247t-f80c29ef64408e6939c4eadbca7f86c0dca61c3699622280a7da711b48b6a543
IEDL.DBID RIE
ISBN 145035663X
9781450356633
ISICitedReferencesCount 17
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000450109000029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
IngestDate Wed Aug 27 02:58:45 EDT 2025
Fri Sep 13 11:04:25 EDT 2024
Fri Sep 13 11:04:26 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Keywords statecharts
code generation
formal verification
composition
Language English
License Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.
LinkModel DirectLink
MeetingName ICSE '18: 40th International Conference on Software Engineering
MergedId FETCHMERGED-LOGICAL-a247t-f80c29ef64408e6939c4eadbca7f86c0dca61c3699622280a7da711b48b6a543
PageCount 4
ParticipantIDs ieee_primary_8449458
acm_books_10_1145_3183440_3183489
acm_books_10_1145_3183440_3183489_brief
PublicationCentury 2000
PublicationDate 20180527
2018-May
PublicationDateYYYYMMDD 2018-05-27
2018-05-01
PublicationDate_xml – month: 05
  year: 2018
  text: 20180527
  day: 27
PublicationDecade 2010
PublicationPlace New York, NY, USA
PublicationPlace_xml – name: New York, NY, USA
PublicationSeriesTitle ACM Conferences
PublicationTitle 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)
PublicationTitleAbbrev ICSE-COMPANION
PublicationYear 2018
Publisher ACM
Publisher_xml – name: ACM
SSID ssj0002684926
ssj0003203497
Score 2.1683729
Snippet The Gamma Statechart Composition Framework is an integrated tool to support the design, verification and validation as well as code generation for...
SourceID ieee
acm
SourceType Publisher
StartPage 113
SubjectTerms code generation
composition
Formal verification
Generators
Mathematical model
Object oriented modeling
Software
Software and its engineering -- Software creation and management -- Software verification and validation -- Formal software verification
Software and its engineering -- Software notations and tools -- System description languages -- System modeling languages
statecharts
Theory of computation -- Logic -- Verification by model checking
Unified modeling language
Subtitle Design, verification and code generation for component-based reactive systems
Title The Gamma statechart composition framework
URI https://ieeexplore.ieee.org/document/8449458
WOSCitedRecordID wos000450109000029&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB7a4sFT1VasL1YQvHRtHpNs4tFH9VSKFOkt7CvQQ6O0qb_f3c22IgjiKckybJbMbOaxM_MBXAcySSKlkQaKxRSNCFGBEqnKwlgyFcQShQObYJNJNp_n0xYMd7UwWmuXfKZv7a07y1fvcmNDZaMMMccka0ObsbSp1drFU2zXktybEvY5jmznFea7-YSYjKz0Ilov1VwtrHuby-UPUBWnU8bd_63mAPrfxXlkulM7h9DS1RF0t-gMxG_WHlhIOvLMl0tOnEVp66tqYul8nhYZbxOz7sijS-QYkjcjkKUP4xFeKUOvzCyuN7UbMzZuM0dlFkfvjQ5U5FVz99ckvv15H2bjp9nDC_VAC5RHyGpaZoGMcl2mFn5ap3mcSzQSJiRnZZbKQEmehjJOjW9kA0YBZ4qzMBSYiZQnGB9DpzKvPQGimNnVHIWw8SSUgucs0MaoM2YXL_OEDeDKfPTCOhDroqmJTgrPmMIzZgA3f9IUYrXQ5QB6li3FR9OYo_AcOf19-Az2jbWTNdmK59CpVxt9AXvys16sV5dOmr4AmTDFfg
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1ZS8NAEB7aKuhT1Vas5wqCL43mmGQTHz1qxVqKFOlb2CvQh1bp4e93d7OtCIL4lGQZNktmNnPszHwAF76I41Aq9HxJIw-1CHkcBXoyDSJBpR8J5BZsgvb76WiUDSrQXtfCKKVs8pm6Mrf2LF--i6UJlV2niBnGaRU2YsTQL6u11hEV07ckc8aEeY5C03uFun4-AcbXRn4RjZ-qrwbYvcrE5AesitUqnfr_1rMDze_yPDJYK55dqKjpHtRX-AzEbdcGGFA68sgmE0asTWkqrBbE0LlMLdJZpWbdkHubytEmb1okCxfII2wqNb3Us9ju1HZMW7nlHFO9OO9Wa0FJXhWz_03iGqA3Ydh5GN51PQe14LEQ6cIrUl-EmSoSA0CtkizKBGoZ44LRIk2ELwVLAhEl2jsyISOfUcloEHBMecJijPahNtWvPQAiqd7XDDk3ESUUnGXUV9qs04YXK7KYtuBcf_TcuBDzvKyKjnPHmNwxpgWXf9LkfDZWRQsahi35R9maI3ccOfx9-Ay2usOXXt576j8fwba2fdIyd_EYaovZUp3ApvhcjOezUytZXwunyMU
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+40th+International+Conference+on+Software+Engineering%3A+Companion+Proceeedings&rft.atitle=The+Gamma+statechart+composition+framework&rft.au=Moln%C3%A1r%2C+Vince&rft.au=Graics%2C+Bence&rft.au=V%C3%B6r%C3%B6s%2C+Andr%C3%A1s&rft.au=Majzik%2C+Istv%C3%A1n&rft.series=ACM+Conferences&rft.date=2018-05-27&rft.pub=ACM&rft.isbn=145035663X&rft.spage=113&rft.epage=116&rft_id=info:doi/10.1145%2F3183440.3183489
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450356633/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450356633/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781450356633/sc.gif&client=summon&freeimage=true