FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2175052017> ?p ?o ?g. }

• W2175052017 endingPage "492" @default.
• W2175052017 startingPage "477" @default.
• W2175052017 abstract "Protocol entities, in communication protocols, behave under sets of communication rules (protocols). Thus, it is desirable to concentrate on the design of one protocol entity and generate the corresponding protocol entity automatically by exploiting the communication rules. A protocol is desired to be formal, precise and unambiguous, in other words, it is described using FDTs (Formal Description Techniques). In this paper, we propose a protocol synthesis algorithm in which a peer protocol entity is generated from a single given entity. Unlike previous works, where FSMs (Finite State Machines) were used to synthesize partial protocols, we use LOTOS, which is one of FDTs developed by ISO, in our proposed synthesis algorithm. We prove that the resultant protocol consisting of the given entity and the generated peer entity is logical errors free, collectively represented as deadlock free, if the given entity is in certain forms which are natural in the context of communication protocols. We also present that the protocol is bisimulated by both the given entity and the peer entity to show that the protocol maintains the behaviours of the entities." @default.
• W2175052017 created "2016-06-24" @default.
• W2175052017 creator A5003838762 @default.
• W2175052017 creator A5012666377 @default.
• W2175052017 creator A5031301229 @default.
• W2175052017 creator A5040337456 @default.
• W2175052017 date "1994-01-01" @default.
• W2175052017 modified "2023-09-24" @default.
• W2175052017 title "A synthesis algorithm of a protocol model from a single entity." @default.
• W2175052017 hasPublicationYear "1994" @default.
• W2175052017 type Work @default.
• W2175052017 sameAs 2175052017 @default.
• W2175052017 citedByCount "2" @default.
• W2175052017 crossrefType "proceedings-article" @default.
• W2175052017 hasAuthorship W2175052017A5003838762 @default.
• W2175052017 hasAuthorship W2175052017A5012666377 @default.
• W2175052017 hasAuthorship W2175052017A5031301229 @default.
• W2175052017 hasAuthorship W2175052017A5040337456 @default.
• W2175052017 hasConcept C110875604 @default.
• W2175052017 hasConcept C11413529 @default.
• W2175052017 hasConcept C120314980 @default.
• W2175052017 hasConcept C12269588 @default.
• W2175052017 hasConcept C134306372 @default.
• W2175052017 hasConcept C136764020 @default.
• W2175052017 hasConcept C142724271 @default.
• W2175052017 hasConcept C151730666 @default.
• W2175052017 hasConcept C159023740 @default.
• W2175052017 hasConcept C162571340 @default.
• W2175052017 hasConcept C165751822 @default.
• W2175052017 hasConcept C167822520 @default.
• W2175052017 hasConcept C178489894 @default.
• W2175052017 hasConcept C204787440 @default.
• W2175052017 hasConcept C20636137 @default.
• W2175052017 hasConcept C2779343474 @default.
• W2175052017 hasConcept C2780385302 @default.
• W2175052017 hasConcept C31258907 @default.
• W2175052017 hasConcept C33884865 @default.
• W2175052017 hasConcept C33923547 @default.
• W2175052017 hasConcept C41008148 @default.
• W2175052017 hasConcept C65567647 @default.
• W2175052017 hasConcept C71065454 @default.
• W2175052017 hasConcept C71924100 @default.
• W2175052017 hasConcept C75114861 @default.
• W2175052017 hasConcept C77618280 @default.
• W2175052017 hasConcept C80444323 @default.
• W2175052017 hasConcept C86803240 @default.
• W2175052017 hasConceptScore W2175052017C110875604 @default.
• W2175052017 hasConceptScore W2175052017C11413529 @default.
• W2175052017 hasConceptScore W2175052017C120314980 @default.
• W2175052017 hasConceptScore W2175052017C12269588 @default.
• W2175052017 hasConceptScore W2175052017C134306372 @default.
• W2175052017 hasConceptScore W2175052017C136764020 @default.
• W2175052017 hasConceptScore W2175052017C142724271 @default.
• W2175052017 hasConceptScore W2175052017C151730666 @default.
• W2175052017 hasConceptScore W2175052017C159023740 @default.
• W2175052017 hasConceptScore W2175052017C162571340 @default.
• W2175052017 hasConceptScore W2175052017C165751822 @default.
• W2175052017 hasConceptScore W2175052017C167822520 @default.
• W2175052017 hasConceptScore W2175052017C178489894 @default.
• W2175052017 hasConceptScore W2175052017C204787440 @default.
• W2175052017 hasConceptScore W2175052017C20636137 @default.
• W2175052017 hasConceptScore W2175052017C2779343474 @default.
• W2175052017 hasConceptScore W2175052017C2780385302 @default.
• W2175052017 hasConceptScore W2175052017C31258907 @default.
• W2175052017 hasConceptScore W2175052017C33884865 @default.
• W2175052017 hasConceptScore W2175052017C33923547 @default.
• W2175052017 hasConceptScore W2175052017C41008148 @default.
• W2175052017 hasConceptScore W2175052017C65567647 @default.
• W2175052017 hasConceptScore W2175052017C71065454 @default.
• W2175052017 hasConceptScore W2175052017C71924100 @default.
• W2175052017 hasConceptScore W2175052017C75114861 @default.
• W2175052017 hasConceptScore W2175052017C77618280 @default.
• W2175052017 hasConceptScore W2175052017C80444323 @default.
• W2175052017 hasConceptScore W2175052017C86803240 @default.
• W2175052017 hasLocation W21750520171 @default.
• W2175052017 hasOpenAccess W2175052017 @default.
• W2175052017 hasPrimaryLocation W21750520171 @default.
• W2175052017 hasRelatedWork W1504936684 @default.
• W2175052017 hasRelatedWork W1536825944 @default.
• W2175052017 hasRelatedWork W1610459404 @default.
• W2175052017 hasRelatedWork W1838988840 @default.
• W2175052017 hasRelatedWork W1965164474 @default.
• W2175052017 hasRelatedWork W2016659602 @default.
• W2175052017 hasRelatedWork W2022127857 @default.
• W2175052017 hasRelatedWork W2070568863 @default.
• W2175052017 hasRelatedWork W2114694102 @default.
• W2175052017 hasRelatedWork W2137203882 @default.
• W2175052017 hasRelatedWork W2161340306 @default.
• W2175052017 hasRelatedWork W2163429719 @default.
• W2175052017 hasRelatedWork W2165537350 @default.
• W2175052017 hasRelatedWork W2350708904 @default.
• W2175052017 hasRelatedWork W2478258669 @default.
• W2175052017 hasRelatedWork W2492825885 @default.
• W2175052017 hasRelatedWork W2985357924 @default.
• W2175052017 hasRelatedWork W78755002 @default.
• W2175052017 hasRelatedWork W2186445728 @default.
• W2175052017 hasRelatedWork W3089476791 @default.
• W2175052017 isParatext "false" @default.

• next