View in EDS

Towards Formal Analysis of Multi-paradigm Model Transformations.

Saved in:
Bibliographic Details
Title: Towards Formal Analysis of Multi-paradigm Model Transformations.
Authors: Asztalos, Márk1 asztalos@aut.bme.hu, Madari, István1 istvan.madari}@aut.bme.hu, Lengyel, László1 lengyel@aut.bme.hu
Source: Simulation. Jul2010, Vol. 86 Issue 7, p429-452. 24p.
Subjects: Mathematical transformations, Multiparadigm programming (Computer science), Object-oriented programming, Object-oriented methods (Computer science), Case studies, Mobile communication systems
Abstract: The Multi-Paradigm Modeling (MPM) approach of model-based development emphasizes the specification of a system by multiple models. We use transformations to automatically transform, integrate and synchronize models. Verification and validation of model transformations are fundamental issues: we need to express what a valid model is and how a valid model transformation may transform the models; otherwise, we have to analyze each transformed model individually, which makes it difficult to automate the process of using models. We have formally analyzed various model transformations in several case studies and industrial projects. From this experience, we have distilled the frequently recurring techniques and solutions, referred to as Model Transformation Analysis (MTA) methods. These instances, similarly to design patterns in object-oriented programming, define special constructions as solutions for recurring problems that arise when one implements a model transformation. Moreover, MTA methods contain special techniques and language features that should be taken into account when one designs a model transformation framework or a model transformation language. We hope that MTA methods may be the basis of automated formal analysis techniques of model transformations. This paper contributes the concept and instances of MTA methods and provides a case study based on an industrial project of mobile application development. With this real-world example, we want to demonstrate the role and use of MTA methods. The case study is implemented in Visual Modeling and Transformation System (VMTS), which is a tool that realizes the MPM concept to provide a model and model transformation-based environment for software development. [ABSTRACT FROM AUTHOR]
Copyright of Simulation is the property of Sage Publications, Ltd. 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
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 51607210
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Towards Formal Analysis of Multi-paradigm Model Transformations.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Asztalos%2C+Márk%22">Asztalos, Márk</searchLink><relatesTo>1</relatesTo><i> asztalos@aut.bme.hu</i><br /><searchLink fieldCode="AR" term="%22Madari%2C+István%22">Madari, István</searchLink><relatesTo>1</relatesTo><i> istvan.madari}@aut.bme.hu</i><br /><searchLink fieldCode="AR" term="%22Lengyel%2C+László%22">Lengyel, László</searchLink><relatesTo>1</relatesTo><i> lengyel@aut.bme.hu</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Simulation%22">Simulation</searchLink>. Jul2010, Vol. 86 Issue 7, p429-452. 24p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Mathematical+transformations%22">Mathematical transformations</searchLink><br /><searchLink fieldCode="DE" term="%22Multiparadigm+programming+%28Computer+science%29%22">Multiparadigm programming (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Object-oriented+programming%22">Object-oriented programming</searchLink><br /><searchLink fieldCode="DE" term="%22Object-oriented+methods+%28Computer+science%29%22">Object-oriented methods (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Case+studies%22">Case studies</searchLink><br /><searchLink fieldCode="DE" term="%22Mobile+communication+systems%22">Mobile communication systems</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: The Multi-Paradigm Modeling (MPM) approach of model-based development emphasizes the specification of a system by multiple models. We use transformations to automatically transform, integrate and synchronize models. Verification and validation of model transformations are fundamental issues: we need to express what a valid model is and how a valid model transformation may transform the models; otherwise, we have to analyze each transformed model individually, which makes it difficult to automate the process of using models. We have formally analyzed various model transformations in several case studies and industrial projects. From this experience, we have distilled the frequently recurring techniques and solutions, referred to as Model Transformation Analysis (MTA) methods. These instances, similarly to design patterns in object-oriented programming, define special constructions as solutions for recurring problems that arise when one implements a model transformation. Moreover, MTA methods contain special techniques and language features that should be taken into account when one designs a model transformation framework or a model transformation language. We hope that MTA methods may be the basis of automated formal analysis techniques of model transformations. This paper contributes the concept and instances of MTA methods and provides a case study based on an industrial project of mobile application development. With this real-world example, we want to demonstrate the role and use of MTA methods. The case study is implemented in Visual Modeling and Transformation System (VMTS), which is a tool that realizes the MPM concept to provide a model and model transformation-based environment for software development. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Simulation is the property of Sage Publications, Ltd. 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=51607210
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1177/0037549709343545
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 24
        StartPage: 429
    Subjects:
      – SubjectFull: Mathematical transformations
        Type: general
      – SubjectFull: Multiparadigm programming (Computer science)
        Type: general
      – SubjectFull: Object-oriented programming
        Type: general
      – SubjectFull: Object-oriented methods (Computer science)
        Type: general
      – SubjectFull: Case studies
        Type: general
      – SubjectFull: Mobile communication systems
        Type: general
    Titles:
      – TitleFull: Towards Formal Analysis of Multi-paradigm Model Transformations.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Asztalos, Márk
      – PersonEntity:
          Name:
            NameFull: Madari, István
      – PersonEntity:
          Name:
            NameFull: Lengyel, László
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 07
              Text: Jul2010
              Type: published
              Y: 2010
          Identifiers:
            – Type: issn-print
              Value: 00375497
          Numbering:
            – Type: volume
              Value: 86
            – Type: issue
              Value: 7
          Titles:
            – TitleFull: Simulation
              Type: main
ResultId 1