Re: [Topcased-users] questions about simulation

Mon, 07 Sep 2009 05:47:42 -0700

John,

I have check your model, and I have found that your instance specification have not classifier, I set the attribute "classifier" of I1 to the class "c" and the simulation starts. After, I found an other error for simulate the model, transitions starting from initial states must not have a trigger( it is an exception of all others transition).
I have attached the corrected model and the .umldi file, this model can be simulate now.

Regards,

David RIBEIRO CAMPELO

[email protected] a écrit :
I have attached the .uml file for the model I am trying to build. It is not the same as the picture I sent but it produces the same system problem. The "Choose Animator" dialog still does not go away.

Thanks for your help.

John




On Mon, 7 Sep 2009, [email protected] wrote:

Hi John,

I do not know this problem, and Ido not see problems with the picture you sent.
If you have this problem with only one model, can you send you model?
We are preparing a model checker for the next release but by now you can send it.

Regards,

David RIBEIRO CAMPELO

[email protected] a �crit :
I am still having trouble with the simulation. I have attached is .JPG file to this message of the .uml file. (I sent an earlier message with a .bmp file).

When I simulate, it gets to the Choose Animator dialog and will not leave that dialog. No buttons are activated on the simulation viewer.

Thanks

John



On Fri, 4 Sep 2009, [email protected] wrote:

Hi John,

My answers below,

[email protected] a ?crit :
1. Is there a guide to creating an simulation? I have tried to create my own using a state machine. It doesn't work but I can not find a definitive description of what to do. (The examples work fine.) I do not get any output at all so no visible way to to get information.

There are an user guide and some tutorials in the gforge(http://gforge.enseeiht.fr/frs/download.php/1719/UserDocAndEx.zip), but it lacks a document explaining how to create a simulable model.
To simulate your model, you have to place yours state machines in a class. For all class that have a state machine, you have to create an Instance specification of that class.
All transitions must have a trigger.
A checker will be present in the next release to verify if a model is simulable, it will indicate erros of the model.
2. One of the things I do not see how to do (and maybe it is donw automatically) is the create a "umlevent" element that seems to be a part of every simulation that works.

The creation of an umlevent is only necessary for scenario mode(in interractive, it is automatical), but you can create one(to be loaded in a scenario) by a right click in a project ->New->Other... and select "umlevent model", then click on next, type your file name, click on next, in Model Object, choose "Inject Sim Event" and Finish.

Regards,

David RIBEIRO CAMPELO
Thanks


John



------------------------------------------------------------------------------ John D. McGregor                       864-656-5859 Office
School of Computing                   864-656-0145 Fax
Clemson University                     [email protected]
Clemson, SC 29634-1906


_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users



-- 



    * David RIBEIRO CAMPELO*
*Ing?nieur - Atos Origin*
Telephone : 05 34 36 34 48
Mail : [email protected] <mailto:[email protected]>
6 Impasse Alice Guy
31024 Toulouse Cedex 03
www.atosorigin.fr <http://www.atosorigin.fr>

D?veloppement durable, anticipons pour notre avenir / Sustainability, advance our future
N'imprimez ce mail que si n?cessaire / please consider your environmental responsibility before printing this e-mail.
Ce message et les pi?ces jointes sont confidentiels et r?serv?s ? l'usage exclusif de ses destinataires. Il peut ?galement ?tre prot?g? par le secret professionnel. Si vous recevez ce message par erreur, merci d'en avertir imm?diatement l'exp?diteur et de le d?truire. L'int?grit? du message ne pouvant ?tre assur?e sur Internet, la responsabilit? du groupe Atos Origin ne pourra ?tre recherch?e quant au contenu de ce message. Bien que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout virus, l'exp?diteur ne donne aucune garantie ? cet ?gard et sa responsabilit? ne saurait ?tre recherch?e pour tout dommage r?sultant d'un virus transmis.

This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet, the Atos Origin group liability cannot be triggered for the message content. Although the sender endeavours to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted.



------------------------------------------------------------------------

------------------------------------------------------------------------

_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

-- 



    * David RIBEIRO CAMPELO*
*Ing�nieur - Atos Origin*
Telephone : 05 34 36 34 48
Mail : [email protected] <mailto:[email protected]>
6 Impasse Alice Guy
31024 Toulouse Cedex 03
www.atosorigin.fr <http://www.atosorigin.fr>

D�veloppement durable, anticipons pour notre avenir / Sustainability, advance our future
N'imprimez ce mail que si n�cessaire / please consider your environmental responsibility before printing this e-mail.
Ce message et les pi�ces jointes sont confidentiels et r�serv�s � l'usage exclusif de ses destinataires. Il peut �galement �tre prot�g� par le secret professionnel. Si vous recevez ce message par erreur, merci d'en avertir imm�diatement l'exp�diteur et de le d�truire. L'int�grit� du message ne pouvant �tre assur�e sur Internet, la responsabilit� du groupe Atos Origin ne pourra �tre recherch�e quant au contenu de ce message. Bien que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout virus, l'exp�diteur ne donne aucune garantie � cet �gard et sa responsabilit� ne saurait �tre recherch�e pour tout dommage r�sultant d'un virus transmis.

This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet, the Atos Origin group liability cannot be triggered for the message content. Although the sender endeavours to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted. 



_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

-- 


 



  
    

      
        David
RIBEIRO CAMPELO

       Ingénieur
- Atos Origin

Telephone : 05 34 36 34 48 

Mail : [email protected]
      

6 Impasse Alice Guy
      

31024 Toulouse Cedex 03

      www.atosorigin.fr 
      		
    

  




  
    

      
Développement durable, anticipons pour notre avenir / Sustainability,
advance our future

N'imprimez ce mail que si nécessaire / please consider your
environmental responsibility before printing this e-mail.		
    

    

      Ce message et les
pièces jointes sont confidentiels et réservés à l'usage
exclusif de ses destinataires. Il peut également être protégé par le
secret
professionnel. Si vous recevez ce message par erreur, merci d'en
avertir
immédiatement l'expéditeur et de le détruire.
L'intégrité du message ne pouvant être assurée sur Internet, la
responsabilité
du groupe Atos Origin ne pourra être recherchée quant au contenu de ce
message.
Bien que les meilleurs efforts soient faits pour maintenir cette
transmission
exempte de tout virus, l'expéditeur ne donne aucune garantie à cet
égard et sa
responsabilité ne saurait être recherchée pour tout dommage résultant
d'un virus
transmis.

      

This e-mail and the documents attached are confidential and intended
solely for the addressee; it may also be privileged. If you receive
this e-mail in error, please notify the sender immediately and destroy
it.
As its integrity cannot be secured on the Internet, the Atos Origin
group liability cannot be triggered for the message content. Although
the sender endeavours to maintain a computer virus-free network, the
sender does not warrant that this transmission is virus-free and will
not be liable for any damages resulting from any virus transmitted.		
    

  



<?xml version="1.0" encoding="UTF-8"?>
<diagrams:Diagrams xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI"; xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"; xmlns:di="http://www.topcased.org/DI/1.0"; xmlns:diagrams="http://www.topcased.org/Diagrams/1.0"; xmi:id="_E9AlQJupEd69OcZN648eYg" activeDiagram="_O5SoMZupEd69OcZN648eYg">
  <model href="intersection.uml#idModel"/>
  <diagrams xmi:id="_E9AlQZupEd69OcZN648eYg" position="0,0" size="100,100" name="No name" viewport="0,0">
    <property xmi:id="_E9dRMJupEd69OcZN648eYg" key="pageFormatName" value="A4"/>
    <property xmi:id="_E9dRMZupEd69OcZN648eYg" key="diagramWidth" value="840"/>
    <property xmi:id="_E9dRMpupEd69OcZN648eYg" key="diagramHeight" value="1188"/>
    <property xmi:id="_E9dRM5upEd69OcZN648eYg" key="pageMarginName" value="Small Margin"/>
    <property xmi:id="_E9dRNJupEd69OcZN648eYg" key="diagramTopMargin" value="20"/>
    <property xmi:id="_E9dRNZupEd69OcZN648eYg" key="diagramBottomMargin" value="20"/>
    <property xmi:id="_E9dRNpupEd69OcZN648eYg" key="diagramLeftMargin" value="20"/>
    <property xmi:id="_E9dRN5upEd69OcZN648eYg" key="diagramRightMargin" value="20"/>
    <property xmi:id="_E9dROJupEd69OcZN648eYg" key="orientation" value="portrait"/>
    <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_E9AlQpupEd69OcZN648eYg" presentation="org.topcased.modeler.uml.classdiagram">
      <element href="intersection.uml#idModel"/>
    </semanticModel>
  </diagrams>
  <subdiagrams xmi:id="_O5SoMJupEd69OcZN648eYg">
    <model href="intersection.uml#idStateMachine"/>
    <diagrams xmi:id="_O5SoMZupEd69OcZN648eYg" position="0,0" size="100,100" name="unnamed" viewport="0,0">
      <property xmi:id="_O6MAEpupEd69OcZN648eYg" key="pageFormatName" value="A4"/>
      <property xmi:id="_O6MAE5upEd69OcZN648eYg" key="diagramWidth" value="840"/>
      <property xmi:id="_O6MAFJupEd69OcZN648eYg" key="diagramHeight" value="1188"/>
      <property xmi:id="_O6MAFZupEd69OcZN648eYg" key="pageMarginName" value="Small Margin"/>
      <property xmi:id="_O6MAFpupEd69OcZN648eYg" key="diagramTopMargin" value="20"/>
      <property xmi:id="_O6MAF5upEd69OcZN648eYg" key="diagramBottomMargin" value="20"/>
      <property xmi:id="_O6MAGJupEd69OcZN648eYg" key="diagramLeftMargin" value="20"/>
      <property xmi:id="_O6MAGZupEd69OcZN648eYg" key="diagramRightMargin" value="20"/>
      <property xmi:id="_O6MAGpupEd69OcZN648eYg" key="orientation" value="portrait"/>
      <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_O5SoMpupEd69OcZN648eYg" presentation="org.topcased.modeler.uml.statemachinediagram">
        <element href="intersection.uml#idStateMachine"/>
      </semanticModel>
      <contained xsi:type="di:GraphNode" xmi:id="_O6MAEJupEd69OcZN648eYg" size="-1,-1">
        <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_O6MAEZupEd69OcZN648eYg" presentation="default">
          <element href="intersection.uml#idRegion"/>
        </semanticModel>
        <contained xsi:type="di:GraphNode" xmi:id="_PjT1kJupEd69OcZN648eYg" position="264,296" size="39,26">
          <anchorage xmi:id="_Pj6SgJupEd69OcZN648eYg" graphEdge="_Pj6SgpupEd69OcZN648eYg _Pj6ShpupEd69OcZN648eYg _PkDccJupEd69OcZN648eYg"/>
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_PjT1kZupEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_Rel8cJm6Ed66bfXJnmUWSA"/>
          </semanticModel>
        </contained>
        <contained xsi:type="di:GraphNode" xmi:id="_PjT1kpupEd69OcZN648eYg" position="251,210" size="64,26">
          <anchorage xmi:id="_Pj6SgZupEd69OcZN648eYg" graphEdge="_Pj6SgpupEd69OcZN648eYg _Pj6ShpupEd69OcZN648eYg"/>
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_PjT1k5upEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_SCprwJm6Ed66bfXJnmUWSA"/>
          </semanticModel>
        </contained>
        <contained xsi:type="di:GraphNode" xmi:id="_PjdmkJupEd69OcZN648eYg" position="258,382" size="-1,-1">
          <property xmi:id="_PjdmkpupEd69OcZN648eYg" key="name" value="visible"/>
          <anchorage xmi:id="_Pj6SipupEd69OcZN648eYg" graphEdge="_PkDccJupEd69OcZN648eYg"/>
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_PjdmkZupEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_TBiV4Jm6Ed66bfXJnmUWSA"/>
          </semanticModel>
        </contained>
        <contained xsi:type="di:GraphEdge" xmi:id="_Pj6SgpupEd69OcZN648eYg" anchor="_Pj6SgJupEd69OcZN648eYg _Pj6SgZupEd69OcZN648eYg">
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_Pj6Sg5upEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_aSv5tZm6Ed66bfXJnmUWSA"/>
          </semanticModel>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_Pj6ShJupEd69OcZN648eYg" id="nameEdgeObject"/>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_Pj6ShZupEd69OcZN648eYg" visible="false" id="TransitionStereotypeEdgeObject"/>
          <waypoints>[116, -57, 116, 29]</waypoints>
        </contained>
        <contained xsi:type="di:GraphEdge" xmi:id="_Pj6ShpupEd69OcZN648eYg" anchor="_Pj6SgZupEd69OcZN648eYg _Pj6SgJupEd69OcZN648eYg">
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_Pj6Sh5upEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_coNVNJm6Ed66bfXJnmUWSA"/>
          </semanticModel>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_Pj6SiJupEd69OcZN648eYg" id="nameEdgeObject" offset="28,4"/>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_Pj6SiZupEd69OcZN648eYg" visible="false" id="TransitionStereotypeEdgeObject"/>
          <waypoints>[-103, 39, -103, -47]</waypoints>
        </contained>
        <contained xsi:type="di:GraphEdge" xmi:id="_PkDccJupEd69OcZN648eYg" anchor="_Pj6SipupEd69OcZN648eYg _Pj6SgJupEd69OcZN648eYg">
          <semanticModel xsi:type="di:EMFSemanticModelBridge" xmi:id="_PkDccZupEd69OcZN648eYg" presentation="default">
            <element href="intersection.uml#_ZbKxdJm6Ed66bfXJnmUWSA"/>
          </semanticModel>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_PkDccpupEd69OcZN648eYg" id="nameEdgeObject"/>
          <contained xsi:type="di:EdgeObjectOffset" xmi:id="_PkDcc5upEd69OcZN648eYg" visible="false" id="TransitionStereotypeEdgeObject"/>
        </contained>
      </contained>
    </diagrams>
  </subdiagrams>
</diagrams:Diagrams>

<?xml version="1.0" encoding="UTF-8"?>
<uml:Model xmi:version="2.1" xmlns:xmi="http://schema.omg.org/spec/XMI/2.1"; xmlns:uml="http://www.eclipse.org/uml2/3.0.0/UML"; xmi:id="idModel" name="intersectionModel">
  <packagedElement xmi:type="uml:Package" xmi:id="idPackage" name="intersectionPackage">
    <packagedElement xmi:type="uml:Class" xmi:id="_beCLoJm7Ed66bfXJnmUWSA" name="c">
      <ownedBehavior xmi:type="uml:StateMachine" xmi:id="idStateMachine" name="intersectionStateMachine">
        <region xmi:id="idRegion" name="MainRegion">
          <subvertex xmi:type="uml:State" xmi:id="_Rel8cJm6Ed66bfXJnmUWSA" name="firstS"/>
          <subvertex xmi:type="uml:State" xmi:id="_SCprwJm6Ed66bfXJnmUWSA" name="secondS"/>
          <subvertex xmi:type="uml:Pseudostate" xmi:id="_TBiV4Jm6Ed66bfXJnmUWSA" name="initial"/>
          <transition xmi:id="_ZbKxdJm6Ed66bfXJnmUWSA" name="firstT" kind="local" source="_TBiV4Jm6Ed66bfXJnmUWSA" target="_Rel8cJm6Ed66bfXJnmUWSA"/>
          <transition xmi:id="_aSv5tZm6Ed66bfXJnmUWSA" name="secondT" kind="local" source="_Rel8cJm6Ed66bfXJnmUWSA" target="_SCprwJm6Ed66bfXJnmUWSA">
            <effect xmi:type="uml:FunctionBehavior" xmi:id="_BMbGAJudEd6w8Pw8wyG0Aw" name="trip" specification="_xWxkEJm8Ed66bfXJnmUWSA"/>
            <trigger xmi:id="_Dmg84Jm7Ed66bfXJnmUWSA" name="t2" event="_PFS7EJnAEd66bfXJnmUWSA"/>
          </transition>
          <transition xmi:id="_coNVNJm6Ed66bfXJnmUWSA" name="thirdT" kind="local" source="_SCprwJm6Ed66bfXJnmUWSA" target="_Rel8cJm6Ed66bfXJnmUWSA">
            <effect xmi:type="uml:FunctionBehavior" xmi:id="_Ge-kwJudEd6w8Pw8wyG0Aw" name="trip" specification="_xWxkEJm8Ed66bfXJnmUWSA"/>
            <trigger xmi:id="_IFNVwJm7Ed66bfXJnmUWSA" name="t3" event="_PFS7EJnAEd66bfXJnmUWSA"/>
          </transition>
        </region>
      </ownedBehavior>
      <ownedOperation xmi:id="_xWxkEJm8Ed66bfXJnmUWSA" name="trip" method="_BMbGAJudEd6w8Pw8wyG0Aw _Ge-kwJudEd6w8Pw8wyG0Aw"/>
    </packagedElement>
  </packagedElement>
  <packagedElement xmi:type="uml:SignalEvent" xmi:id="_PFS7EJnAEd66bfXJnmUWSA" name="e1"/>
  <packagedElement xmi:type="uml:InstanceSpecification" xmi:id="_s7eS4Jm7Ed66bfXJnmUWSA" name="I1" classifier="_beCLoJm7Ed66bfXJnmUWSA"/>
</uml:Model>

_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users

Reply via email to