An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities
Identifieur interne : 001E66 ( Crin/Curation ); précédent : 001E65; suivant : 001E67An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities
Auteurs : Hala Skaf ; François Charoy ; Claude GodartSource :
English descriptors
- KwdEn :
Abstract
Maintaining consistency of objects produced during cooperative software development activities is an important issue in the development process field. We propose a solution based on a specific transaction protocol which mixes a non-semantic and a semantic part. The non-semantic part is devoted to the correction of interactions between activities and the semantic part is devoted to the individual correction of activities. The protocol allows software development activities, organised in a base/sub-base hierarchy, to cooperate by exchanging inconsistent results and forces them to compensate these inconsistencies. Consistency of results is considered regarding how they are produced (correction of interactions) and what is produced (correction of results). We use a non-semantic protocol based on an incremental syntactical analysis of the activities interactions for the first point and a semantic protocol based on a temporal logic for the second. The integration of both protocols allows to maintain the consistency of cooperative software development activities.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001E66
Links to Exploration step
CRIN:skaf97aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="537">An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:skaf97a</idno>
<date when="1997" year="1997">1997</date>
<idno type="wicri:Area/Crin/Corpus">001E66</idno>
<idno type="wicri:Area/Crin/Curation">001E66</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001E66</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities</title>
<author><name sortKey="Skaf, Hala" sort="Skaf, Hala" uniqKey="Skaf H" first="Hala" last="Skaf">Hala Skaf</name>
</author>
<author><name sortKey="Charoy, Francois" sort="Charoy, Francois" uniqKey="Charoy F" first="François" last="Charoy">François Charoy</name>
</author>
<author><name sortKey="Godart, Claude" sort="Godart, Claude" uniqKey="Godart C" first="Claude" last="Godart">Claude Godart</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Consistency</term>
<term>Cooperation</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="4803">Maintaining consistency of objects produced during cooperative software development activities is an important issue in the development process field. We propose a solution based on a specific transaction protocol which mixes a non-semantic and a semantic part. The non-semantic part is devoted to the correction of interactions between activities and the semantic part is devoted to the individual correction of activities. The protocol allows software development activities, organised in a base/sub-base hierarchy, to cooperate by exchanging inconsistent results and forces them to compensate these inconsistencies. Consistency of results is considered regarding how they are produced (correction of interactions) and what is produced (correction of results). We use a non-semantic protocol based on an incremental syntactical analysis of the activities interactions for the first point and a semantic protocol based on a temporal logic for the second. The integration of both protocols allows to maintain the consistency of cooperative software development activities.</div>
</front>
</TEI>
<BibTex type="inproceedings"><ref>skaf97a</ref>
<crinnumber>97-R-077</crinnumber>
<category>3</category>
<equipe>ECOO</equipe>
<author><e>Skaf, Hala</e>
<e>Charoy, François</e>
<e>Godart, Claude</e>
</author>
<title>An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities</title>
<booktitle>{SEKE97 The Ninth International Conference on Software Engineering and Knowledge Engineering, Madrid}</booktitle>
<year>1997</year>
<month>jun</month>
<url>http://www.loria.fr/publications/1997/97-R-077/97-R-077.ps</url>
<keywords><e>Consistency</e>
<e>Cooperation</e>
</keywords>
<abstract>Maintaining consistency of objects produced during cooperative software development activities is an important issue in the development process field. We propose a solution based on a specific transaction protocol which mixes a non-semantic and a semantic part. The non-semantic part is devoted to the correction of interactions between activities and the semantic part is devoted to the individual correction of activities. The protocol allows software development activities, organised in a base/sub-base hierarchy, to cooperate by exchanging inconsistent results and forces them to compensate these inconsistencies. Consistency of results is considered regarding how they are produced (correction of interactions) and what is produced (correction of results). We use a non-semantic protocol based on an incremental syntactical analysis of the activities interactions for the first point and a semantic protocol based on a temporal logic for the second. The integration of both protocols allows to maintain the consistency of cooperative software development activities.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001E66 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 001E66 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Curation |type= RBID |clé= CRIN:skaf97a |texte= An Hybrid Approach to Maintain Consistency of Cooperative Software Development Activities }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |