BDD overview of entire mini system

Gallery
Tutorial
HOWTO: Send and receive a Signal via Ports in SysML and Cameo Simulation Toolkit
Section
Topic level
BASIC
UML keywords
Port
SysML keywords
InterfaceBlock
~InterfaceBlock
SysML Block Definition Diagram
Keywords
Slide kind
SysML Block Definition Diagram (BDD)
This Block Definition Diagram (BDD) shows definitions of most elements in the mini system:
Click on the image to view it full size
[HISTORICAL] HOWTO easily "hack" the SysML-1.6 ~InterfaceBlock conjugation and «~interfaceBlock» keywords in MagicDraw/Cameo. [NOW SUPPORTED 2024x Golden]
Let's start with the interface block contracts and a minor warning:
Cameo: SysML: When sending a Signal via a Port with a SendSignalAction, Cameo does not care what the directed feature directions of the Signal receptions on the Type of the Port are (even if it should).

You should nevertheless use consistent SysML-style, type-based conjugation as shown. For example, the InterfaceBlock I_Keypad defines a provided reception of Signal S_Digit (which carries a digit:Integer). The block Keypad has an output port o:~I_Keypad, where the conjugated ~InterfaceBlock ~I_Keypad formally has a required Signal S_Digit.

The Receiver has sub-blocks R1 and R2 that can identify themselves via redefined id. It has an input Port iKeypad:I_Keypad and an output Port oDisplay:I_Display.

The Display is relatively trivial, with an input Port i:I_Display.

The Signals N0, N1 etc. each carry a corresponding Integer will act as simple keypad "dialer" buttons in Magic Model Analyst® (Cameo Simulation Toolkit®) .

Up next
BDD of Receiver and Number (digit accumulator)
Notes
[TIP]{INFORMATIVE} One of the most important reasons to use a Port to send a Signal is that only the connection context, not the sender, knows the ultimate recipient (at the end of a specific Connector).
[NAMING, POLICY]{STRICT} For SysML Blocks and InterfaceBlocks used to type Ports with contracts use the naming convention 'I_UpperCamelCase' [may be combined with acronymn conventions]
[ASSERTION]{EXPERIMENTAL} Cameo: SysML: When sending a Signal via a Port with a SendSignalAction, Cameo does not care what the directed feature directions of the Signal receptions on the Type of the Port are (even if it should).
[ASSERTION]{EXPERIMENTAL} Cameo: UML: When sending a Signal via a Port with a SendSignalAction, Cameo does not care whether the Port is conjugated (even if it should).
[TIP, WORKAROUND]{INFORMATIVE} [HISTORICAL] HOWTO easily "hack" the SysML-1.6 ~InterfaceBlock conjugation and «~interfaceBlock» keywords in MagicDraw/Cameo. [NOW SUPPORTED 2024x Golden]
[MODELLING, STYLE]{RECOMMENDED} Webel: SysMLv1: Prefer not show Port symbols on the boundary of Block symbols in BDDs, just list them in compartments. One can't connect them in a BDD anyway. Recommend only show Port symbols in IBDs.
Snippets (quotes/extracts)
Related slides (includes other tutorials)
Related slides (backlinks, includes other tutorials)
Visit also
Visit also (backlinks)