Academic Journal
Προβολή σε EDS

Towards Formal Analysis of Multi-paradigm Model Transformations.

Λεπτομέρειες βιβλιογραφικής εγγραφής
Τίτλος: Towards Formal Analysis of Multi-paradigm Model Transformations.
Συγγραφείς: Asztalos, Márk, Madari, István, Lengyel, László
Πηγή: Simulation; Jul2010, Vol. 86 Issue 7, p429-452, 24p
Θεματικοί όροι: Mathematical transformations, Multiparadigm programming (Computer science), Object-oriented programming, Object-oriented methods (Computer science), Case studies, Mobile communication systems
Περίληψη: 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.)
Βάση Δεδομένων: Complementary Index
FullText Links:
  – Type: other
Text:
  Availability: 0
Header DbId: edb
DbLabel: Complementary Index
An: 51607210
RelevancyScore: 834
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 833.7705078125
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><br /><searchLink fieldCode="AR" term="%22Madari%2C+István%22">Madari, István</searchLink><br /><searchLink fieldCode="AR" term="%22Lengyel%2C+László%22">Lengyel, László</searchLink>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: Simulation; Jul2010, Vol. 86 Issue 7, p429-452, 24p
– Name: Subject
  Label: Subject Terms
  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: Abstract
  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=edb&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