Hello Rob,
First thing you need to remember is that sequence diagrams are
conceived in the object (class) paradigm world. As such, messages that
you place on the diagram represent methods from the objects
(represented by lifelines) in the diagram. As far as I know, objects
can not hold signals and hence there is no easy way of using a sequence
diagram to test for signal connections, types and generation.
I would recommend the use of IBB (internal block diagrams) to check
connections and types. As far as signal generation form a state
machine.. I am not sure I understand what are you trying to achieve.
Best regards,
Horacio Hoyos RodrÃguez
Research Assistant
Csw Research Group - Moosas
Universidad de los Andes
[email protected]
Tel.:[571]3394949 Ext.:2863
Bogotá, Colombia
------ Original Message ------
From: "Topcased user list where issues are discussed"
<[email protected]>
To: [email protected]
Sent: 25/01/2011 02:19:23 a.m.
Subject: [Topcased-users] Very frustrated - please help - Sequence
Diagrams
Folks,
For three days now I have been trying to do a trivial thing in
topcased and can't do it. I simply want to add a Signal to the
Signature of a Message in a Sequence Diagram.
I think I must have tried every combination and permutation that my
simple model allows me, without success
I simply want to use a Sequence Diagram as a verification step for
other parts of the model: to check the connections, ports and their
types from a BDD, and to show the signals generated from a state
machine from one block to another.
Any help - but particularly a simple example model would be very
gratefully received.
Regards
Rob Collins
Quoting "Rob Collins" <[email protected]>:
Thank you to Tristan for the answer to my previous question.
I am now trying to represent a sequence of messages (signals / calls)
between these two blocks on a sequence diagram - but having no
success.
'Call' type messages won't draw - I get a blocked symbol trying to
connect to either life-line.
I can draw 'signal' between the two. However, when I try to add a
signature to the signal - there are no options listed in the list.
In my full model, I am trying to draw two blocks, which are connected
via ports on each block. I have defined state-machines for each
block.
I now want to validate those interacting state-machines by showing
signals flowing between blocks on a Sequence Diagram.
I also tried adding an operation to one of the blocks (as you can
see)
to see if I represent a call to that. But that also was not
available.
I believe that when I have done this with other tools, using UML (and
ROOM), the signals in state machines could be represented flowing
between blocks on sequence diagrams. With the sequence diagram
providing model checking for consistency etc.
Any suggestions on how to model this - or particularly an example
model, would be very welcome.
Best regards
Rob Collins
,Quoting [email protected]:
Send Topcased-users mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Topcased-users digest..."
Today's Topics:
1. Required / Provided interfaces - and visibility of
labels
(Topcased user list where issues are discussed)
2. Re: Required / Provided interfaces - and visibility of
labels
(Topcased user list where issues are discussed)
3. Troubles with guards in SysML Sequence Diagrams
(Topcased user list where issues are discussed)
----------------------------------------------------------------------
Message: 1
Date: Wed, 19 Jan 2011 17:20:45 +0000
From: Topcased user list where issues are discussed
<[email protected]>
Subject: [Topcased-users] Required / Provided interfaces - and
visibility of labels
To: [email protected]
Message-ID: <[email protected]>
Content-Type: text/plain; charset="iso-8859-1"; Format="flowed";
DelSp="Yes"
Folks,
Drawing a Block Definition Diagram (image attached), I would like to
show provided and required interfaces on ports. I can't find out how
to change between required / provided interfaces - that is, to
change
between the 'lollypop' and 'fork' symbol for interfaces. Would
somebody explain please?
Also, I can't work out how to control the visibility of all of the
labels. In this case, the type of the interface is show twice -
which
makes the diagram a little 'noisy'. Is there a way of controlling
the
visibilty of labels for connectors / ports / interfaces?
Regards
Rob Collins
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110119/78f38cfa/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: connector_ex.jpeg
Type: image/jpeg
Size: 26394 bytes
Desc: not available
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110119/78f38cfa/attachment-0001.jpeg>
------------------------------
Message: 2
Date: Wed, 19 Jan 2011 18:14:20 +0000
From: Topcased user list where issues are discussed
<[email protected]>
Subject: Re: [Topcased-users] Required / Provided interfaces - and
visibility of labels
To: "[email protected]"
<[email protected]>,
"[email protected]"
<[email protected]>
Message-ID:
<ACF1D8EEEAEF3249B2ACC4F2493C3BE9E4C4CA@AOFRWMBXRSC001.resources.atosorigin.local>
Content-Type: text/plain; charset="iso-8859-1"
Hi
to have lollypop and fork you have to :
1) Type your port with an interface (lollypop)
2) Type your port with a classifier using (with usage
relationship) to an interface
[cid:[email protected]]
To change the visibility check graphics property tab you can
show/hide elements
[cid:[email protected]]
Regards
Tristan FAURE
De : [email protected]
[mailto:[email protected]] De la part de
Topcased user list where issues are discussed
Envoy? : mercredi 19 janvier 2011 18:21
? : [email protected]
Objet : [Topcased-users] Required / Provided interfaces - and
visibility of labels
Folks,
Drawing a Block Definition Diagram (image attached), I would like
to show provided and required interfaces on ports. I can't find
out how to change between required / provided interfaces - that
is, to change between the 'lollypop' and 'fork' symbol for
interfaces. Would somebody explain please?
Also, I can't work out how to control the visibility of all of the
labels. In this case, the type of the interface is show twice -
which makes the diagram a little 'noisy'. Is there a way of
controlling the visibilty of labels for connectors / ports /
interfaces?
Regards
Rob Collins
________________________________
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110119/53ed6ab1/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image001.png
Type: image/png
Size: 13082 bytes
Desc: image001.png
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110119/53ed6ab1/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image002.png
Type: image/png
Size: 20179 bytes
Desc: image002.png
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110119/53ed6ab1/attachment-0003.png>
------------------------------
Message: 3
Date: Thu, 20 Jan 2011 11:25:28 +0100
From: Topcased user list where issues are discussed
<[email protected]>
Subject: [Topcased-users] Troubles with guards in SysML Sequence
Diagrams
To: <[email protected]>
Message-ID:
<64878e0773704846ace4ce0774539dd20e6d14c...@emaileads02.eadscasa.casa.corp>
Content-Type: text/plain; charset="us-ascii"
Hello everybody,
I am drawing a sequence diagram in a SysML profile in TOPCASED
4.1.0. I need to create guards inside an InteractionOperand that
belongs to a specific CombinedFragment. I read in some threads
inside this list that this can be done creating an
InteractionConstraint inside the InteractionOperand, and then
creating an OpaqueExpresion inside the InteractionConstraint.
I can create it but I cannot see it in the graphical view.
I follow the next steps:
- Mouse on the InteractionOperand and click on right button
and select "Create Child/Guard/Interaction Constraint"
- Mouse on the InteractionConstraint and click on right
button and select "Create Child/Specification/Opaque Expression"
- Then I write a name for the opaque expression and in its
type property I choose String
- Visibility=public
But I cannot see anything in the graphical view...
Any ideas? I'm completely lost.
Thanks in advance and best regards,
Carlos Andres
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.gforge.enseeiht.fr/pipermail/topcased-users/attachments/20110120/ad370abc/attachment-0001.htm>
------------------------------
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
End of Topcased-users Digest, Vol 64, Issue 9
*********************************************
<br />--
<br />This message has been scanned for viruses and
<br />dangerous content by
<a href="http://www.mailscanner.info/";><b>MailScanner</b></a>, and is
<br />believed to be clean.
_______________________________________________
Topcased-users mailing list
[email protected]
http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
