Advanced and efficient execution trace management for executable domain-specific modeling languages.
Saved in:
| Title: | Advanced and efficient execution trace management for executable domain-specific modeling languages. |
|---|---|
| Authors: | Bousse, Erwan1 bousse@big.tuwien.ac.at, Mayerhofer, Tanja1 mayerhofer@big.tuwien.ac.at, Combemale, Benoit2 benoit.combemale@irisa.fr, Baudry, Benoit3 benoit.baudry@inria.fr |
| Source: | Software & Systems Modeling. Feb2019, Vol. 18 Issue 1, p385-421. 37p. |
| Subjects: | Execution traces (Computer program testing), Domain-specific programming languages, Semantics, Mathematical models, Mathematical simplification |
| Abstract: | Executable Domain-Specific Modeling Languages (xDSMLs) enable the application of early dynamic verification and validation (V&V) techniques for behavioral models. At the core of such techniques, execution traces are used to represent the evolution of models during their execution. In order to construct execution traces for any xDSML, generic trace metamodels can be used. Yet, regarding trace manipulations, generic trace metamodels lack efficiency in time because of their sequential structure, efficiency in memory because they capture superfluous data, and usability because of their conceptual gap with the considered xDSML. Our contribution is a novel generative approach that defines a multidimensional and domain-specific trace metamodel enabling the construction and manipulation of execution traces for models conforming to a given xDSML. Efficiency in time is improved by providing a variety of navigation paths within traces, while usability and memory are improved by narrowing the scope of trace metamodels to fit the considered xDSML. We evaluated our approach by generating a trace metamodel for fUML and using it for semantic differencing, which is an important V&V technique in the realm of model evolution. Results show a significant performance improvement and simplification of the semantic differencing rules as compared to the usage of a generic trace metamodel. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature 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.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 134892261 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Advanced and efficient execution trace management for executable domain-specific modeling languages. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Bousse%2C+Erwan%22">Bousse, Erwan</searchLink><relatesTo>1</relatesTo><i> bousse@big.tuwien.ac.at</i><br /><searchLink fieldCode="AR" term="%22Mayerhofer%2C+Tanja%22">Mayerhofer, Tanja</searchLink><relatesTo>1</relatesTo><i> mayerhofer@big.tuwien.ac.at</i><br /><searchLink fieldCode="AR" term="%22Combemale%2C+Benoit%22">Combemale, Benoit</searchLink><relatesTo>2</relatesTo><i> benoit.combemale@irisa.fr</i><br /><searchLink fieldCode="AR" term="%22Baudry%2C+Benoit%22">Baudry, Benoit</searchLink><relatesTo>3</relatesTo><i> benoit.baudry@inria.fr</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Feb2019, Vol. 18 Issue 1, p385-421. 37p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Execution+traces+%28Computer+program+testing%29%22">Execution traces (Computer program testing)</searchLink><br /><searchLink fieldCode="DE" term="%22Domain-specific+programming+languages%22">Domain-specific programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Semantics%22">Semantics</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+models%22">Mathematical models</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematical+simplification%22">Mathematical simplification</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Executable Domain-Specific Modeling Languages (xDSMLs) enable the application of early dynamic verification and validation (V&V) techniques for behavioral models. At the core of such techniques, execution traces are used to represent the evolution of models during their execution. In order to construct execution traces for any xDSML, generic trace metamodels can be used. Yet, regarding trace manipulations, generic trace metamodels lack efficiency in time because of their sequential structure, efficiency in memory because they capture superfluous data, and usability because of their conceptual gap with the considered xDSML. Our contribution is a novel generative approach that defines a multidimensional and domain-specific trace metamodel enabling the construction and manipulation of execution traces for models conforming to a given xDSML. Efficiency in time is improved by providing a variety of navigation paths within traces, while usability and memory are improved by narrowing the scope of trace metamodels to fit the considered xDSML. We evaluated our approach by generating a trace metamodel for fUML and using it for semantic differencing, which is an important V&V technique in the realm of model evolution. Results show a significant performance improvement and simplification of the semantic differencing rules as compared to the usage of a generic trace metamodel. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature 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=134892261 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-017-0598-5 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 37 StartPage: 385 Subjects: – SubjectFull: Execution traces (Computer program testing) Type: general – SubjectFull: Domain-specific programming languages Type: general – SubjectFull: Semantics Type: general – SubjectFull: Mathematical models Type: general – SubjectFull: Mathematical simplification Type: general Titles: – TitleFull: Advanced and efficient execution trace management for executable domain-specific modeling languages. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Bousse, Erwan – PersonEntity: Name: NameFull: Mayerhofer, Tanja – PersonEntity: Name: NameFull: Combemale, Benoit – PersonEntity: Name: NameFull: Baudry, Benoit IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 02 Text: Feb2019 Type: published Y: 2019 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 18 – Type: issue Value: 1 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
