<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="https://velo.wiki.ls2n.fr/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="https://velo.wiki.ls2n.fr/feed.php">
        <title>Velo - Vérification pour l'Environnement et le LOgiciel projects:econet:materials</title>
        <description></description>
        <link>https://velo.wiki.ls2n.fr/</link>
        <image rdf:resource="https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico" />
       <dc:date>2026-05-02T07:31:46+02:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:annotations&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:behavioural_model_comparison&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:gilles_random_ideas&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:java_header&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:old_annotations&amp;rev=1522767576&amp;do=diff"/>
                <rdf:li rdf:resource="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:start&amp;rev=1522767576&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico">
        <title>Velo - Vérification pour l'Environnement et le LOgiciel</title>
        <link>https://velo.wiki.ls2n.fr/</link>
        <url>https://velo.wiki.ls2n.fr/lib/tpl/dokuwiki/images/favicon.ico</url>
    </image>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:annotations&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:annotations</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:annotations&amp;rev=1522767576&amp;do=diff</link>
        <description>Constructs in the component model

They are associated or derived from one or several annotations in the code

The definitions changed from  the version designed in Prague (previous version)

	* Support for multiple sources was added via arrays
	* Some annotations were split between targets in order to reduce ambiguity</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:behavioural_model_comparison&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:behavioural_model_comparison</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:behavioural_model_comparison&amp;rev=1522767576&amp;do=diff</link>
        <description>Fast Comparison
               SOFA EBPL           KADL           KML  Attachment     Frame           Component         Service+ component Operations (computation)   atomic assignments (constants?)  atomic functions (algebraic)                    atomic action+service calls</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:gilles_random_ideas&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:gilles_random_ideas</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:gilles_random_ideas&amp;rev=1522767576&amp;do=diff</link>
        <description>EDIT ME

Some points :

	* we're interested in behavior models
		*  getting them from plain java code without structural information about the component architecture is far beyond the scope of this project
		*  we at least need some kind of “boundaries</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:java_header&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:java_header</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:java_header&amp;rev=1522767576&amp;do=diff</link>
        <description>The header of the java files developed for this project should contain the following text:


 /**
  *   Econet project bla bla
  */</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:old_annotations&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:old_annotations</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:old_annotations&amp;rev=1522767576&amp;do=diff</link>
        <description>This is not the current  version (see annotations)

frame

	* Corresponding Java  construct : One or more classes
	* Corresponding java annotation : 
		* target class or interface @InComponent(annotationsource, nameofthecomponent) 


interface

	* Corresponding java construct : one or more interfaces , or a set of methods from a class</description>
    </item>
    <item rdf:about="https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:start&amp;rev=1522767576&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2018-04-03T16:59:36+02:00</dc:date>
        <title>projects:econet:materials:start</title>
        <link>https://velo.wiki.ls2n.fr/doku.php?id=projects:econet:materials:start&amp;rev=1522767576&amp;do=diff</link>
        <description>Econet Project Materials

start

Project Overview



Technical points

	*  Annotation language definition annotations
	*  Behavioural Model Comparison behavioural_model_comparison
	*  MetaModel definition meta_model
	*  header to be defined for the project files java_header
	*  Put your random Ideas and discussion pages here :</description>
    </item>
</rdf:RDF>
