Modélisation du développement de spécifications LOTOS
Identifieur interne : 001F69 ( Crin/Curation ); précédent : 001F68; suivant : 001F70Modélisation du développement de spécifications LOTOS
Auteurs : Thomas LambolaisSource :
English descriptors
- KwdEn :
Abstract
Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisationdes étapes de développement de spécifications en langage Lotos. Lemodèle utilisé, proplane, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude estd'évaluer le modèle proplane et de proposer des améliorations si nécessaire.Lotos est constitué d'une algèbre de processus et d'une algèbre de données. Nous nous sommes concentrés sur laconstruction des expressions de comportement, c'est-à-dire des processus, en ayant éventuellement recours aux données.Sous le modèle proplane, toute évolution d'un développement est gérée par des opérateurs de développement. Notre modélisation correspond ainsi à des définitions d'opérateurs pouvant s'enchaîner les uns aux autres. Nous distinguons les constructions architecturale et comportementale, pour lesquelles les mécanismes utilisés en Lotos diffèrent. L'architecture fait une large utilisation des opérateurs de composition parallèle, avec lesquels il faut veiller à conserver des processus effectifs, voire réguliers. Nous définissons pour cela des notions telles que larigidité. La construction comportementale demande de définir des opérateurs permettant de gérer le développement d'arbres de transitions, ainsi que le détail de ces transitions. La nouveauté de notre approche consiste à chercher à profiter des propriétés sémantiques des processus en cours de développement. Afin de supporter des lignes de construction incrémentale par réduction del'indéterminisme, nous donnons une définition opérationnelle des relations d'extension et de réduction de processus. Il apparaît que proplane doit être étendu pour manipuler des propriétés temporelles sur les états de développement.
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001F69
Links to Exploration step
CRIN:lambolais97cLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-103">Modélisation du développement de spécifications LOTOS</title></titleStmt><publicationStmt><idno type="RBID">CRIN:lambolais97c</idno><date when="1997" year="1997">1997</date><idno type="wicri:Area/Crin/Corpus">001F69</idno><idno type="wicri:Area/Crin/Curation">001F69</idno><idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001F69</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Modélisation du développement de spécifications LOTOS</title><author><name sortKey="Lambolais, Thomas" sort="Lambolais, Thomas" uniqKey="Lambolais T" first="Thomas" last="Lambolais">Thomas Lambolais</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Lotos</term><term>construction</term><term>development</term><term>formal specification</term><term>process algebra</term><term>protocols</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr" wicri:score="-5575">Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisationdes étapes de développement de spécifications en langage Lotos. Lemodèle utilisé, proplane, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude estd'évaluer le modèle proplane et de proposer des améliorations si nécessaire.Lotos est constitué d'une algèbre de processus et d'une algèbre de données. Nous nous sommes concentrés sur laconstruction des expressions de comportement, c'est-à-dire des processus, en ayant éventuellement recours aux données.Sous le modèle proplane, toute évolution d'un développement est gérée par des opérateurs de développement. Notre modélisation correspond ainsi à des définitions d'opérateurs pouvant s'enchaîner les uns aux autres. Nous distinguons les constructions architecturale et comportementale, pour lesquelles les mécanismes utilisés en Lotos diffèrent. L'architecture fait une large utilisation des opérateurs de composition parallèle, avec lesquels il faut veiller à conserver des processus effectifs, voire réguliers. Nous définissons pour cela des notions telles que larigidité. La construction comportementale demande de définir des opérateurs permettant de gérer le développement d'arbres de transitions, ainsi que le détail de ces transitions. La nouveauté de notre approche consiste à chercher à profiter des propriétés sémantiques des processus en cours de développement. Afin de supporter des lignes de construction incrémentale par réduction del'indéterminisme, nous donnons une définition opérationnelle des relations d'extension et de réduction de processus. Il apparaît que proplane doit être étendu pour manipuler des propriétés temporelles sur les états de développement.</div></front></TEI><BibTex type="phdthesis"><ref>lambolais97c</ref><crinnumber>97-T-271</crinnumber><category>9</category><equipe>DEDALE</equipe><author><e>Lambolais, Thomas</e></author><title>Modélisation du développement de spécifications LOTOS</title><school>INPL</school><year>1997</year><type>Thèse d'université</type><url>http://www.loria.fr/publications/1997/97-T-271/97-T-271.ps</url><keywords><e>Lotos</e><e>process algebra</e><e>development</e><e>construction</e><e>formal specification</e><e>protocols</e></keywords><abstract>Notre travail s'inscrit dans les premières étapes du développement de logiciels concernant le passage d'un cahier des charges à une spécification formelle, dans le domaine des réseaux de télécommunications. Notre sujet consiste à étudier la modélisationdes étapes de développement de spécifications en langage Lotos. Lemodèle utilisé, proplane, a été préalablement établi pour d'autres domaines. Par le biais d'un nouveau domaine d'application, l'objectif à long terme de notre étude estd'évaluer le modèle proplane et de proposer des améliorations si nécessaire.Lotos est constitué d'une algèbre de processus et d'une algèbre de données. Nous nous sommes concentrés sur laconstruction des expressions de comportement, c'est-à-dire des processus, en ayant éventuellement recours aux données.Sous le modèle proplane, toute évolution d'un développement est gérée par des opérateurs de développement. Notre modélisation correspond ainsi à des définitions d'opérateurs pouvant s'enchaîner les uns aux autres. Nous distinguons les constructions architecturale et comportementale, pour lesquelles les mécanismes utilisés en Lotos diffèrent. L'architecture fait une large utilisation des opérateurs de composition parallèle, avec lesquels il faut veiller à conserver des processus effectifs, voire réguliers. Nous définissons pour cela des notions telles que larigidité. La construction comportementale demande de définir des opérateurs permettant de gérer le développement d'arbres de transitions, ainsi que le détail de ces transitions. La nouveauté de notre approche consiste à chercher à profiter des propriétés sémantiques des processus en cours de développement. Afin de supporter des lignes de construction incrémentale par réduction del'indéterminisme, nous donnons une définition opérationnelle des relations d'extension et de réduction de processus. Il apparaît que proplane doit être étendu pour manipuler des propriétés temporelles sur les états de développement.</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 001F69 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Curation/biblio.hfd -nk 001F69 | 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:lambolais97c
|texte= Modélisation du développement de spécifications LOTOS
}}
| This area was generated with Dilib version V0.6.33. |  |