Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
S pec-VALU e, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help...
Gespeichert in:
| Veröffentlicht in: | Computer communications 2000-07, Vol.23 (12), p.1135-1157 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1157 |
|---|---|
| container_issue | 12 |
| container_start_page | 1135 |
| container_title | Computer communications |
| container_volume | 23 |
| creator | Amyot, D. Logrippo, L. |
| description | S
pec-VALU
e, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language
Lotos. UCM scenarios are translated into
Lotos specifications, which animate UCMs with the help of tools.
Lotos-based techniques, especially specification-level testing, can be used to validate designs. It is shown how S
pec-VALU
e can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS). |
| doi_str_mv | 10.1016/S0140-3664(99)00242-X |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_57473413</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><els_id>S014036649900242X</els_id><sourcerecordid>57473413</sourcerecordid><originalsourceid>FETCH-LOGICAL-c338t-af1c39b08d82dbc59150bc1dcc5ec96d55d11f10f42fb5a12f1288f5d4945e2a3</originalsourceid><addsrcrecordid>eNqFkE1LAzEQhoMoWKs_QchJ9LCabJL9OIkUv6DiQQt7C9lkUiPbzZqkhf5711a8eplhmPd9mXkQOqfkmhJa3LwRyknGioJf1vUVITnPs-YATWhVsqwkrDlEkz_JMTqJ8ZMQwsuSTVCziIBnaiwvaohY9QbPffIRWx9w-gA8hHFM28H1y912ozpnVHK-x95ihVe-dR3gZfDrAWvVdThuY4LVKTqyqotw9tunaPFw_z57yuavj8-zu3mmGatSpizVrG5JZarctFrUVJBWU6O1AF0XRghDqaXE8ty2QtHc0ryqrDC85gJyxaboYp87Hvq1hpjkykUNXad68OsoRclLxikbhWIv1MHHGMDKIbiVCltJifzhKHcc5Q8kWddyx1E2o-9274Pxi42DIKN20GswLoBO0nj3T8I3xxp7Gw</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>57473413</pqid></control><display><type>article</type><title>Use Case Maps and Lotos for the prototyping and validation of a mobile group call system</title><source>Elsevier ScienceDirect Journals</source><creator>Amyot, D. ; Logrippo, L.</creator><creatorcontrib>Amyot, D. ; Logrippo, L.</creatorcontrib><description>S
pec-VALU
e, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language
Lotos. UCM scenarios are translated into
Lotos specifications, which animate UCMs with the help of tools.
Lotos-based techniques, especially specification-level testing, can be used to validate designs. It is shown how S
pec-VALU
e can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS).</description><identifier>ISSN: 0140-3664</identifier><identifier>EISSN: 1873-703X</identifier><identifier>DOI: 10.1016/S0140-3664(99)00242-X</identifier><language>eng</language><publisher>Elsevier B.V</publisher><subject>Causal scenarios ; Lotos ; Mobile communications ; Networks ; Specifications ; Telecommunications standards ; Use case maps ; Validation testing</subject><ispartof>Computer communications, 2000-07, Vol.23 (12), p.1135-1157</ispartof><rights>2000 Elsevier Science B.V.</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c338t-af1c39b08d82dbc59150bc1dcc5ec96d55d11f10f42fb5a12f1288f5d4945e2a3</citedby><cites>FETCH-LOGICAL-c338t-af1c39b08d82dbc59150bc1dcc5ec96d55d11f10f42fb5a12f1288f5d4945e2a3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.sciencedirect.com/science/article/pii/S014036649900242X$$EHTML$$P50$$Gelsevier$$H</linktohtml><link.rule.ids>314,776,780,3536,27903,27904,65309</link.rule.ids></links><search><creatorcontrib>Amyot, D.</creatorcontrib><creatorcontrib>Logrippo, L.</creatorcontrib><title>Use Case Maps and Lotos for the prototyping and validation of a mobile group call system</title><title>Computer communications</title><description>S
pec-VALU
e, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language
Lotos. UCM scenarios are translated into
Lotos specifications, which animate UCMs with the help of tools.
Lotos-based techniques, especially specification-level testing, can be used to validate designs. It is shown how S
pec-VALU
e can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS).</description><subject>Causal scenarios</subject><subject>Lotos</subject><subject>Mobile communications</subject><subject>Networks</subject><subject>Specifications</subject><subject>Telecommunications standards</subject><subject>Use case maps</subject><subject>Validation testing</subject><issn>0140-3664</issn><issn>1873-703X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2000</creationdate><recordtype>article</recordtype><recordid>eNqFkE1LAzEQhoMoWKs_QchJ9LCabJL9OIkUv6DiQQt7C9lkUiPbzZqkhf5711a8eplhmPd9mXkQOqfkmhJa3LwRyknGioJf1vUVITnPs-YATWhVsqwkrDlEkz_JMTqJ8ZMQwsuSTVCziIBnaiwvaohY9QbPffIRWx9w-gA8hHFM28H1y912ozpnVHK-x95ihVe-dR3gZfDrAWvVdThuY4LVKTqyqotw9tunaPFw_z57yuavj8-zu3mmGatSpizVrG5JZarctFrUVJBWU6O1AF0XRghDqaXE8ty2QtHc0ryqrDC85gJyxaboYp87Hvq1hpjkykUNXad68OsoRclLxikbhWIv1MHHGMDKIbiVCltJifzhKHcc5Q8kWddyx1E2o-9274Pxi42DIKN20GswLoBO0nj3T8I3xxp7Gw</recordid><startdate>20000701</startdate><enddate>20000701</enddate><creator>Amyot, D.</creator><creator>Logrippo, L.</creator><general>Elsevier B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>E3H</scope><scope>F2A</scope></search><sort><creationdate>20000701</creationdate><title>Use Case Maps and Lotos for the prototyping and validation of a mobile group call system</title><author>Amyot, D. ; Logrippo, L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c338t-af1c39b08d82dbc59150bc1dcc5ec96d55d11f10f42fb5a12f1288f5d4945e2a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2000</creationdate><topic>Causal scenarios</topic><topic>Lotos</topic><topic>Mobile communications</topic><topic>Networks</topic><topic>Specifications</topic><topic>Telecommunications standards</topic><topic>Use case maps</topic><topic>Validation testing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Amyot, D.</creatorcontrib><creatorcontrib>Logrippo, L.</creatorcontrib><collection>CrossRef</collection><collection>Library & Information Sciences Abstracts (LISA)</collection><collection>Library & Information Science Abstracts (LISA)</collection><jtitle>Computer communications</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Amyot, D.</au><au>Logrippo, L.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Use Case Maps and Lotos for the prototyping and validation of a mobile group call system</atitle><jtitle>Computer communications</jtitle><date>2000-07-01</date><risdate>2000</risdate><volume>23</volume><issue>12</issue><spage>1135</spage><epage>1157</epage><pages>1135-1157</pages><issn>0140-3664</issn><eissn>1873-703X</eissn><abstract>S
pec-VALU
e, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is based on two notations. The first notation, called Use Case Maps (UCMs), is used to capture functional requirements. UCMs can help reasoning about system-wide functionalities at a high level of abstraction before a prototype is generated. The second notation is the formal specification language
Lotos. UCM scenarios are translated into
Lotos specifications, which animate UCMs with the help of tools.
Lotos-based techniques, especially specification-level testing, can be used to validate designs. It is shown how S
pec-VALU
e can help to produce better-quality designs and standards and to improve human understanding with reduced time and costs. A real-life case study is provided: the Group Call service of the mobile data system General Packet Radio Services (GPRS).</abstract><pub>Elsevier B.V</pub><doi>10.1016/S0140-3664(99)00242-X</doi><tpages>23</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0140-3664 |
| ispartof | Computer communications, 2000-07, Vol.23 (12), p.1135-1157 |
| issn | 0140-3664 1873-703X |
| language | eng |
| recordid | cdi_proquest_miscellaneous_57473413 |
| source | Elsevier ScienceDirect Journals |
| subjects | Causal scenarios Lotos Mobile communications Networks Specifications Telecommunications standards Use case maps Validation testing |
| title | Use Case Maps and Lotos for the prototyping and validation of a mobile group call system |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T00%3A30%3A23IST&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=Use%20Case%20Maps%20and%20Lotos%20for%20the%20prototyping%20and%20validation%20of%20a%20mobile%20group%20call%20system&rft.jtitle=Computer%20communications&rft.au=Amyot,%20D.&rft.date=2000-07-01&rft.volume=23&rft.issue=12&rft.spage=1135&rft.epage=1157&rft.pages=1135-1157&rft.issn=0140-3664&rft.eissn=1873-703X&rft_id=info:doi/10.1016/S0140-3664(99)00242-X&rft_dat=%3Cproquest_cross%3E57473413%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=57473413&rft_id=info:pmid/&rft_els_id=S014036649900242X&rfr_iscdi=true |