Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle

The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies...

Full description

Saved in:
Bibliographic Details
Published in:Requirements engineering 2009-07, Vol.14 (3), p.129-153
Main Authors: García-Duque, Jorge, Pazos-Arias, José J., López-Nores, Martín, Blanco-Fernández, Yolanda, Fernández-Vilas, Ana, Díaz-Redondo, Rebeca P., Ramos-Cabrer, Manuel, Gil-Solla, Alberto
Format: Article
Language:English
Subjects:
Analysis
Computer Science
Integrated approach
Original Paper
Requirements
Software Engineering
Stakeholders
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-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933
cites cdi_FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933
container_end_page 153
container_issue 3
container_start_page 129
container_title Requirements engineering
container_volume 14
creator García-Duque, Jorge
Pazos-Arias, José J.
López-Nores, Martín
Blanco-Fernández, Yolanda
Fernández-Vilas, Ana
Díaz-Redondo, Rebeca P.
Ramos-Cabrer, Manuel
Gil-Solla, Alberto
description The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies it, in case some problems are detected. To date, the analysis and revision activities have been typically considered in isolation, resulting in ineffective support to the stakeholders’ work. In response to that, this article introduces methodologies to conduct an interactive and integrated approach, grounded on the formalization of two basic types of evolutions (refinements and retrenchments) over multi-valued specification and modeling formalisms. Evaluation results are included to show that this approach can indeed help the stakeholders identify and clarify requirements through different stages of development.
doi_str_mv 10.1007/s00766-009-0074-z
format article
fullrecord <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_journals_204443192</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1775681811</sourcerecordid><originalsourceid>FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933</originalsourceid><addsrcrecordid>eNp1UM1KAzEQDqJgrT6At8X7av6abI5S_IOKFwVvIZud7aZsN22yLbQn38E39ElMXcGTMD_MzPcNMx9ClwRfE4zlTUxBiBxjlVzyfH-ERoQzmmOC34_RCCsucyYwPUVnMS4wplwqNULrZ-gbX_nWzx3ErPcZbH27haz2YWnaLK7AutpZ0zvfpXkT_GbeZAFq18ESuj4zXZXKPkBnm5-G61IvmWl30cWvj88AWxcTPbM728I5OqlNG-HiN4_R2_3d6_Qxn708PE1vZ7llZNLnBnNpClLYoiwrwiYARJhyUmJFRVXKUiomoFaqkJIDZpKlUtTUCM4qyRVjY3Q17F0Fv95A7PXCb0K6KmqKOeeMKJpAZADZ4GNMX-lVcEsTdppgfRBWD8LqJKw-CKv3iUMHTkzYbg7hb_H_pG-gmH83</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>204443192</pqid></control><display><type>article</type><title>Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle</title><source>Springer Nature</source><creator>García-Duque, Jorge ; Pazos-Arias, José J. ; López-Nores, Martín ; Blanco-Fernández, Yolanda ; Fernández-Vilas, Ana ; Díaz-Redondo, Rebeca P. ; Ramos-Cabrer, Manuel ; Gil-Solla, Alberto</creator><creatorcontrib>García-Duque, Jorge ; Pazos-Arias, José J. ; López-Nores, Martín ; Blanco-Fernández, Yolanda ; Fernández-Vilas, Ana ; Díaz-Redondo, Rebeca P. ; Ramos-Cabrer, Manuel ; Gil-Solla, Alberto</creatorcontrib><description>The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies it, in case some problems are detected. To date, the analysis and revision activities have been typically considered in isolation, resulting in ineffective support to the stakeholders’ work. In response to that, this article introduces methodologies to conduct an interactive and integrated approach, grounded on the formalization of two basic types of evolutions (refinements and retrenchments) over multi-valued specification and modeling formalisms. Evaluation results are included to show that this approach can indeed help the stakeholders identify and clarify requirements through different stages of development.</description><identifier>ISSN: 0947-3602</identifier><identifier>EISSN: 1432-010X</identifier><identifier>DOI: 10.1007/s00766-009-0074-z</identifier><language>eng</language><publisher>London: Springer-Verlag</publisher><subject>Analysis ; Computer Science ; Integrated approach ; Original Paper ; Requirements ; Software Engineering ; Stakeholders</subject><ispartof>Requirements engineering, 2009-07, Vol.14 (3), p.129-153</ispartof><rights>Springer-Verlag London Limited 2009</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933</citedby><cites>FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933</cites></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>García-Duque, Jorge</creatorcontrib><creatorcontrib>Pazos-Arias, José J.</creatorcontrib><creatorcontrib>López-Nores, Martín</creatorcontrib><creatorcontrib>Blanco-Fernández, Yolanda</creatorcontrib><creatorcontrib>Fernández-Vilas, Ana</creatorcontrib><creatorcontrib>Díaz-Redondo, Rebeca P.</creatorcontrib><creatorcontrib>Ramos-Cabrer, Manuel</creatorcontrib><creatorcontrib>Gil-Solla, Alberto</creatorcontrib><title>Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle</title><title>Requirements engineering</title><addtitle>Requirements Eng</addtitle><description>The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies it, in case some problems are detected. To date, the analysis and revision activities have been typically considered in isolation, resulting in ineffective support to the stakeholders’ work. In response to that, this article introduces methodologies to conduct an interactive and integrated approach, grounded on the formalization of two basic types of evolutions (refinements and retrenchments) over multi-valued specification and modeling formalisms. Evaluation results are included to show that this approach can indeed help the stakeholders identify and clarify requirements through different stages of development.</description><subject>Analysis</subject><subject>Computer Science</subject><subject>Integrated approach</subject><subject>Original Paper</subject><subject>Requirements</subject><subject>Software Engineering</subject><subject>Stakeholders</subject><issn>0947-3602</issn><issn>1432-010X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2009</creationdate><recordtype>article</recordtype><recordid>eNp1UM1KAzEQDqJgrT6At8X7av6abI5S_IOKFwVvIZud7aZsN22yLbQn38E39ElMXcGTMD_MzPcNMx9ClwRfE4zlTUxBiBxjlVzyfH-ERoQzmmOC34_RCCsucyYwPUVnMS4wplwqNULrZ-gbX_nWzx3ErPcZbH27haz2YWnaLK7AutpZ0zvfpXkT_GbeZAFq18ESuj4zXZXKPkBnm5-G61IvmWl30cWvj88AWxcTPbM728I5OqlNG-HiN4_R2_3d6_Qxn708PE1vZ7llZNLnBnNpClLYoiwrwiYARJhyUmJFRVXKUiomoFaqkJIDZpKlUtTUCM4qyRVjY3Q17F0Fv95A7PXCb0K6KmqKOeeMKJpAZADZ4GNMX-lVcEsTdppgfRBWD8LqJKw-CKv3iUMHTkzYbg7hb_H_pG-gmH83</recordid><startdate>20090701</startdate><enddate>20090701</enddate><creator>García-Duque, Jorge</creator><creator>Pazos-Arias, José J.</creator><creator>López-Nores, Martín</creator><creator>Blanco-Fernández, Yolanda</creator><creator>Fernández-Vilas, Ana</creator><creator>Díaz-Redondo, Rebeca P.</creator><creator>Ramos-Cabrer, Manuel</creator><creator>Gil-Solla, Alberto</creator><general>Springer-Verlag</general><general>Springer Nature B.V</general><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7SC</scope><scope>7XB</scope><scope>88I</scope><scope>8AL</scope><scope>8AO</scope><scope>8FD</scope><scope>8FE</scope><scope>8FG</scope><scope>8FK</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>GNUQQ</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K7-</scope><scope>L6V</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope><scope>M0N</scope><scope>M2P</scope><scope>M7S</scope><scope>P5Z</scope><scope>P62</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>Q9U</scope></search><sort><creationdate>20090701</creationdate><title>Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle</title><author>García-Duque, Jorge ; Pazos-Arias, José J. ; López-Nores, Martín ; Blanco-Fernández, Yolanda ; Fernández-Vilas, Ana ; Díaz-Redondo, Rebeca P. ; Ramos-Cabrer, Manuel ; Gil-Solla, Alberto</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2009</creationdate><topic>Analysis</topic><topic>Computer Science</topic><topic>Integrated approach</topic><topic>Original Paper</topic><topic>Requirements</topic><topic>Software Engineering</topic><topic>Stakeholders</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>García-Duque, Jorge</creatorcontrib><creatorcontrib>Pazos-Arias, José J.</creatorcontrib><creatorcontrib>López-Nores, Martín</creatorcontrib><creatorcontrib>Blanco-Fernández, Yolanda</creatorcontrib><creatorcontrib>Fernández-Vilas, Ana</creatorcontrib><creatorcontrib>Díaz-Redondo, Rebeca P.</creatorcontrib><creatorcontrib>Ramos-Cabrer, Manuel</creatorcontrib><creatorcontrib>Gil-Solla, Alberto</creatorcontrib><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>Computer and Information Systems Abstracts</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>Science Database (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest Pharma Collection</collection><collection>Technology Research Database</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>ProQuest Central Student</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>Computer Science Database</collection><collection>ProQuest Engineering Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts – Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><collection>Computing Database</collection><collection>Science Database</collection><collection>Engineering Database</collection><collection>Advanced Technologies &amp; Aerospace Database</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>ProQuest Central Basic</collection><jtitle>Requirements engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>García-Duque, Jorge</au><au>Pazos-Arias, José J.</au><au>López-Nores, Martín</au><au>Blanco-Fernández, Yolanda</au><au>Fernández-Vilas, Ana</au><au>Díaz-Redondo, Rebeca P.</au><au>Ramos-Cabrer, Manuel</au><au>Gil-Solla, Alberto</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle</atitle><jtitle>Requirements engineering</jtitle><stitle>Requirements Eng</stitle><date>2009-07-01</date><risdate>2009</risdate><volume>14</volume><issue>3</issue><spage>129</spage><epage>153</epage><pages>129-153</pages><issn>0947-3602</issn><eissn>1432-010X</eissn><abstract>The development of requirement specifications is done by accumulating knowledge about the desired systems in a progressive manner. This process can be supported by an analysis–revision cycle, in which the analysis phase checks the correctness of a given specification, and the revision phase modifies it, in case some problems are detected. To date, the analysis and revision activities have been typically considered in isolation, resulting in ineffective support to the stakeholders’ work. In response to that, this article introduces methodologies to conduct an interactive and integrated approach, grounded on the formalization of two basic types of evolutions (refinements and retrenchments) over multi-valued specification and modeling formalisms. Evaluation results are included to show that this approach can indeed help the stakeholders identify and clarify requirements through different stages of development.</abstract><cop>London</cop><pub>Springer-Verlag</pub><doi>10.1007/s00766-009-0074-z</doi><tpages>25</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0947-3602
ispartof Requirements engineering, 2009-07, Vol.14 (3), p.129-153
issn 0947-3602
1432-010X
language eng
recordid cdi_proquest_journals_204443192
source Springer Nature
subjects Analysis
Computer Science
Integrated approach
Original Paper
Requirements
Software Engineering
Stakeholders
title Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T21%3A12%3A13IST&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=Methodologies%20to%20evolve%20formal%20specifications%20through%20refinement%20and%20retrenchment%20in%20an%20analysis%E2%80%93revision%20cycle&rft.jtitle=Requirements%20engineering&rft.au=Garc%C3%ADa-Duque,%20Jorge&rft.date=2009-07-01&rft.volume=14&rft.issue=3&rft.spage=129&rft.epage=153&rft.pages=129-153&rft.issn=0947-3602&rft.eissn=1432-010X&rft_id=info:doi/10.1007/s00766-009-0074-z&rft_dat=%3Cproquest_cross%3E1775681811%3C/proquest_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c315t-a047a818c8bbd135ee16ab5b0926db7b7936ef998774e037336e6f2a643d74933%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=204443192&rft_id=info:pmid/&rfr_iscdi=true