Annex E (Distributed Systems)
E284617
Annex E (Distributed Systems) is an Ada language annex that defines standardized features for building and managing distributed systems, including partitioning, remote subprogram calls, and inter-partition communication.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Annex E (Distributed Systems) canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T2629511 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Annex E (Distributed Systems) Context triple: [GNAT, supportsStandard, Annex E (Distributed Systems)]
-
A.
Distributed Systems
Distributed Systems is a foundational computer science textbook that explains the principles, architectures, and algorithms used to design and implement distributed computing environments.
-
B.
"Time, Clocks, and the Ordering of Events in a Distributed System"
"Time, Clocks, and the Ordering of Events in a Distributed System" is a seminal 1978 paper that introduced logical clocks and the happened-before relation, fundamentally shaping the theory and practice of distributed computing.
-
C.
IEEE Computer Society Technical Committee on Distributed Processing
The IEEE Computer Society Technical Committee on Distributed Processing is a professional body within the IEEE Computer Society that focuses on advancing research, standards, and community activities in distributed computing systems and related technologies.
-
D.
Paxos consensus algorithm
The Paxos consensus algorithm is a fault-tolerant protocol for achieving agreement among distributed systems, widely used as a foundation for reliable, replicated state machines and modern distributed databases.
-
E.
Distributed Network Protocol
Distributed Network Protocol is a communications protocol widely used in electric and water utilities for reliable, secure, and time-synchronized data exchange between control systems and remote devices.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Annex E (Distributed Systems) Target entity description: Annex E (Distributed Systems) is an Ada language annex that defines standardized features for building and managing distributed systems, including partitioning, remote subprogram calls, and inter-partition communication.
-
A.
Distributed Systems
Distributed Systems is a foundational computer science textbook that explains the principles, architectures, and algorithms used to design and implement distributed computing environments.
-
B.
"Time, Clocks, and the Ordering of Events in a Distributed System"
"Time, Clocks, and the Ordering of Events in a Distributed System" is a seminal 1978 paper that introduced logical clocks and the happened-before relation, fundamentally shaping the theory and practice of distributed computing.
-
C.
IEEE Computer Society Technical Committee on Distributed Processing
The IEEE Computer Society Technical Committee on Distributed Processing is a professional body within the IEEE Computer Society that focuses on advancing research, standards, and community activities in distributed computing systems and related technologies.
-
D.
Paxos consensus algorithm
The Paxos consensus algorithm is a fault-tolerant protocol for achieving agreement among distributed systems, widely used as a foundation for reliable, replicated state machines and modern distributed databases.
-
E.
Distributed Network Protocol
Distributed Network Protocol is a communications protocol widely used in electric and water utilities for reliable, secure, and time-synchronized data exchange between control systems and remote devices.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
Ada language annex
ⓘ
language standard annex ⓘ |
| appliesTo | distributed systems ⓘ |
| constrains |
implementation of remote subprogram calls
ⓘ
initialization of partitions ⓘ representation of remote access types ⓘ termination of partitions ⓘ |
| definesConcept |
RPC (remote procedure call)
ⓘ
RPC-initiator partition ⓘ RPC-receiver partition ⓘ partition ⓘ remote access-to-class-wide types ⓘ remote access-to-subprogram types ⓘ remote types library unit ⓘ shared passive library unit ⓘ |
| definesFeature |
asynchronous remote procedure calls
ⓘ
configuration pragmas for distributed systems ⓘ inter-partition communication ⓘ partition elaboration control ⓘ partitioning ⓘ remote access types ⓘ remote call interface packages ⓘ remote function calls ⓘ remote subprogram calls ⓘ synchronous remote procedure calls ⓘ |
| definesRequirement |
consistency of distributed program library units
ⓘ
elaboration order of partitions ⓘ exception propagation across partitions ⓘ parameter passing for remote calls ⓘ semantic rules for remote calls ⓘ support for distributed program execution ⓘ tasking interaction with remote calls ⓘ |
| focusesOn |
building distributed applications in Ada
ⓘ
managing execution of distributed Ada partitions ⓘ |
| hasGoal |
enable interoperability between Ada partitions
ⓘ
enable portability of distributed Ada applications ⓘ standardize Ada support for distributed systems ⓘ |
| language | Ada ⓘ |
| partOf |
Ada programming language standard
ⓘ
surface form:
Ada language standard
ISO/IEC 8652 ⓘ |
| relatedTo |
Annex D (Real-Time Systems)
ⓘ
Annex H (High Integrity Systems) ⓘ |
| standardizedBy |
International Organization for Standardization
ⓘ
surface form:
ISO
|
| standardNumber | ISO/IEC 8652 ⓘ |
| usedWith |
Ada partitions
ⓘ
distributed Ada applications ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Annex E (Distributed Systems) Description of subject: Annex E (Distributed Systems) is an Ada language annex that defines standardized features for building and managing distributed systems, including partitioning, remote subprogram calls, and inter-partition communication.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.
subject surface form:
GNAT