AnATLyzer an advanced IDE for ATL model transformations

Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical...

Full description

Saved in:
Bibliographic Details
Published in2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) pp. 85 - 88
Main Authors Cuadrado, Jesús Sánchez, Guerra, Esther, de Lara, Juan
Format Conference Proceeding
LanguageEnglish
Published New York, NY, USA ACM 27.05.2018
SeriesACM Conferences
Subjects
Analytical models
ATL
Computer bugs
Model Driven Engineering
Model transformation
Software
Software and its engineering > Software creation and management > Software development techniques
Software and its engineering > Software creation and management > Software verification and validation
Static analysis
Unified modeling language
Verification
Visualization
static analysis
ATL
model transformation
model-driven engineering
verification
Online AccessGet full text
ISBN145035663X
9781450356633
ISSN2574-1934
DOI10.1145/3183440.3183479

Cover

Abstract Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical MT languages. To alleviate this problem, this paper presents AnATLyzer: a static analysis tool for ATL MTs. The tool is able to detect a wide range of non-trivial problems in ATL transformations by using constraint solving to improve the analysis precision. It provides a live environment integrated into Eclipse which allows checking and fixing problems as the transformation is written. The environment is highly configurable and provides facilities like quick fixes, visualizations, navigation shortcuts and problem explanations. We have evaluated the tool over third-party MTs, obtaining good results. The tool website is http://anatlyzer.github.io, and a video showcasing its features is at https://youtu.be/bFpbZht7bqY
AbstractList Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical MT languages. To alleviate this problem, this paper presents AnATLyzer: a static analysis tool for ATL MTs. The tool is able to detect a wide range of non-trivial problems in ATL transformations by using constraint solving to improve the analysis precision. It provides a live environment integrated into Eclipse which allows checking and fixing problems as the transformation is written. The environment is highly configurable and provides facilities like quick fixes, visualizations, navigation shortcuts and problem explanations. We have evaluated the tool over third-party MTs, obtaining good results. The tool website is http://anatlyzer.github.io, and a video showcasing its features is at https://youtu.be/bFpbZht7bqY
Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a MT may affect many projects using it. Still, there is a lack of analysis tools applicable to non-toy transformations developed with practical MT languages. To alleviate this problem, this paper presents AnATLyzer: a static analysis tool for ATL MTs. The tool is able to detect a wide range of non-trivial problems in ATL transformations by using constraint solving to improve the analysis precision. It provides a live environment integrated into Eclipse which allows checking and fixing problems as the transformation is written. The environment is highly configurable and provides facilities like quick fixes, visualizations, navigation shortcuts and problem explanations. We have evaluated the tool over third-party MTs, obtaining good results. The tool website is http://anatlyzer.github.io, and a video showcasing its features is at https://youtu.be/bFpbZht7bqY
Author Cuadrado, Jesús Sánchez
Guerra, Esther
de Lara, Juan
Author_xml – sequence: 1
  givenname: Jesús Sánchez
  surname: Cuadrado
  fullname: Cuadrado, Jesús Sánchez
  email: jesusc@um.es
  organization: Universidad de Murcia
– sequence: 2
  givenname: Esther
  surname: Guerra
  fullname: Guerra, Esther
  email: esther.guerra@uam.es
  organization: Universidad Autónoma de Madrid
– sequence: 3
  givenname: Juan
  surname: de Lara
  fullname: de Lara, Juan
  email: juan.delara@uam.es
  organization: Universidad Autónoma de Madrid
BookMark eNqNjztLxEAUhccXuLtubeEfsEm8M_fOqwyLLwjYrGA3ZJI7EHUTSWzWX290U1haHTjf4cC3FKdd37EQlxJyKUnfoHRIBPlvWn8kllMLqI3Bl2OxUNpSJj3SyV9wLtbj-AoAyjjyyizEouiKbbn_4uFCnKXqfeT1nCvxfHe73Txk5dP946Yos0qR_cwkJ5dMTDWzAYpoE1pLqmp802BtjIsRkqqQANg0TdQ6YgRrGbim6B2uxNXht2Xm8DG0u2rYB0fkScuJXh9oVe9C7Pu3MUgIP8ZhNg6z8TTN_zkNcWg54Tc23VGk
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.3183479
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList

Database_xml – sequence: 1
  dbid: RIE
  name: IEEE Electronic Library (IEL)
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 145035663X
9781450356633
EISSN 2574-1934
EndPage 88
ExternalDocumentID 8449451
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-1ef8f6bfcee604b37f37742ad9dd3c668bb0f2a3400e6ddb55b3b077e0ec4b983
IEDL.DBID RIE
ISBN 145035663X
9781450356633
IngestDate Wed Aug 27 02:58:45 EDT 2025
Fri Sep 13 11:04:26 EDT 2024
IsPeerReviewed false
IsScholarly true
Keywords static analysis
ATL
model transformation
model-driven engineering
verification
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-1ef8f6bfcee604b37f37742ad9dd3c668bb0f2a3400e6ddb55b3b077e0ec4b983
PageCount 4
ParticipantIDs acm_books_10_1145_3183440_3183479
ieee_primary_8449451
acm_books_10_1145_3183440_3183479_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.2000394
Snippet Model transformations (MTs) are key in model-driven engineering as they automate model manipulation. Their early verification is essential because a bug in a...
SourceID ieee
acm
SourceType Publisher
StartPage 85
SubjectTerms Analytical models
ATL
Computer bugs
Model Driven Engineering
Model transformation
Software
Software and its engineering -- Software creation and management -- Software development techniques
Software and its engineering -- Software creation and management -- Software verification and validation
Static analysis
Unified modeling language
Verification
Visualization
Subtitle an advanced IDE for ATL model transformations
Title AnATLyzer
URI https://ieeexplore.ieee.org/document/8449451
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV3NS8MwFA9zJ09TN3F-EUHwYre2SdPUW9HJFCceNtit5OUDRO1kdgf315u03fxA0FvblDb8eOH9XvJ-7yF0ahmqjBIDHvjS92giiSdsFOABhEokXBFinDh5dM-GE3o7jaYNdL7Wwmity-Qz3XOX5Vm-msmF2yrrc0oT6vTSGzFnlVZrvZ_iqpYkNZVw9yR0lVfiuppPQKO-s15KXZTKnXzSuSP58q2pSulTrltotJpNlUry1FsU0JPLH4Ua_zvdLdT5VO_hh7Vf2kYNne-g1qp9A65XcxvxNE_Hd-9LPb_AaY7TOhsA31wNsKWy2A5i1yrtGY-_sFtrpR00uR6ML4de3UjBEyGNCy_QhhsGxv6Y-RRIbIhlfaFQiVJEMsYBfBMKYtezZkpBFAEBP461ryWFhJNd1Mxnud5DWPPAMrhQcM2ZO3IDH4Rw3w6UNkxCF51YVDMXIbxlleg5ymrksxr5Ljr7850M5o_adFHbwZq9VpU3shrR_d8fH6BNS2d4lY54iJrFfKGPLGUo4Li0lQ9AZ7my
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV1LT8JAEJ4QPegJFYz4XBMTLxZKd9tuvRGFgALxAAm3prOPxKjFYDnIr3eXFnzERG9tt2k3X2Yz3-zONwNwYRiq8CONDrrCdVgkqJOYKMBB9GQScUmptuLkwTDojtndxJ-U4GqthVFKLZPPVN1eLs_y5VTM7VZZgzMWMauX3vQZY36u1lrvqNi6JVFBJuw99WztlbCo59NkfsPaL2M2TuVWQGkdknj51lZl6VU6ZRis5pMnkzzV5xnWxeJHqcb_TngHqp_6PfKw9ky7UFLpHpRXDRxIsZ4rwFtpa9R_X6jZNWmlpFXkA5DebZsYMkvMILHN0p7J6Au_NXZahXGnPbrpOkUrBSfxWJg5TaW5DlCbHwcuQxpqanifl8hISiqCgCO62kuoWdEqkBJ9Hym6YahcJRhGnO7DRjpN1QEQxZuGw3kJVzywh27oYpLYbzel0oHAGpwbVGMbI7zFuezZjwvk4wL5Glz--U6Ms0ela1CxsMavee2NuED08PfHZ7DVHQ36cb83vD-CbUNueJ6ceAwb2WyuTgyByPB0aTcfLqK8_w
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=2018+IEEE%2FACM+40th+International+Conference+on+Software+Engineering%3A+Companion+%28ICSE-Companion%29&rft.atitle=AnATLyzer%3A+An+Advanced+IDE+for+ATL+Model+Transformations&rft.au=Cuadrado%2C+Jesus+Sanchez&rft.au=Guerra%2C+Esther&rft.au=de+Lara%2C+Juan&rft.date=2018-05-01&rft.pub=ACM&rft.eissn=2574-1934&rft.spage=85&rft.epage=88&rft_id=info:doi/10.1145%2F3183440.3183479&rft.externalDocID=8449451
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