Simplifying Translation Validation via Model Extrapolation.
Saved in:
| Title: | Simplifying Translation Validation via Model Extrapolation. |
|---|---|
| Authors: | Howar, Falk, Margaria, Tiziana1, Wagner, Christian1 |
| Source: | Journal of Integrated Design & Process Science. 2013, Vol. 17 Issue 3, p71-91. 21p. |
| Subjects: | Methods engineering, Voyager program, United States. National Aeronautics & Space Administration, Machine theory, Data mining |
| Abstract: | We revisit our case study on the NASA's Voyager space mission to automatically discover its behaviour by means of model transformation and automata learning. We investigate the conformance of three structurally different types of specification of the case study: (1) a formal specification given in ASSL, (2) a derived implementation in Java, and (3) two behavioral models, one derived from the ASSL specification and one learned from the Java implementation. This way we show that Behavioural Mining, that extracts directly analyzable behavioural models from other artifacts (specifications or code) is a practicable and very simple way to obtain a process-oriented description of third-party systems. As the learning technique can be tailored to different abstraction levels according what behavioural primitives we decide to observe, we show and discuss different alternative learned models. This process oriented description is directly amenable to formal verification, as we show here by means of model checking. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Integrated Design & Process Science is the property of Sage Publications Inc. 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 | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 95659991 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Simplifying Translation Validation via Model Extrapolation. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Howar%2C+Falk%22">Howar, Falk</searchLink><br /><searchLink fieldCode="AR" term="%22Margaria%2C+Tiziana%22">Margaria, Tiziana</searchLink><relatesTo>1</relatesTo><br /><searchLink fieldCode="AR" term="%22Wagner%2C+Christian%22">Wagner, Christian</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Integrated+Design+%26+Process+Science%22">Journal of Integrated Design & Process Science</searchLink>. 2013, Vol. 17 Issue 3, p71-91. 21p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Methods+engineering%22">Methods engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Voyager+program%22">Voyager program</searchLink><br /><searchLink fieldCode="DE" term="%22United+States%2E+National+Aeronautics+%26+Space+Administration%22">United States. National Aeronautics & Space Administration</searchLink><br /><searchLink fieldCode="DE" term="%22Machine+theory%22">Machine theory</searchLink><br /><searchLink fieldCode="DE" term="%22Data+mining%22">Data mining</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: We revisit our case study on the NASA's Voyager space mission to automatically discover its behaviour by means of model transformation and automata learning. We investigate the conformance of three structurally different types of specification of the case study: (1) a formal specification given in ASSL, (2) a derived implementation in Java, and (3) two behavioral models, one derived from the ASSL specification and one learned from the Java implementation. This way we show that Behavioural Mining, that extracts directly analyzable behavioural models from other artifacts (specifications or code) is a practicable and very simple way to obtain a process-oriented description of third-party systems. As the learning technique can be tailored to different abstraction levels according what behavioural primitives we decide to observe, we show and discuss different alternative learned models. This process oriented description is directly amenable to formal verification, as we show here by means of model checking. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Integrated Design & Process Science is the property of Sage Publications Inc. 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=95659991 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.3233/jid-2013-0022 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 21 StartPage: 71 Subjects: – SubjectFull: Methods engineering Type: general – SubjectFull: Voyager program Type: general – SubjectFull: United States. National Aeronautics & Space Administration Type: general – SubjectFull: Machine theory Type: general – SubjectFull: Data mining Type: general Titles: – TitleFull: Simplifying Translation Validation via Model Extrapolation. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Howar, Falk – PersonEntity: Name: NameFull: Margaria, Tiziana – PersonEntity: Name: NameFull: Wagner, Christian IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 09 Text: 2013 Type: published Y: 2013 Identifiers: – Type: issn-print Value: 10920617 Numbering: – Type: volume Value: 17 – Type: issue Value: 3 Titles: – TitleFull: Journal of Integrated Design & Process Science Type: main |
| ResultId | 1 |
