digraph G { rankdir=LR; overlap=scale; concentrate=true;

// Generate Node Definitions

// Generate Process Node
gId_3_5_processNodeId[label="Checkbook\ Account\ Balance", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_3_7_nodeId[label="Service\ Charges", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_3_8_nodeId[label="Deductions", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_3_9_nodeId[label="Monthly\ Statement", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_3_10_nodeId[label="Checkbook", shape=ellipse,fillcolor=red,style=filled];
// Generate Process Node
gId_4_5_processNodeId[label="New\ Checkbook\ Account\ Balance", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_4_7_nodeId[label="Credits", shape=ellipse,fillcolor=red,style=filled];
// Generate Process Node
gId_5_5_processNodeId[label="Account\ Balance", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_5_7_nodeId[label="Deposits", shape=ellipse,fillcolor=red,style=filled];
// Generate Process Node
gId_6_5_processNodeId[label="New\ Statement\ Balance", shape=ellipse,fillcolor=red,style=filled];
// Generate Undefined Node
gId_6_7_nodeId[label="Withdrawals", shape=ellipse,fillcolor=red,style=filled];

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_3[label="REQ1:\ If\ there\ are\ any\ service\ncharges\ or\ other\ deductions\ that\nare\ on\ the\ monthly\ statement\ but\nnot\ recorded\ in\ the\ checkbook,\ the\nCBS\ shall\ subtract\ them\ from\ the\ncheckbook\ account\ balance.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_3 -> gId_3_5_processNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_3_7_nodeId -> ReqRow_3;
gId_3_8_nodeId -> ReqRow_3;
gId_3_9_nodeId -> ReqRow_3;
gId_3_10_nodeId -> ReqRow_3;
gId_3_5_processNodeId -> ReqRow_3;
//////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_4[label="REQ2:\ If\ there\ are\ any\ credits\ that\nare\ on\ the\ monthly\ statement\ but\nnot\ recorded\ in\ the\ checkbook,\ the\nCBS\ shall\ add\ them\ to\ the\ checkbook\naccount\ balance\ to\ create\ the\ new\ncheckbook\ account\ balance.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_4 -> gId_4_5_processNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_4_7_nodeId -> ReqRow_4;
gId_3_9_nodeId -> ReqRow_4;
gId_3_10_nodeId -> ReqRow_4;
gId_3_5_processNodeId -> ReqRow_4;
//////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_5[label="REQ3:\ If\ there\ are\ any\ deposits\nlisted\ in\ the\ checkbook\ that\ are\nnot\ on\ the\ monthly\ statement,\ the\nCBS\ shall\ add\ them\ to\ the\ account\nbalance\ shown\ on\ the\ monthly\nstatement.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_5 -> gId_5_5_processNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_5_7_nodeId -> ReqRow_5;
gId_3_10_nodeId -> ReqRow_5;
gId_3_9_nodeId -> ReqRow_5;
gId_5_5_processNodeId -> ReqRow_5;
//////////////////////////////////////////////////////////

//////////////////////////////////////////////////////////
// Generate Requirement Description node
ReqRow_6[label="REQ4:\ If\ there\ are\ any\ withdrawals\nlisted\ in\ the\ checkbook\ that\ are\nnot\ on\ the\ monthly\ statement,\ the\nCBS\ shall\ subtract\ them\ from\ the\naccount\ balance\ shown\ on\ the\nmonthly\ statement\ to\ create\ the\ new\nstatement\ balance.", shape=box];

// Generate output link(s) from Process (requirement) description node to Defined Name
ReqRow_6 -> gId_6_5_processNodeId;

// Generate link(s) from argument(s)
// into the Process (requirement) description node
gId_6_7_nodeId -> ReqRow_6;
gId_3_10_nodeId -> ReqRow_6;
gId_3_9_nodeId -> ReqRow_6;
gId_5_5_processNodeId -> ReqRow_6;
//////////////////////////////////////////////////////////
}