A formal framework for on-line software version change

The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An online software replacement system replaces parts of t...

Full description

Saved in:
Bibliographic Details
Published in:IEEE transactions on software engineering 1996-02, Vol.22 (2), p.120-131
Main Authors: Gupta, D., Jalote, P., Barua, G.
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
Computer science
control theory
systems
Computer systems performance. Reliability
Computer upgrading
Data analysis
Delay
Electronic switching systems
Exact sciences and technology
Online data bases
Senior members
Shutdowns
Software
Software development management
Software engineering
Software systems
Studies
Sufficient conditions
Technological change
Validity
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-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43
cites cdi_FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43
container_end_page 131
container_issue 2
container_start_page 120
container_title IEEE transactions on software engineering
container_volume 22
creator Gupta, D.
Jalote, P.
Barua, G.
description The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An online software replacement system replaces parts of the software while it is in execution, thus eliminating the shutdown. While a number of implementations of online version change systems have been described in the literature, little investigation has been done on its theoretical aspects. We describe a formal framework for studying online software version change. We give a general definition of validity of an online change, show that it is in general undecidable and then develop sufficient conditions for ensuring validity for a procedural language.
doi_str_mv 10.1109/32.485222
format article
fullrecord <record><control><sourceid>proquest_ieee_</sourceid><recordid>TN_cdi_ieee_primary_485222</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>485222</ieee_id><sourcerecordid>28242536</sourcerecordid><originalsourceid>FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43</originalsourceid><addsrcrecordid>eNpdkE1LAzEQhoMoWKsHr54WEcHD1nxvcizFLyh40XPIphPdurupSWvx35uypQdPAzPPvLw8CF0SPCEE63tGJ1wJSukRGhHNdMkExcdohLFWpRBKn6KzlJYYY1FVYoTktPAhdrYtfLQdbEP82i2K0Jdt00ORgl9vbYTiB2JqQl-4T9t_wDk68bZNcLGfY_T--PA2ey7nr08vs-m8dIyxdUmEXQDRigOunXdWKawIcGWFVaxilGiv6tzX81qQ3B8qv6Cey2rhZC09Z2N0O-SuYvjeQFqbrkkO2tb2EDbJUEU5FUxm8PofuAyb2OduhmghpFSUZehugFwMKUXwZhWbzsZfQ7DZ6TOMmkFfZm_2gTY522Y7vWvS4YFqLbnWGbsasAYADtd9xh_HqHUX</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>195566823</pqid></control><display><type>article</type><title>A formal framework for on-line software version change</title><source>ProQuest ABI/INFORM Global</source><source>IEEE Xplore (Online service)</source><creator>Gupta, D. ; Jalote, P. ; Barua, G.</creator><creatorcontrib>Gupta, D. ; Jalote, P. ; Barua, G.</creatorcontrib><description>The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An online software replacement system replaces parts of the software while it is in execution, thus eliminating the shutdown. While a number of implementations of online version change systems have been described in the literature, little investigation has been done on its theoretical aspects. We describe a formal framework for studying online software version change. We give a general definition of validity of an online change, show that it is in general undecidable and then develop sufficient conditions for ensuring validity for a procedural language.</description><identifier>ISSN: 0098-5589</identifier><identifier>EISSN: 1939-3520</identifier><identifier>DOI: 10.1109/32.485222</identifier><identifier>CODEN: IESEDJ</identifier><language>eng</language><publisher>New York, NY: IEEE</publisher><subject>Applied sciences ; Computer science ; Computer science; control theory; systems ; Computer systems performance. Reliability ; Computer upgrading ; Data analysis ; Delay ; Electronic switching systems ; Exact sciences and technology ; Online data bases ; Senior members ; Shutdowns ; Software ; Software development management ; Software engineering ; Software systems ; Studies ; Sufficient conditions ; Technological change ; Validity</subject><ispartof>IEEE transactions on software engineering, 1996-02, Vol.22 (2), p.120-131</ispartof><rights>1996 INIST-CNRS</rights><rights>Copyright Institute of Electrical and Electronics Engineers, Inc. (IEEE) Feb 1996</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43</citedby><cites>FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.proquest.com/docview/195566823?pq-origsite=primo$$EHTML$$P50$$Gproquest$$H</linktohtml><link.rule.ids>314,780,784,11688,27924,27925,36060,36061,44363,54796</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&amp;idt=2996499$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Gupta, D.</creatorcontrib><creatorcontrib>Jalote, P.</creatorcontrib><creatorcontrib>Barua, G.</creatorcontrib><title>A formal framework for on-line software version change</title><title>IEEE transactions on software engineering</title><addtitle>TSE</addtitle><description>The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An online software replacement system replaces parts of the software while it is in execution, thus eliminating the shutdown. While a number of implementations of online version change systems have been described in the literature, little investigation has been done on its theoretical aspects. We describe a formal framework for studying online software version change. We give a general definition of validity of an online change, show that it is in general undecidable and then develop sufficient conditions for ensuring validity for a procedural language.</description><subject>Applied sciences</subject><subject>Computer science</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems performance. Reliability</subject><subject>Computer upgrading</subject><subject>Data analysis</subject><subject>Delay</subject><subject>Electronic switching systems</subject><subject>Exact sciences and technology</subject><subject>Online data bases</subject><subject>Senior members</subject><subject>Shutdowns</subject><subject>Software</subject><subject>Software development management</subject><subject>Software engineering</subject><subject>Software systems</subject><subject>Studies</subject><subject>Sufficient conditions</subject><subject>Technological change</subject><subject>Validity</subject><issn>0098-5589</issn><issn>1939-3520</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1996</creationdate><recordtype>article</recordtype><sourceid>M0C</sourceid><recordid>eNpdkE1LAzEQhoMoWKsHr54WEcHD1nxvcizFLyh40XPIphPdurupSWvx35uypQdPAzPPvLw8CF0SPCEE63tGJ1wJSukRGhHNdMkExcdohLFWpRBKn6KzlJYYY1FVYoTktPAhdrYtfLQdbEP82i2K0Jdt00ORgl9vbYTiB2JqQl-4T9t_wDk68bZNcLGfY_T--PA2ey7nr08vs-m8dIyxdUmEXQDRigOunXdWKawIcGWFVaxilGiv6tzX81qQ3B8qv6Cey2rhZC09Z2N0O-SuYvjeQFqbrkkO2tb2EDbJUEU5FUxm8PofuAyb2OduhmghpFSUZehugFwMKUXwZhWbzsZfQ7DZ6TOMmkFfZm_2gTY522Y7vWvS4YFqLbnWGbsasAYADtd9xh_HqHUX</recordid><startdate>19960201</startdate><enddate>19960201</enddate><creator>Gupta, D.</creator><creator>Jalote, P.</creator><creator>Barua, G.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><general>IEEE Computer Society</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>3V.</scope><scope>7WY</scope><scope>7WZ</scope><scope>7X7</scope><scope>7XB</scope><scope>87Z</scope><scope>88E</scope><scope>88F</scope><scope>88I</scope><scope>88K</scope><scope>8AL</scope><scope>8FE</scope><scope>8FG</scope><scope>8FI</scope><scope>8FJ</scope><scope>8FK</scope><scope>8FL</scope><scope>8G5</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>ARAPS</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BEZIV</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>FRNLG</scope><scope>FYUFA</scope><scope>F~G</scope><scope>GHDGH</scope><scope>GNUQQ</scope><scope>GUQSH</scope><scope>HCIFZ</scope><scope>JQ2</scope><scope>K60</scope><scope>K6~</scope><scope>K7-</scope><scope>K9.</scope><scope>L.-</scope><scope>L6V</scope><scope>M0C</scope><scope>M0N</scope><scope>M0S</scope><scope>M1P</scope><scope>M1Q</scope><scope>M2O</scope><scope>M2P</scope><scope>M2T</scope><scope>M7S</scope><scope>MBDVC</scope><scope>P5Z</scope><scope>P62</scope><scope>PQBIZ</scope><scope>PQBZA</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PTHSS</scope><scope>Q9U</scope><scope>7SC</scope><scope>8FD</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>19960201</creationdate><title>A formal framework for on-line software version change</title><author>Gupta, D. ; Jalote, P. ; Barua, G.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1996</creationdate><topic>Applied sciences</topic><topic>Computer science</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems performance. Reliability</topic><topic>Computer upgrading</topic><topic>Data analysis</topic><topic>Delay</topic><topic>Electronic switching systems</topic><topic>Exact sciences and technology</topic><topic>Online data bases</topic><topic>Senior members</topic><topic>Shutdowns</topic><topic>Software</topic><topic>Software development management</topic><topic>Software engineering</topic><topic>Software systems</topic><topic>Studies</topic><topic>Sufficient conditions</topic><topic>Technological change</topic><topic>Validity</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Gupta, D.</creatorcontrib><creatorcontrib>Jalote, P.</creatorcontrib><creatorcontrib>Barua, G.</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>ProQuest Central (Corporate)</collection><collection>ABI/INFORM Collection</collection><collection>ABI/INFORM Global (PDF only)</collection><collection>Health &amp; Medical Collection</collection><collection>ProQuest Central (purchase pre-March 2016)</collection><collection>ABI/INFORM Global (Alumni Edition)</collection><collection>Medical Database (Alumni Edition)</collection><collection>Military Database (Alumni Edition)</collection><collection>Science Database (Alumni Edition)</collection><collection>Telecommunications (Alumni Edition)</collection><collection>Computing Database (Alumni Edition)</collection><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Hospital Premium Collection</collection><collection>Hospital Premium Collection (Alumni Edition)</collection><collection>ProQuest Central (Alumni) (purchase pre-March 2016)</collection><collection>ABI/INFORM Collection (Alumni Edition)</collection><collection>Research Library (Alumni Edition)</collection><collection>Materials Science &amp; Engineering Collection</collection><collection>ProQuest Central (Alumni)</collection><collection>ProQuest Central</collection><collection>Advanced Technologies &amp; Aerospace Database‎ (1962 - current)</collection><collection>ProQuest Central Essentials</collection><collection>AUTh Library subscriptions: ProQuest Central</collection><collection>ProQuest Business Premium Collection</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central</collection><collection>Business Premium Collection (Alumni)</collection><collection>Health Research Premium Collection</collection><collection>ABI/INFORM Global (Corporate)</collection><collection>Health Research Premium Collection (Alumni)</collection><collection>ProQuest Central Student</collection><collection>Research Library Prep</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Computer Science Collection</collection><collection>ProQuest Business Collection (Alumni Edition)</collection><collection>ProQuest Business Collection</collection><collection>Computer science database</collection><collection>ProQuest Health &amp; Medical Complete (Alumni)</collection><collection>ABI/INFORM Professional Advanced</collection><collection>ProQuest Engineering Collection</collection><collection>ProQuest ABI/INFORM Global</collection><collection>Computing Database</collection><collection>Health &amp; Medical Collection (Alumni Edition)</collection><collection>Medical Database</collection><collection>Military Database</collection><collection>ProQuest_Research Library</collection><collection>Science Database</collection><collection>Telecommunications Database</collection><collection>Engineering Database</collection><collection>Research Library (Corporate)</collection><collection>ProQuest advanced technologies &amp; aerospace journals</collection><collection>ProQuest Advanced Technologies &amp; Aerospace Collection</collection><collection>ProQuest One Business</collection><collection>ProQuest One Business (Alumni)</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>Engineering collection</collection><collection>ProQuest Central Basic</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</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>IEEE transactions on software engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Gupta, D.</au><au>Jalote, P.</au><au>Barua, G.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>A formal framework for on-line software version change</atitle><jtitle>IEEE transactions on software engineering</jtitle><stitle>TSE</stitle><date>1996-02-01</date><risdate>1996</risdate><volume>22</volume><issue>2</issue><spage>120</spage><epage>131</epage><pages>120-131</pages><issn>0098-5589</issn><eissn>1939-3520</eissn><coden>IESEDJ</coden><abstract>The usual way of installing a new version of a software system is to shut down the running program and then install the new version. This necessitates a sometimes unacceptable delay during which service is denied to the users of the software. An online software replacement system replaces parts of the software while it is in execution, thus eliminating the shutdown. While a number of implementations of online version change systems have been described in the literature, little investigation has been done on its theoretical aspects. We describe a formal framework for studying online software version change. We give a general definition of validity of an online change, show that it is in general undecidable and then develop sufficient conditions for ensuring validity for a procedural language.</abstract><cop>New York, NY</cop><pub>IEEE</pub><doi>10.1109/32.485222</doi><tpages>12</tpages></addata></record>
fulltext fulltext
identifier ISSN: 0098-5589
ispartof IEEE transactions on software engineering, 1996-02, Vol.22 (2), p.120-131
issn 0098-5589
1939-3520
language eng
recordid cdi_ieee_primary_485222
source ProQuest ABI/INFORM Global; IEEE Xplore (Online service)
subjects Applied sciences
Computer science
Computer science
control theory
systems
Computer systems performance. Reliability
Computer upgrading
Data analysis
Delay
Electronic switching systems
Exact sciences and technology
Online data bases
Senior members
Shutdowns
Software
Software development management
Software engineering
Software systems
Studies
Sufficient conditions
Technological change
Validity
title A formal framework for on-line software version change
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T11%3A40%3A15IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_ieee_&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=A%20formal%20framework%20for%20on-line%20software%20version%20change&rft.jtitle=IEEE%20transactions%20on%20software%20engineering&rft.au=Gupta,%20D.&rft.date=1996-02-01&rft.volume=22&rft.issue=2&rft.spage=120&rft.epage=131&rft.pages=120-131&rft.issn=0098-5589&rft.eissn=1939-3520&rft.coden=IESEDJ&rft_id=info:doi/10.1109/32.485222&rft_dat=%3Cproquest_ieee_%3E28242536%3C/proquest_ieee_%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c333t-15ade1984e0bcfca88081e48a5a8373219f8b485f4b51110e7fd2f467dc6b6f43%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_pqid=195566823&rft_id=info:pmid/&rft_ieee_id=485222&rfr_iscdi=true