Matches in SemOpenAlex for { <https://semopenalex.org/work/W1994718886> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1994718886 abstract "Abstract In any computer system it is valuable to have methods for enforcing expected behaviour at runtime. (Capabilities and object-oriented architectures are mechanisms commonly used to address the problem.) In a message-switched system, all inter-process communication is done by the transmission of messages, and the problem of enforcing expected behaviour can be reduced to the problem of enforcing expected patterns of message transmission. In this paper we give a method, called the Task Graph Language, for expressing expected patterns (policy) of message transmission. Such an expression is quite independent of the actual programs which pass messages, and can be used at runtime to check the validity of observed behaviour. The mechanism we provide to perform the runtime checking of observed vs. expected behaviour is called Token Lists. This mechanism requires no esoteric hardware support and it can be used in both distributed and centralized systems. From another perspective, the user is provided with two independent, hence mutually redundant, ways to express his intent (the programs which pass messages and the Task Graph Language description), and the two expressions of intent are compared or matched at runtime as a checking mechanism. From still another perspective, the Task Graph Language and Token Lists permit a centralized representation of distributed control." @default.
- W1994718886 created "2016-06-24" @default.
- W1994718886 creator A5066482118 @default.
- W1994718886 creator A5086532464 @default.
- W1994718886 date "1983-08-01" @default.
- W1994718886 modified "2023-09-27" @default.
- W1994718886 title "Protection and synchronisation in a message-switched system" @default.
- W1994718886 cites W1502515215 @default.
- W1994718886 cites W1546981056 @default.
- W1994718886 cites W1972182264 @default.
- W1994718886 cites W2004559305 @default.
- W1994718886 cites W2014617929 @default.
- W1994718886 cites W2024074683 @default.
- W1994718886 cites W2044951665 @default.
- W1994718886 cites W2089867526 @default.
- W1994718886 cites W2097012771 @default.
- W1994718886 cites W2106879254 @default.
- W1994718886 cites W2110425399 @default.
- W1994718886 cites W2113350481 @default.
- W1994718886 cites W2119360641 @default.
- W1994718886 cites W2141154902 @default.
- W1994718886 cites W2151046831 @default.
- W1994718886 cites W2153005994 @default.
- W1994718886 cites W2164550874 @default.
- W1994718886 cites W2225570703 @default.
- W1994718886 cites W3137220996 @default.
- W1994718886 cites W3144368627 @default.
- W1994718886 cites W327049812 @default.
- W1994718886 doi "https://doi.org/10.1016/0376-5075(83)90017-x" @default.
- W1994718886 hasPublicationYear "1983" @default.
- W1994718886 type Work @default.
- W1994718886 sameAs 1994718886 @default.
- W1994718886 citedByCount "0" @default.
- W1994718886 crossrefType "journal-article" @default.
- W1994718886 hasAuthorship W1994718886A5066482118 @default.
- W1994718886 hasAuthorship W1994718886A5086532464 @default.
- W1994718886 hasConcept C120314980 @default.
- W1994718886 hasConcept C132525143 @default.
- W1994718886 hasConcept C162324750 @default.
- W1994718886 hasConcept C187736073 @default.
- W1994718886 hasConcept C2780451532 @default.
- W1994718886 hasConcept C31258907 @default.
- W1994718886 hasConcept C41008148 @default.
- W1994718886 hasConcept C48145219 @default.
- W1994718886 hasConcept C80444323 @default.
- W1994718886 hasConcept C854659 @default.
- W1994718886 hasConceptScore W1994718886C120314980 @default.
- W1994718886 hasConceptScore W1994718886C132525143 @default.
- W1994718886 hasConceptScore W1994718886C162324750 @default.
- W1994718886 hasConceptScore W1994718886C187736073 @default.
- W1994718886 hasConceptScore W1994718886C2780451532 @default.
- W1994718886 hasConceptScore W1994718886C31258907 @default.
- W1994718886 hasConceptScore W1994718886C41008148 @default.
- W1994718886 hasConceptScore W1994718886C48145219 @default.
- W1994718886 hasConceptScore W1994718886C80444323 @default.
- W1994718886 hasConceptScore W1994718886C854659 @default.
- W1994718886 hasLocation W19947188861 @default.
- W1994718886 hasOpenAccess W1994718886 @default.
- W1994718886 hasPrimaryLocation W19947188861 @default.
- W1994718886 hasRelatedWork W1568547366 @default.
- W1994718886 hasRelatedWork W1597226492 @default.
- W1994718886 hasRelatedWork W1861696166 @default.
- W1994718886 hasRelatedWork W2100753726 @default.
- W1994718886 hasRelatedWork W2108142202 @default.
- W1994718886 hasRelatedWork W2136962895 @default.
- W1994718886 hasRelatedWork W2147040730 @default.
- W1994718886 hasRelatedWork W2162246783 @default.
- W1994718886 hasRelatedWork W2167826063 @default.
- W1994718886 hasRelatedWork W2181687669 @default.
- W1994718886 hasRelatedWork W2263662313 @default.
- W1994718886 hasRelatedWork W2356074904 @default.
- W1994718886 hasRelatedWork W2387197357 @default.
- W1994718886 hasRelatedWork W2666167811 @default.
- W1994718886 hasRelatedWork W2971516936 @default.
- W1994718886 hasRelatedWork W3124843337 @default.
- W1994718886 hasRelatedWork W3127101836 @default.
- W1994718886 hasRelatedWork W631474198 @default.
- W1994718886 hasRelatedWork W2818059264 @default.
- W1994718886 hasRelatedWork W2962212998 @default.
- W1994718886 isParatext "false" @default.
- W1994718886 isRetracted "false" @default.
- W1994718886 magId "1994718886" @default.
- W1994718886 workType "article" @default.