Files

1603 lines
48 KiB
JSON

{
"schema_version": 3,
"id": "45a02a77-01e7-4701-ad3b-56087158684f",
"alias": "mission",
"name": "Coastal rescue — operational need to system behavior",
"description": "A worked OA/SA example. Compare allocation and functional decomposition views; inspect traces, repeated scenario messages, interface contracts, degraded modes, and external engineering artifacts.",
"elements": {
"0c9c3870-bf68-461f-8b3a-b568b0e34ac1": {
"id": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"alias": "transmit_distress_report",
"name": "Transmit distress report",
"description": "",
"parent": "65c6e7cf-64b3-4e04-8523-f9a8b5835882",
"body": {
"Sa": "Function"
}
},
"0f0579ec-92fc-43b2-b9d8-fcdd2cbbce35": {
"id": "0f0579ec-92fc-43b2-b9d8-fcdd2cbbce35",
"alias": "backup_electrical_energy",
"name": "Backup electrical energy",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"ExchangeItem": {
"kind": "Energy"
}
}
}
}
},
"113259b9-e7b6-4bff-9a63-846961e96923": {
"id": "113259b9-e7b6-4bff-9a63-846961e96923",
"alias": "support_timely_rescue_decisions",
"name": "Support timely rescue decisions",
"description": "",
"parent": null,
"body": {
"Sa": "Mission"
}
},
"152b3502-d8f2-41cf-91f6-223e82c64fcf": {
"id": "152b3502-d8f2-41cf-91f6-223e82c64fcf",
"alias": "digital_distress_report",
"name": "Digital distress report",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"ExchangeItem": {
"kind": "Information"
}
}
}
}
},
"256f869a-b293-456a-8ba9-f003db9e6015": {
"id": "256f869a-b293-456a-8ba9-f003db9e6015",
"alias": "response_time_budget",
"name": "Response time budget",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"Constraint": {
"expression": "incident_alert_latency <= 120 s",
"constrained": [
"8757bd90-5dde-415f-8a89-8a288fd05694",
"74df7f1b-4d3e-4bc9-8f53-012e5fe1d421"
]
}
}
}
}
},
"25e084c9-9ff7-4fd3-9a80-79fcf4ff9d61": {
"id": "25e084c9-9ff7-4fd3-9a80-79fcf4ff9d61",
"alias": "vessel_service_lifeline",
"name": "Vessel service lifeline",
"description": "",
"parent": "df3b77d3-f897-415b-8e4a-f5944134820a",
"body": {
"Sa": {
"Shared": {
"Lifeline": {
"represented": "e306fcc7-c700-41db-9aba-ca07de0aa127"
}
}
}
}
},
"2c5594c8-f26f-4b09-9a2e-0cf62b713384": {
"id": "2c5594c8-f26f-4b09-9a2e-0cf62b713384",
"alias": "vessel_in_distress",
"name": "Vessel in distress",
"description": "",
"parent": null,
"body": {
"Oa": "Actor"
}
},
"2faf0a88-a28d-4b46-9b65-b99ff313b108": {
"id": "2faf0a88-a28d-4b46-9b65-b99ff313b108",
"alias": "reporting_quality_region",
"name": "Reporting quality region",
"description": "",
"parent": "f3c91fe8-c5bd-490a-9760-5de67a97a846",
"body": {
"Sa": {
"Shared": "Region"
}
}
},
"356877c5-9a9f-497d-868c-ff85d83ceb68": {
"id": "356877c5-9a9f-497d-868c-ff85d83ceb68",
"alias": "distress_received",
"name": "Distress received",
"description": "",
"parent": "c54a6981-1e3e-49a1-9346-f494bfdb4456",
"body": {
"Oa": {
"Shared": {
"Occurrence": {
"body": {
"Exchange": {
"exchange": "16e0673c-5a65-42db-af3b-58679227029f",
"sender": null,
"receiver": null,
"message_kind": "Asynchronous",
"reply_to": null,
"values": []
}
},
"precondition": "",
"postcondition": ""
}
}
}
}
},
"380b840a-1443-4c47-8c11-d0fd067e2154": {
"id": "380b840a-1443-4c47-8c11-d0fd067e2154",
"alias": "system_reporting_input",
"name": "System reporting input",
"description": "",
"parent": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"body": {
"Sa": {
"Shared": {
"Port": {
"contract": {
"Component": {
"kind": "Flow",
"orientation": "In"
}
},
"legacy": null
}
}
}
}
},
"420188b6-6bb2-42c4-95b3-38a40147b8fe": {
"id": "420188b6-6bb2-42c4-95b3-38a40147b8fe",
"alias": "digital_distress_handling",
"name": "Digital distress handling",
"description": "",
"parent": null,
"body": {
"Sa": {
"FunctionalChain": {
"steps": [
"42db911d-7db8-44ae-b3b9-3b9d3db9545c"
]
}
}
}
},
"42db911d-7db8-44ae-b3b9-3b9d3db9545c": {
"id": "42db911d-7db8-44ae-b3b9-3b9d3db9545c",
"alias": "report_handled",
"name": "Report handled",
"description": "",
"parent": "420188b6-6bb2-42c4-95b3-38a40147b8fe",
"body": {
"Sa": {
"Shared": {
"Occurrence": {
"body": {
"Exchange": {
"exchange": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421",
"sender": null,
"receiver": null,
"message_kind": "Asynchronous",
"reply_to": null,
"values": []
}
},
"precondition": "",
"postcondition": ""
}
}
}
}
},
"46d07365-a1c7-41a9-b5f7-22cc1e70522d": {
"id": "46d07365-a1c7-41a9-b5f7-22cc1e70522d",
"alias": "coordination_system_lifeline",
"name": "Coordination system lifeline",
"description": "",
"parent": "df3b77d3-f897-415b-8e4a-f5944134820a",
"body": {
"Sa": {
"Shared": {
"Lifeline": {
"represented": "cab2cdd9-7092-400f-8057-2e38a721c2c1"
}
}
}
}
},
"5019f5d4-0859-4e28-ba12-f6e1cbe45fe9": {
"id": "5019f5d4-0859-4e28-ba12-f6e1cbe45fe9",
"alias": "report_timeout",
"name": "Report timeout",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"Event": {
"body": {
"Time": {
"kind": "After",
"expression": "30 s"
}
}
}
}
}
}
},
"54fbd34c-3ca3-47c6-a96d-6c889d73b70e": {
"id": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e",
"alias": "report_distress",
"name": "Report distress",
"description": "",
"parent": "8bc4aa00-0c47-400d-8c65-6d0487e4f396",
"body": {
"Oa": "Activity"
}
},
"5a845f98-431b-41a4-9607-916ffadd3da7": {
"id": "5a845f98-431b-41a4-9607-916ffadd3da7",
"alias": "degraded_reporting",
"name": "Degraded reporting",
"description": "",
"parent": "2faf0a88-a28d-4b46-9b65-b99ff313b108",
"body": {
"Sa": {
"Shared": {
"State": {
"kind": "Mode",
"entry": "",
"exit": "",
"do_activity": ""
}
}
}
}
},
"5e818ac8-4aa7-46b3-8751-7984a0389194": {
"id": "5e818ac8-4aa7-46b3-8751-7984a0389194",
"alias": "coordinate_rescue_response",
"name": "Coordinate rescue response",
"description": "",
"parent": null,
"body": {
"Sa": "Capability"
}
},
"65c6e7cf-64b3-4e04-8523-f9a8b5835882": {
"id": "65c6e7cf-64b3-4e04-8523-f9a8b5835882",
"alias": "manage_distress_response",
"name": "Manage distress response",
"description": "",
"parent": null,
"body": {
"Sa": "Function"
}
},
"6605333b-d0b5-4367-bdeb-44198273e365": {
"id": "6605333b-d0b5-4367-bdeb-44198273e365",
"alias": "distress_reporting_interface",
"name": "Distress reporting interface",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"Interface": {
"items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
}
}
}
},
"66b2f0ca-c6d1-4ee4-b96e-1f4e90096851": {
"id": "66b2f0ca-c6d1-4ee4-b96e-1f4e90096851",
"alias": "report_function_output",
"name": "Report function output",
"description": "",
"parent": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"body": {
"Sa": {
"Shared": {
"Port": {
"contract": {
"FunctionOutput": {
"outgoing_items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
},
"legacy": null
}
}
}
}
},
"6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d": {
"id": "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d",
"alias": "protect_life_at_sea",
"name": "Protect life at sea",
"description": "",
"parent": null,
"body": {
"Oa": "Capability"
}
},
"78c16282-535f-4574-ad94-fefcd72f731d": {
"id": "78c16282-535f-4574-ad94-fefcd72f731d",
"alias": "vessel_reporting_output",
"name": "Vessel reporting output",
"description": "",
"parent": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"body": {
"Sa": {
"Shared": {
"Port": {
"contract": {
"Component": {
"kind": "Flow",
"orientation": "Out"
}
},
"legacy": null
}
}
}
}
},
"7c4ff89b-1988-4634-a20f-a664d65079fa": {
"id": "7c4ff89b-1988-4634-a20f-a664d65079fa",
"alias": "assessment_function_input",
"name": "Assessment function input",
"description": "",
"parent": "8757bd90-5dde-415f-8a89-8a288fd05694",
"body": {
"Sa": {
"Shared": {
"Port": {
"contract": {
"FunctionInput": {
"incoming_items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
},
"legacy": null
}
}
}
}
},
"86c6a437-5af6-4ff8-b330-afeae686059f": {
"id": "86c6a437-5af6-4ff8-b330-afeae686059f",
"alias": "distress_report",
"name": "Distress report",
"description": "",
"parent": null,
"body": {
"Oa": {
"Shared": {
"ExchangeItem": {
"kind": "Information"
}
}
}
}
},
"8757bd90-5dde-415f-8a89-8a288fd05694": {
"id": "8757bd90-5dde-415f-8a89-8a288fd05694",
"alias": "classify_incident_and_alert_operator",
"name": "Classify incident and alert operator",
"description": "",
"parent": "65c6e7cf-64b3-4e04-8523-f9a8b5835882",
"body": {
"Sa": "Function"
}
},
"876e0213-ce4f-4eb7-9be2-931e0c24946e": {
"id": "876e0213-ce4f-4eb7-9be2-931e0c24946e",
"alias": "updated_distress_report",
"name": "Updated distress report",
"description": "",
"parent": "df3b77d3-f897-415b-8e4a-f5944134820a",
"body": {
"Sa": {
"Shared": {
"Occurrence": {
"body": {
"Exchange": {
"exchange": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421",
"sender": "25e084c9-9ff7-4fd3-9a80-79fcf4ff9d61",
"receiver": "46d07365-a1c7-41a9-b5f7-22cc1e70522d",
"message_kind": "Asynchronous",
"reply_to": null,
"values": []
}
},
"precondition": "The vessel has more recent position information.",
"postcondition": "The incident position is refreshed without creating a second incident."
}
}
}
}
},
"8bc4aa00-0c47-400d-8c65-6d0487e4f396": {
"id": "8bc4aa00-0c47-400d-8c65-6d0487e4f396",
"alias": "respond_to_distress",
"name": "Respond to distress",
"description": "",
"parent": null,
"body": {
"Oa": "Activity"
}
},
"909668ee-4291-4f30-8f6c-565dd546262e": {
"id": "909668ee-4291-4f30-8f6c-565dd546262e",
"alias": "normal_reporting",
"name": "Normal reporting",
"description": "",
"parent": "2faf0a88-a28d-4b46-9b65-b99ff313b108",
"body": {
"Sa": {
"Shared": {
"State": {
"kind": "Mode",
"entry": "",
"exit": "",
"do_activity": ""
}
}
}
}
},
"9c46cd19-0c19-4c37-bf15-ec2bb782094d": {
"id": "9c46cd19-0c19-4c37-bf15-ec2bb782094d",
"alias": "start_reporting",
"name": "Start reporting",
"description": "",
"parent": "2faf0a88-a28d-4b46-9b65-b99ff313b108",
"body": {
"Sa": {
"Shared": {
"State": {
"kind": "Initial",
"entry": "",
"exit": "",
"do_activity": ""
}
}
}
}
},
"a8c37723-4fd0-4cab-9ef0-8a6e5ca6921c": {
"id": "a8c37723-4fd0-4cab-9ef0-8a6e5ca6921c",
"alias": "reported_latitude",
"name": "Reported latitude",
"description": "",
"parent": "152b3502-d8f2-41cf-91f6-223e82c64fcf",
"body": {
"Sa": {
"Shared": {
"DataField": {
"type_ref": "Real",
"minimum": 1,
"maximum": 1,
"unit": "degrees north"
}
}
}
}
},
"af6edd7f-19b5-426c-a43d-18c7508f8023": {
"id": "af6edd7f-19b5-426c-a43d-18c7508f8023",
"alias": "incident_coordinator",
"name": "Incident coordinator",
"description": "",
"parent": null,
"body": {
"Oa": "Role"
}
},
"b5d62359-b919-4a34-96ce-826f5f214e72": {
"id": "b5d62359-b919-4a34-96ce-826f5f214e72",
"alias": "initial_distress_report",
"name": "Initial distress report",
"description": "",
"parent": "df3b77d3-f897-415b-8e4a-f5944134820a",
"body": {
"Sa": {
"Shared": {
"Occurrence": {
"body": {
"Exchange": {
"exchange": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421",
"sender": "25e084c9-9ff7-4fd3-9a80-79fcf4ff9d61",
"receiver": "46d07365-a1c7-41a9-b5f7-22cc1e70522d",
"message_kind": "Asynchronous",
"reply_to": null,
"values": []
}
},
"precondition": "",
"postcondition": ""
}
}
}
}
},
"c0046ffd-908b-46a4-a694-f481b823695c": {
"id": "c0046ffd-908b-46a4-a694-f481b823695c",
"alias": "rescue_coordination",
"name": "Rescue coordination",
"description": "",
"parent": null,
"body": {
"Oa": "Entity"
}
},
"c54a6981-1e3e-49a1-9346-f494bfdb4456": {
"id": "c54a6981-1e3e-49a1-9346-f494bfdb4456",
"alias": "distress_to_response",
"name": "Distress to response",
"description": "",
"parent": null,
"body": {
"Oa": {
"Process": {
"steps": [
"356877c5-9a9f-497d-868c-ff85d83ceb68"
]
}
}
}
},
"cab2cdd9-7092-400f-8057-2e38a721c2c1": {
"id": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"alias": "rescue_coordination_system",
"name": "Rescue coordination system",
"description": "",
"parent": null,
"body": {
"Sa": "System"
}
},
"ce5e5fa5-11c5-43a7-8595-c845fb4899ab": {
"id": "ce5e5fa5-11c5-43a7-8595-c845fb4899ab",
"alias": "rescue_supply_package",
"name": "Rescue supply package",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"ExchangeItem": {
"kind": "Material"
}
}
}
}
},
"ce7acfdb-54a8-4b42-ba74-3abce196e8a9": {
"id": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"alias": "assess_incident",
"name": "Assess incident",
"description": "",
"parent": "8bc4aa00-0c47-400d-8c65-6d0487e4f396",
"body": {
"Oa": "Activity"
}
},
"df3b77d3-f897-415b-8e4a-f5944134820a": {
"id": "df3b77d3-f897-415b-8e4a-f5944134820a",
"alias": "repeated_distress_reports",
"name": "Repeated distress reports",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"Scenario": {
"viewpoint": "BoundaryInterface",
"context": "5e818ac8-4aa7-46b3-8751-7984a0389194",
"precondition": "A vessel has detected an emergency and the reporting service is available.",
"postcondition": "The operator has a classified incident with the latest vessel report.",
"steps": [
"b5d62359-b919-4a34-96ce-826f5f214e72",
"876e0213-ce4f-4eb7-9be2-931e0c24946e"
]
}
}
}
}
},
"e306fcc7-c700-41db-9aba-ca07de0aa127": {
"id": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"alias": "vessel_communication_service",
"name": "Vessel communication service",
"description": "",
"parent": null,
"body": {
"Sa": "Actor"
}
},
"f3c91fe8-c5bd-490a-9760-5de67a97a846": {
"id": "f3c91fe8-c5bd-490a-9760-5de67a97a846",
"alias": "reporting_operation_modes",
"name": "Reporting operation modes",
"description": "",
"parent": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"body": {
"Sa": {
"Shared": "StateMachine"
}
}
},
"fbac66e9-4107-4afe-bcf5-9760ecb69664": {
"id": "fbac66e9-4107-4afe-bcf5-9760ecb69664",
"alias": "validated_report_received",
"name": "Validated report received",
"description": "",
"parent": null,
"body": {
"Sa": {
"Shared": {
"Event": {
"body": {
"Signal": {
"items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
}
}
}
}
}
}
},
"relations": {
"06f0a317-0555-472a-b7d4-2dee483ccaab": {
"id": "06f0a317-0555-472a-b7d4-2dee483ccaab",
"alias": "assesses_incident",
"name": "Assesses incident",
"description": "",
"body": {
"Allocation": {
"source": "c0046ffd-908b-46a4-a694-f481b823695c",
"target": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9"
}
}
},
"07032dcd-db06-4d8b-bdb0-3ca8c01d2733": {
"id": "07032dcd-db06-4d8b-bdb0-3ca8c01d2733",
"alias": "functional_chain_support",
"name": "Functional chain support",
"description": "",
"body": {
"ChainInvolvement": {
"source": "420188b6-6bb2-42c4-95b3-38a40147b8fe",
"target": "5e818ac8-4aa7-46b3-8751-7984a0389194"
}
}
},
"0c62044a-d832-4e1d-8266-7b32f091f08b": {
"id": "0c62044a-d832-4e1d-8266-7b32f091f08b",
"alias": "assessment_in_normal_mode",
"name": "Assessment in normal mode",
"description": "",
"body": {
"Availability": {
"source": "8757bd90-5dde-415f-8a89-8a288fd05694",
"target": "909668ee-4291-4f30-8f6c-565dd546262e"
}
}
},
"15b1a6ea-a7bc-4805-b2fa-1b5c4d3ad084": {
"id": "15b1a6ea-a7bc-4805-b2fa-1b5c4d3ad084",
"alias": "reporting_service_provided",
"name": "Reporting service provided",
"description": "",
"body": {
"InterfaceProvision": {
"source": "78c16282-535f-4574-ad94-fefcd72f731d",
"target": "6605333b-d0b5-4367-bdeb-44198273e365"
}
}
},
"16e0673c-5a65-42db-af3b-58679227029f": {
"id": "16e0673c-5a65-42db-af3b-58679227029f",
"alias": "distress_signal",
"name": "Distress signal",
"description": "",
"body": {
"Interaction": {
"source": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e",
"target": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"items": [
"86c6a437-5af6-4ff8-b330-afeae686059f"
]
}
}
},
"3aebb5ca-3a9a-4ca5-bab5-3baeba68f561": {
"id": "3aebb5ca-3a9a-4ca5-bab5-3baeba68f561",
"alias": "signal_degraded",
"name": "Signal degraded",
"description": "",
"body": {
"StateTransition": {
"source": "909668ee-4291-4f30-8f6c-565dd546262e",
"target": "5a845f98-431b-41a4-9607-916ffadd3da7",
"transition_kind": "External",
"triggers": [
"5019f5d4-0859-4e28-ba12-f6e1cbe45fe9"
],
"effects": [],
"trigger": "report_timeout",
"guard": "seconds_since_last_report > 30",
"effect": "Flag the incident and request an operator review."
}
}
},
"452a6f7a-6fe2-49e8-abea-aa9883fd762a": {
"id": "452a6f7a-6fe2-49e8-abea-aa9883fd762a",
"alias": "operational_realization",
"name": "Operational realization",
"description": "",
"body": {
"ChainInvolvement": {
"source": "c54a6981-1e3e-49a1-9346-f494bfdb4456",
"target": "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d"
}
}
},
"4f480d43-2484-49f2-8741-0e5c7f833dbc": {
"id": "4f480d43-2484-49f2-8741-0e5c7f833dbc",
"alias": "system_assessment",
"name": "System assessment",
"description": "",
"body": {
"Allocation": {
"source": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"target": "8757bd90-5dde-415f-8a89-8a288fd05694"
}
}
},
"6ecf7019-5193-4710-948d-fcca47708faf": {
"id": "6ecf7019-5193-4710-948d-fcca47708faf",
"alias": "operational_contribution",
"name": "Operational contribution",
"description": "",
"body": {
"CapabilityInvolvement": {
"source": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"target": "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d"
}
}
},
"74df7f1b-4d3e-4bc9-8f53-012e5fe1d421": {
"id": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421",
"alias": "validated_distress_report",
"name": "Validated distress report",
"description": "",
"body": {
"FunctionalExchange": {
"source": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"target": "8757bd90-5dde-415f-8a89-8a288fd05694",
"source_port": "66b2f0ca-c6d1-4ee4-b96e-1f4e90096851",
"target_port": "7c4ff89b-1988-4634-a20f-a664d65079fa",
"items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
}
},
"7b876e43-d4bf-44cf-997e-d956f28818ec": {
"id": "7b876e43-d4bf-44cf-997e-d956f28818ec",
"alias": "signal_restored",
"name": "Signal restored",
"description": "",
"body": {
"StateTransition": {
"source": "5a845f98-431b-41a4-9607-916ffadd3da7",
"target": "909668ee-4291-4f30-8f6c-565dd546262e",
"transition_kind": "External",
"triggers": [
"fbac66e9-4107-4afe-bcf5-9760ecb69664"
],
"effects": [],
"trigger": "validated_report_received",
"guard": "position_is_current",
"effect": "Clear the degraded-reporting alert."
}
}
},
"83592215-ffc2-4e80-91b4-fb989176c67f": {
"id": "83592215-ffc2-4e80-91b4-fb989176c67f",
"alias": "fulfils_coordinator_role",
"name": "Fulfils coordinator role",
"description": "",
"body": {
"RoleRealization": {
"source": "c0046ffd-908b-46a4-a694-f481b823695c",
"target": "af6edd7f-19b5-426c-a43d-18c7508f8023"
}
}
},
"864033df-f8e5-481f-9661-b38c3c9764ed": {
"id": "864033df-f8e5-481f-9661-b38c3c9764ed",
"alias": "reporting_service_required",
"name": "Reporting service required",
"description": "",
"body": {
"InterfaceRequirement": {
"source": "380b840a-1443-4c47-8c11-d0fd067e2154",
"target": "6605333b-d0b5-4367-bdeb-44198273e365"
}
}
},
"9891794f-e800-415e-8498-e0e1860ee0c0": {
"id": "9891794f-e800-415e-8498-e0e1860ee0c0",
"alias": "coordinates_assessment",
"name": "Coordinates assessment",
"description": "",
"body": {
"RoleAssignment": {
"source": "af6edd7f-19b5-426c-a43d-18c7508f8023",
"target": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9"
}
}
},
"9b034b17-20b0-4a80-834b-6e95c39e44ca": {
"id": "9b034b17-20b0-4a80-834b-6e95c39e44ca",
"alias": "initialize_reporting",
"name": "Initialize reporting",
"description": "",
"body": {
"StateTransition": {
"source": "9c46cd19-0c19-4c37-bf15-ec2bb782094d",
"target": "909668ee-4291-4f30-8f6c-565dd546262e",
"transition_kind": "External",
"triggers": [],
"effects": [],
"trigger": "",
"guard": "",
"effect": ""
}
}
},
"9d7d564e-29d1-437d-a02e-64c7332ba923": {
"id": "9d7d564e-29d1-437d-a02e-64c7332ba923",
"alias": "mission_capability",
"name": "Mission capability",
"description": "",
"body": {
"MissionCapability": {
"source": "113259b9-e7b6-4bff-9a63-846961e96923",
"target": "5e818ac8-4aa7-46b3-8751-7984a0389194"
}
}
},
"ac58b68c-ea57-4782-9ef4-579e200c71c7": {
"id": "ac58b68c-ea57-4782-9ef4-579e200c71c7",
"alias": "assessment_in_degraded_mode",
"name": "Assessment in degraded mode",
"description": "",
"body": {
"Availability": {
"source": "8757bd90-5dde-415f-8a89-8a288fd05694",
"target": "5a845f98-431b-41a4-9607-916ffadd3da7"
}
}
},
"b2cfa28b-6d15-4464-b702-de157fd55be4": {
"id": "b2cfa28b-6d15-4464-b702-de157fd55be4",
"alias": "reports_distress",
"name": "Reports distress",
"description": "",
"body": {
"Allocation": {
"source": "2c5594c8-f26f-4b09-9a2e-0cf62b713384",
"target": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e"
}
}
},
"b79dccb4-d9b5-455c-b0b1-511d9feaf5dd": {
"id": "b79dccb4-d9b5-455c-b0b1-511d9feaf5dd",
"alias": "vessel_transmission",
"name": "Vessel transmission",
"description": "",
"body": {
"Allocation": {
"source": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"target": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1"
}
}
},
"c852c984-7dac-403f-902e-d77ad192274f": {
"id": "c852c984-7dac-403f-902e-d77ad192274f",
"alias": "system_input_represents_assessment_input",
"name": "System input represents assessment input",
"description": "",
"body": {
"PortAllocation": {
"source": "380b840a-1443-4c47-8c11-d0fd067e2154",
"target": "7c4ff89b-1988-4634-a20f-a664d65079fa"
}
}
},
"c8f068e3-c515-4808-8778-3caea3fd41b2": {
"id": "c8f068e3-c515-4808-8778-3caea3fd41b2",
"alias": "vessel_output_represents_report_output",
"name": "Vessel output represents report output",
"description": "",
"body": {
"PortAllocation": {
"source": "78c16282-535f-4574-ad94-fefcd72f731d",
"target": "66b2f0ca-c6d1-4ee4-b96e-1f4e90096851"
}
}
},
"d07e6595-fa9f-4d5a-9a81-232efef13543": {
"id": "d07e6595-fa9f-4d5a-9a81-232efef13543",
"alias": "distress_reporting_connection",
"name": "Distress reporting connection",
"description": "",
"body": {
"BoundaryExchange": {
"source": "78c16282-535f-4574-ad94-fefcd72f731d",
"target": "380b840a-1443-4c47-8c11-d0fd067e2154",
"oriented": true,
"items": [
"152b3502-d8f2-41cf-91f6-223e82c64fcf"
]
}
}
},
"e60368d9-0c40-4a87-b35f-013d94769c75": {
"id": "e60368d9-0c40-4a87-b35f-013d94769c75",
"alias": "system_capability_support",
"name": "System capability support",
"description": "",
"body": {
"CapabilityInvolvement": {
"source": "8757bd90-5dde-415f-8a89-8a288fd05694",
"target": "5e818ac8-4aa7-46b3-8751-7984a0389194"
}
}
},
"e8d7de52-aee7-4e64-b199-7ede071f1768": {
"id": "e8d7de52-aee7-4e64-b199-7ede071f1768",
"alias": "review_on_degraded_entry",
"name": "Review on degraded entry",
"description": "",
"body": {
"StateAction": {
"source": "5a845f98-431b-41a4-9607-916ffadd3da7",
"target": "8757bd90-5dde-415f-8a89-8a288fd05694",
"phase": "Entry"
}
}
},
"f04b7764-bb00-43b2-830c-a16779160ac8": {
"id": "f04b7764-bb00-43b2-830c-a16779160ac8",
"alias": "report_carried_by_connection",
"name": "Report carried by connection",
"description": "",
"body": {
"ExchangeAllocation": {
"source": "d07e6595-fa9f-4d5a-9a81-232efef13543",
"target": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421"
}
}
}
},
"diagrams": {
"487c064d-df33-45f2-b4b7-6dd68d7b601f": {
"id": "487c064d-df33-45f2-b4b7-6dd68d7b601f",
"alias": "oa_activity_dataflow",
"name": "OA activity dataflow",
"description": "A focused projection of the shared engineering model.",
"layer": "Oa",
"projection": "FunctionalDataflow",
"nodes": {
"0af393eb-a113-45ec-b179-8b1e6f907c52": {
"id": "0af393eb-a113-45ec-b179-8b1e6f907c52",
"alias": "view_respond_to_distress",
"element": "8bc4aa00-0c47-400d-8c65-6d0487e4f396",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 292.0
},
"collapsed": false
},
"4a3bb9d8-535e-40a8-83d3-26f7dc399e9b": {
"id": "4a3bb9d8-535e-40a8-83d3-26f7dc399e9b",
"alias": "view_report_distress_4a3bb9d8",
"element": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e",
"position": {
"x": 84.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"70b7c633-a707-40b8-9f4b-4baa6cf024aa": {
"id": "70b7c633-a707-40b8-9f4b-4baa6cf024aa",
"alias": "view_assess_incident_70b7c633",
"element": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"position": {
"x": 84.0,
"y": 234.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
}
}
},
"69cf1cb5-0fb5-48ab-8fe9-80fdc98f69d0": {
"id": "69cf1cb5-0fb5-48ab-8fe9-80fdc98f69d0",
"alias": "oa_capabilities_and_participants",
"name": "OA capabilities and participants",
"description": "A focused projection of the shared engineering model.",
"layer": "Oa",
"projection": "Capabilities",
"nodes": {
"4ce969de-e06e-4ec8-843b-f85c833cba6b": {
"id": "4ce969de-e06e-4ec8-843b-f85c833cba6b",
"alias": "view_incident_coordinator",
"element": "af6edd7f-19b5-426c-a43d-18c7508f8023",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"92b08d7b-a167-4dde-ab4e-9321f58b9a08": {
"id": "92b08d7b-a167-4dde-ab4e-9321f58b9a08",
"alias": "view_vessel_in_distress_92b08d7b",
"element": "2c5594c8-f26f-4b09-9a2e-0cf62b713384",
"position": {
"x": 1452.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"a09e1461-cb35-423e-b992-4a7a12b9a6f0": {
"id": "a09e1461-cb35-423e-b992-4a7a12b9a6f0",
"alias": "view_protect_life_at_sea",
"element": "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d",
"position": {
"x": 524.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"a63f11cd-ce82-4351-b233-1411f018c905": {
"id": "a63f11cd-ce82-4351-b233-1411f018c905",
"alias": "view_rescue_coordination_a63f11cd",
"element": "c0046ffd-908b-46a4-a694-f481b823695c",
"position": {
"x": 988.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
}
}
},
"c7bb132a-9407-4ceb-8251-e167a569238a": {
"id": "c7bb132a-9407-4ceb-8251-e167a569238a",
"alias": "sa_missions_and_capabilities",
"name": "SA missions and capabilities",
"description": "A focused projection of the shared engineering model.",
"layer": "Sa",
"projection": "Capabilities",
"nodes": {
"8352e9eb-3252-49cf-8317-3cd969589075": {
"id": "8352e9eb-3252-49cf-8317-3cd969589075",
"alias": "view_coordinate_rescue_response",
"element": "5e818ac8-4aa7-46b3-8751-7984a0389194",
"position": {
"x": 988.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"9fb6fb1c-0cfb-44b5-ac56-cf017545df38": {
"id": "9fb6fb1c-0cfb-44b5-ac56-cf017545df38",
"alias": "view_rescue_coordination_system_9fb6fb1c",
"element": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"af957562-e053-4a07-8bca-54df5f7768ce": {
"id": "af957562-e053-4a07-8bca-54df5f7768ce",
"alias": "view_vessel_communication_service_af957562",
"element": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"position": {
"x": 1452.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"ceec2164-6bb2-4e5d-94ca-18c809acb923": {
"id": "ceec2164-6bb2-4e5d-94ca-18c809acb923",
"alias": "view_support_timely_rescue_decisions",
"element": "113259b9-e7b6-4bff-9a63-846961e96923",
"position": {
"x": 524.0,
"y": 60.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
}
}
},
"e3bd09b9-73c7-45ad-8ac4-be579d19a5f8": {
"id": "e3bd09b9-73c7-45ad-8ac4-be579d19a5f8",
"alias": "oa_participants_and_activities",
"name": "OA participants and activities",
"description": "A focused projection of the shared engineering model.",
"layer": "Oa",
"projection": "Allocation",
"nodes": {
"23485451-a296-4f85-a40e-1afd38522116": {
"id": "23485451-a296-4f85-a40e-1afd38522116",
"alias": "view_vessel_in_distress",
"element": "2c5594c8-f26f-4b09-9a2e-0cf62b713384",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 182.0
},
"collapsed": false
},
"359b4876-8e15-4bfa-98b8-a235a610c0a6": {
"id": "359b4876-8e15-4bfa-98b8-a235a610c0a6",
"alias": "view_rescue_coordination",
"element": "c0046ffd-908b-46a4-a694-f481b823695c",
"position": {
"x": 572.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 182.0
},
"collapsed": false
},
"60eca1ee-d26a-428f-a6fc-226d5439490e": {
"id": "60eca1ee-d26a-428f-a6fc-226d5439490e",
"alias": "view_assess_incident",
"element": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"position": {
"x": 596.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
},
"9c571359-2f43-4115-9031-abebd1054cd4": {
"id": "9c571359-2f43-4115-9031-abebd1054cd4",
"alias": "view_report_distress",
"element": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e",
"position": {
"x": 84.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 94.0
},
"collapsed": false
}
}
},
"ede2d670-d535-4d63-b29c-5ac6dc1e5d38": {
"id": "ede2d670-d535-4d63-b29c-5ac6dc1e5d38",
"alias": "sa_functional_decomposition",
"name": "SA functional decomposition",
"description": "A focused projection of the shared engineering model.",
"layer": "Sa",
"projection": "FunctionalDataflow",
"nodes": {
"3b47631b-d5c4-4e26-8c74-463eccdedeb6": {
"id": "3b47631b-d5c4-4e26-8c74-463eccdedeb6",
"alias": "view_classify_incident_and_alert_operator_3b47631b",
"element": "8757bd90-5dde-415f-8a89-8a288fd05694",
"position": {
"x": 84.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"7128f663-9ea4-443e-b1ef-e8b8b36ee357": {
"id": "7128f663-9ea4-443e-b1ef-e8b8b36ee357",
"alias": "view_transmit_distress_report_7128f663",
"element": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"position": {
"x": 84.0,
"y": 272.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"f28401a3-065c-4151-b038-3fe988d31cb0": {
"id": "f28401a3-065c-4151-b038-3fe988d31cb0",
"alias": "view_manage_distress_response",
"element": "65c6e7cf-64b3-4e04-8523-f9a8b5835882",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 368.0
},
"collapsed": false
}
}
},
"fd85af7e-9e83-4d50-99ab-5011e9cc609b": {
"id": "fd85af7e-9e83-4d50-99ab-5011e9cc609b",
"alias": "sa_system_boundary_and_functions",
"name": "SA system boundary and functions",
"description": "A focused projection of the shared engineering model.",
"layer": "Sa",
"projection": "Allocation",
"nodes": {
"6dd484e0-f31e-40d3-aeba-229cb3332f2e": {
"id": "6dd484e0-f31e-40d3-aeba-229cb3332f2e",
"alias": "view_rescue_coordination_system",
"element": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"position": {
"x": 572.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 248.0
},
"collapsed": false
},
"88facd4d-9950-46b0-ac6c-efc1a5cb0596": {
"id": "88facd4d-9950-46b0-ac6c-efc1a5cb0596",
"alias": "view_transmit_distress_report",
"element": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"position": {
"x": 84.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"c70e2312-de7a-4b39-b338-4820118639b1": {
"id": "c70e2312-de7a-4b39-b338-4820118639b1",
"alias": "view_classify_incident_and_alert_operator",
"element": "8757bd90-5dde-415f-8a89-8a288fd05694",
"position": {
"x": 596.0,
"y": 124.0
},
"size": {
"width": 224.0,
"height": 132.0
},
"collapsed": false
},
"f37c26f3-e3d9-4331-adea-a90fb23fd296": {
"id": "f37c26f3-e3d9-4331-adea-a90fb23fd296",
"alias": "view_vessel_communication_service",
"element": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"position": {
"x": 60.0,
"y": 60.0
},
"size": {
"width": 272.0,
"height": 248.0
},
"collapsed": false
}
}
}
},
"artifact_links": {
"32768571-ed20-4b8a-b34d-8412d18c0e61": {
"id": "32768571-ed20-4b8a-b34d-8412d18c0e61",
"alias": "console_enclosure_cad",
"name": "Console enclosure CAD",
"description": "Illustrative external engineering reference; opening a model does not fetch it.",
"owner": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"relation": "References",
"uri": "cad://rescue-console/enclosure.step",
"revision": "B.3",
"fragment": null
},
"d775a2d5-7155-41e1-a879-4b032fc3873d": {
"id": "d775a2d5-7155-41e1-a879-4b032fc3873d",
"alias": "response_implementation",
"name": "Response implementation",
"description": "Illustrative external engineering reference; opening a model does not fetch it.",
"owner": "8757bd90-5dde-415f-8a89-8a288fd05694",
"relation": "Implements",
"uri": "git+https://example.org/rescue/control?path=src/response.rs",
"revision": "design-v2",
"fragment": null
}
},
"traces": {
"612d3954-68ea-4387-b273-eba7a434702f": {
"id": "612d3954-68ea-4387-b273-eba7a434702f",
"alias": "trace_assess_incident",
"name": "Assess incident ↔ Classify incident and alert operator",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "ce7acfdb-54a8-4b42-ba74-3abce196e8a9",
"sa": "8757bd90-5dde-415f-8a89-8a288fd05694",
"kind": "Refinement",
"baseline": {
"oa": {
"name": "Assess incident",
"description": ""
},
"sa": {
"name": "Classify incident and alert operator",
"description": ""
}
}
},
"6479420f-5fff-4ee5-84b6-7cfba97eb123": {
"id": "6479420f-5fff-4ee5-84b6-7cfba97eb123",
"alias": "trace_distress_signal",
"name": "Distress signal ↔ Validated distress report",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "16e0673c-5a65-42db-af3b-58679227029f",
"sa": "74df7f1b-4d3e-4bc9-8f53-012e5fe1d421",
"kind": "Exchange",
"baseline": {
"oa": {
"name": "Distress signal",
"description": ""
},
"sa": {
"name": "Validated distress report",
"description": ""
}
}
},
"6e6670d9-de55-4f69-be58-796520cb5dd2": {
"id": "6e6670d9-de55-4f69-be58-796520cb5dd2",
"alias": "trace_protect_life_at_sea",
"name": "Protect life at sea ↔ Coordinate rescue response",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "6a6d1b0b-aaa8-4ca6-a580-e222a63d2c1d",
"sa": "5e818ac8-4aa7-46b3-8751-7984a0389194",
"kind": "Capability",
"baseline": {
"oa": {
"name": "Protect life at sea",
"description": ""
},
"sa": {
"name": "Coordinate rescue response",
"description": ""
}
}
},
"885a2219-d579-4200-b596-7424a167051e": {
"id": "885a2219-d579-4200-b596-7424a167051e",
"alias": "trace_rescue_coordination",
"name": "Rescue coordination ↔ Rescue coordination system",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "c0046ffd-908b-46a4-a694-f481b823695c",
"sa": "cab2cdd9-7092-400f-8057-2e38a721c2c1",
"kind": "Participant",
"baseline": {
"oa": {
"name": "Rescue coordination",
"description": ""
},
"sa": {
"name": "Rescue coordination system",
"description": ""
}
}
},
"90d8074f-ab93-4342-8f93-31b884f3f1c5": {
"id": "90d8074f-ab93-4342-8f93-31b884f3f1c5",
"alias": "trace_vessel_in_distress",
"name": "Vessel in distress ↔ Vessel communication service",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "2c5594c8-f26f-4b09-9a2e-0cf62b713384",
"sa": "e306fcc7-c700-41db-9aba-ca07de0aa127",
"kind": "Participant",
"baseline": {
"oa": {
"name": "Vessel in distress",
"description": ""
},
"sa": {
"name": "Vessel communication service",
"description": ""
}
}
},
"94611a1e-eac8-4f4b-9b69-7693988dc873": {
"id": "94611a1e-eac8-4f4b-9b69-7693988dc873",
"alias": "trace_distress_report",
"name": "Distress report ↔ Digital distress report",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "86c6a437-5af6-4ff8-b330-afeae686059f",
"sa": "152b3502-d8f2-41cf-91f6-223e82c64fcf",
"kind": "Item",
"baseline": {
"oa": {
"name": "Distress report",
"description": ""
},
"sa": {
"name": "Digital distress report",
"description": ""
}
}
},
"d80aa045-e43f-4219-9119-5781033755df": {
"id": "d80aa045-e43f-4219-9119-5781033755df",
"alias": "trace_report_distress",
"name": "Report distress ↔ Transmit distress report",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "54fbd34c-3ca3-47c6-a96d-6c889d73b70e",
"sa": "0c9c3870-bf68-461f-8b3a-b568b0e34ac1",
"kind": "Refinement",
"baseline": {
"oa": {
"name": "Report distress",
"description": ""
},
"sa": {
"name": "Transmit distress report",
"description": ""
}
}
},
"dd807576-afec-497a-bc9d-3e7556108408": {
"id": "dd807576-afec-497a-bc9d-3e7556108408",
"alias": "trace_respond_to_distress",
"name": "Respond to distress ↔ Manage distress response",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "8bc4aa00-0c47-400d-8c65-6d0487e4f396",
"sa": "65c6e7cf-64b3-4e04-8523-f9a8b5835882",
"kind": "Refinement",
"baseline": {
"oa": {
"name": "Respond to distress",
"description": ""
},
"sa": {
"name": "Manage distress response",
"description": ""
}
}
},
"f7c28b65-b3a5-4fa0-b461-25e323fff823": {
"id": "f7c28b65-b3a5-4fa0-b461-25e323fff823",
"alias": "trace_distress_to_response",
"name": "Distress to response ↔ Digital distress handling",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "c54a6981-1e3e-49a1-9346-f494bfdb4456",
"sa": "420188b6-6bb2-42c4-95b3-38a40147b8fe",
"kind": "Sequence",
"baseline": {
"oa": {
"name": "Distress to response",
"description": ""
},
"sa": {
"name": "Digital distress handling",
"description": ""
}
}
},
"f921e227-78e5-4487-979a-bdc803c89ff4": {
"id": "f921e227-78e5-4487-979a-bdc803c89ff4",
"alias": "trace_distress_received",
"name": "Distress received ↔ Report handled",
"description": "Reviewed OA/SA correspondence in the coastal rescue example.",
"oa": "356877c5-9a9f-497d-868c-ff85d83ceb68",
"sa": "42db911d-7db8-44ae-b3b9-3b9d3db9545c",
"kind": "Scenario",
"baseline": {
"oa": {
"name": "Distress received",
"description": ""
},
"sa": {
"name": "Report handled",
"description": ""
}
}
}
}
}