Scenario‐oriented reverse engineering of complex railway system specifications

In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling...

Full description

Saved in:
Bibliographic Details
Published in:Systems engineering 2018-03, Vol.21 (2), p.91-104
Main Authors: Issad, Melissa, Kloul, Leila, Rauzy, Antoine
Format: Article
Language:English
Subjects:
formal specifications
Methodology
modeling languages
Modelling
Railway engineering
railway systems
Railways
Reverse engineering
Specifications
systems engineering
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53
cites cdi_FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53
container_end_page 104
container_issue 2
container_start_page 91
container_title Systems engineering
container_volume 21
creator Issad, Melissa
Kloul, Leila
Rauzy, Antoine
description In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems.
doi_str_mv 10.1002/sys.21413
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_2008358307</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2008358307</sourcerecordid><originalsourceid>FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53</originalsourceid><addsrcrecordid>eNp1kE1OwzAQhS0EEqWw4AaRWLFIO7brNFmiij-pEkjthpXlOOPKVRoHO6VkxxE4IyfBELasZjT63jy9R8glhQkFYNPQhwmjM8qPyIgKBmmWi_w47lDkKWUzekrOQtgCUKAURuR5pbFR3rqvj0_nLTYdVonHN_QBE2w2tkH0ttkkziTa7doa3xOvbH1QfRK9OtwloUVtjdWqs64J5-TEqDrgxd8ck_Xd7XrxkC6f7h8XN8tUcwE8rTCHkgksQWRZJoAKDTnX80plhTZazQHyErgpBFYMc8OE4qaM51mBoAUfk6vhbevd6x5DJ7du75voKFmUcpFzmEfqeqC0dyF4NLL1dqd8LynIn75kzCB_-4rsdGAPtsb-f1CuXlaD4htsM26r</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2008358307</pqid></control><display><type>article</type><title>Scenario‐oriented reverse engineering of complex railway system specifications</title><source>Wiley</source><creator>Issad, Melissa ; Kloul, Leila ; Rauzy, Antoine</creator><creatorcontrib>Issad, Melissa ; Kloul, Leila ; Rauzy, Antoine</creatorcontrib><description>In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems.</description><identifier>ISSN: 1098-1241</identifier><identifier>EISSN: 1520-6858</identifier><identifier>DOI: 10.1002/sys.21413</identifier><language>eng</language><publisher>Hoboken: Wiley Subscription Services, Inc</publisher><subject>formal specifications ; Methodology ; modeling languages ; Modelling ; Railway engineering ; railway systems ; Railways ; Reverse engineering ; Specifications ; systems engineering</subject><ispartof>Systems engineering, 2018-03, Vol.21 (2), p.91-104</ispartof><rights>2018 Wiley Periodicals, Inc.</rights><rights>Copyright © 2018 Wiley Periodicals, Inc.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53</citedby><cites>FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53</cites><orcidid>0000-0001-7886-5213</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,27901,27902</link.rule.ids></links><search><creatorcontrib>Issad, Melissa</creatorcontrib><creatorcontrib>Kloul, Leila</creatorcontrib><creatorcontrib>Rauzy, Antoine</creatorcontrib><title>Scenario‐oriented reverse engineering of complex railway system specifications</title><title>Systems engineering</title><description>In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems.</description><subject>formal specifications</subject><subject>Methodology</subject><subject>modeling languages</subject><subject>Modelling</subject><subject>Railway engineering</subject><subject>railway systems</subject><subject>Railways</subject><subject>Reverse engineering</subject><subject>Specifications</subject><subject>systems engineering</subject><issn>1098-1241</issn><issn>1520-6858</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2018</creationdate><recordtype>article</recordtype><recordid>eNp1kE1OwzAQhS0EEqWw4AaRWLFIO7brNFmiij-pEkjthpXlOOPKVRoHO6VkxxE4IyfBELasZjT63jy9R8glhQkFYNPQhwmjM8qPyIgKBmmWi_w47lDkKWUzekrOQtgCUKAURuR5pbFR3rqvj0_nLTYdVonHN_QBE2w2tkH0ttkkziTa7doa3xOvbH1QfRK9OtwloUVtjdWqs64J5-TEqDrgxd8ck_Xd7XrxkC6f7h8XN8tUcwE8rTCHkgksQWRZJoAKDTnX80plhTZazQHyErgpBFYMc8OE4qaM51mBoAUfk6vhbevd6x5DJ7du75voKFmUcpFzmEfqeqC0dyF4NLL1dqd8LynIn75kzCB_-4rsdGAPtsb-f1CuXlaD4htsM26r</recordid><startdate>201803</startdate><enddate>201803</enddate><creator>Issad, Melissa</creator><creator>Kloul, Leila</creator><creator>Rauzy, Antoine</creator><general>Wiley Subscription Services, Inc</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7TB</scope><scope>8FD</scope><scope>FR3</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><orcidid>https://orcid.org/0000-0001-7886-5213</orcidid></search><sort><creationdate>201803</creationdate><title>Scenario‐oriented reverse engineering of complex railway system specifications</title><author>Issad, Melissa ; Kloul, Leila ; Rauzy, Antoine</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2018</creationdate><topic>formal specifications</topic><topic>Methodology</topic><topic>modeling languages</topic><topic>Modelling</topic><topic>Railway engineering</topic><topic>railway systems</topic><topic>Railways</topic><topic>Reverse engineering</topic><topic>Specifications</topic><topic>systems engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Issad, Melissa</creatorcontrib><creatorcontrib>Kloul, Leila</creatorcontrib><creatorcontrib>Rauzy, Antoine</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical &amp; Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Systems engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Issad, Melissa</au><au>Kloul, Leila</au><au>Rauzy, Antoine</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Scenario‐oriented reverse engineering of complex railway system specifications</atitle><jtitle>Systems engineering</jtitle><date>2018-03</date><risdate>2018</risdate><volume>21</volume><issue>2</issue><spage>91</spage><epage>104</epage><pages>91-104</pages><issn>1098-1241</issn><eissn>1520-6858</eissn><abstract>In this article, we present a scenario‐oriented modeling methodology dedicated to the analysis and the formalization of complex system specifications. The methodology relies on the SCOLA semiformal notation to describe scenarios and on a formal execution model described in the AltaRica 3.0 modeling language. We designed this methodology because we had to review thousands of pages of natural language specifications of a railway system in view of their validation with respect to safety constraints. We needed therefore some means to understand what the system was supposed to be and to do as well as to support a dialog with experts. This article aims at introducing the methodology and the modeling formalism that supports it as well as at discussing its application to the railway systems.</abstract><cop>Hoboken</cop><pub>Wiley Subscription Services, Inc</pub><doi>10.1002/sys.21413</doi><tpages>14</tpages><orcidid>https://orcid.org/0000-0001-7886-5213</orcidid></addata></record>
fulltext fulltext
identifier ISSN: 1098-1241
ispartof Systems engineering, 2018-03, Vol.21 (2), p.91-104
issn 1098-1241
1520-6858
language eng
recordid cdi_proquest_journals_2008358307
source Wiley
subjects formal specifications
Methodology
modeling languages
Modelling
Railway engineering
railway systems
Railways
Reverse engineering
Specifications
systems engineering
title Scenario‐oriented reverse engineering of complex railway system specifications
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T14%3A16%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Scenario%E2%80%90oriented%20reverse%20engineering%20of%20complex%20railway%20system%20specifications&rft.jtitle=Systems%20engineering&rft.au=Issad,%20Melissa&rft.date=2018-03&rft.volume=21&rft.issue=2&rft.spage=91&rft.epage=104&rft.pages=91-104&rft.issn=1098-1241&rft.eissn=1520-6858&rft_id=info:doi/10.1002/sys.21413&rft_dat=%3Cproquest_cross%3E2008358307%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c3503-de80b25eb056665015c083c7da69cfca7008b03f95ed2e8f25a3fba7049e0c53%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=2008358307&rft_id=info:pmid/&rfr_iscdi=true