FRINK Linked Data Fragments server

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

• W1971489504 endingPage "719" @default.
• W1971489504 startingPage "699" @default.
• W1971489504 abstract "In this article we report on the development of a group-communication service using the formal specification language LOTOS, and present our experience in using publicly available tools for this purpose. The service implements atomic broadcast through a Two-Phase-Commit protocol, providing at-least-once delivery semantics and with no restriction on message delivery order. First we wrote an informal specification describing the desired properties from the service, the interfaces with the underlying network layer and the upper user layer, and the protocol to be used by the service. Then we developed the formal specification of the protocol in LOTOS. After validating the formal specification and thus having a certain confidence in its adequacy with respect to the informal specification, we derived test cases from the formal specification and implemented the service using the Concert/C distributed programming language. While testing the implementation, we found that most errors were related to unspecified features or bugs in the execution environment. From this experience, we draw our conclusions on the usefulness of software development based on formal techniques. Copyright © 1999 John Wiley & Sons, Ltd." @default.
• W1971489504 created "2016-06-24" @default.
• W1971489504 creator A5065765043 @default.
• W1971489504 creator A5067647847 @default.
• W1971489504 creator A5083041829 @default.
• W1971489504 date "1999-07-10" @default.
• W1971489504 modified "2023-09-30" @default.
• W1971489504 title "Development of an atomic‐broadcast protocol using LOTOS" @default.
• W1971489504 cites W120333500 @default.
• W1971489504 cites W1497957166 @default.
• W1971489504 cites W1521083034 @default.
• W1971489504 cites W1527688737 @default.
• W1971489504 cites W1607013299 @default.
• W1971489504 cites W1811389444 @default.
• W1971489504 cites W1884778945 @default.
• W1971489504 cites W1963615255 @default.
• W1971489504 cites W1965674893 @default.
• W1971489504 cites W1971170838 @default.
• W1971489504 cites W1981928839 @default.
• W1971489504 cites W1997662655 @default.
• W1971489504 cites W2008697553 @default.
• W1971489504 cites W2034874525 @default.
• W1971489504 cites W2057623054 @default.
• W1971489504 cites W2072730741 @default.
• W1971489504 cites W2106035061 @default.
• W1971489504 cites W2108394166 @default.
• W1971489504 cites W2168346544 @default.
• W1971489504 cites W2168380557 @default.
• W1971489504 cites W2621047645 @default.
• W1971489504 doi "https://doi.org/10.1002/(sici)1097-024x(19990710)29:8<699::aid-spe255>3.3.co;2-6" @default.
• W1971489504 hasPublicationYear "1999" @default.
• W1971489504 type Work @default.
• W1971489504 sameAs 1971489504 @default.
• W1971489504 citedByCount "4" @default.
• W1971489504 crossrefType "journal-article" @default.
• W1971489504 hasAuthorship W1971489504A5065765043 @default.
• W1971489504 hasAuthorship W1971489504A5067647847 @default.
• W1971489504 hasAuthorship W1971489504A5083041829 @default.
• W1971489504 hasConcept C111919701 @default.
• W1971489504 hasConcept C115903868 @default.
• W1971489504 hasConcept C116253237 @default.
• W1971489504 hasConcept C119263510 @default.
• W1971489504 hasConcept C12269588 @default.
• W1971489504 hasConcept C136264566 @default.
• W1971489504 hasConcept C142724271 @default.
• W1971489504 hasConcept C15077461 @default.
• W1971489504 hasConcept C153180980 @default.
• W1971489504 hasConcept C162324750 @default.
• W1971489504 hasConcept C184337299 @default.
• W1971489504 hasConcept C199360897 @default.
• W1971489504 hasConcept C201677973 @default.
• W1971489504 hasConcept C204787440 @default.
• W1971489504 hasConcept C2780378061 @default.
• W1971489504 hasConcept C2780385302 @default.
• W1971489504 hasConcept C2985583900 @default.
• W1971489504 hasConcept C34165917 @default.
• W1971489504 hasConcept C41008148 @default.
• W1971489504 hasConcept C50033165 @default.
• W1971489504 hasConcept C71924100 @default.
• W1971489504 hasConcept C75606506 @default.
• W1971489504 hasConcept C77088390 @default.
• W1971489504 hasConcept C90069079 @default.
• W1971489504 hasConceptScore W1971489504C111919701 @default.
• W1971489504 hasConceptScore W1971489504C115903868 @default.
• W1971489504 hasConceptScore W1971489504C116253237 @default.
• W1971489504 hasConceptScore W1971489504C119263510 @default.
• W1971489504 hasConceptScore W1971489504C12269588 @default.
• W1971489504 hasConceptScore W1971489504C136264566 @default.
• W1971489504 hasConceptScore W1971489504C142724271 @default.
• W1971489504 hasConceptScore W1971489504C15077461 @default.
• W1971489504 hasConceptScore W1971489504C153180980 @default.
• W1971489504 hasConceptScore W1971489504C162324750 @default.
• W1971489504 hasConceptScore W1971489504C184337299 @default.
• W1971489504 hasConceptScore W1971489504C199360897 @default.
• W1971489504 hasConceptScore W1971489504C201677973 @default.
• W1971489504 hasConceptScore W1971489504C204787440 @default.
• W1971489504 hasConceptScore W1971489504C2780378061 @default.
• W1971489504 hasConceptScore W1971489504C2780385302 @default.
• W1971489504 hasConceptScore W1971489504C2985583900 @default.
• W1971489504 hasConceptScore W1971489504C34165917 @default.
• W1971489504 hasConceptScore W1971489504C41008148 @default.
• W1971489504 hasConceptScore W1971489504C50033165 @default.
• W1971489504 hasConceptScore W1971489504C71924100 @default.
• W1971489504 hasConceptScore W1971489504C75606506 @default.
• W1971489504 hasConceptScore W1971489504C77088390 @default.
• W1971489504 hasConceptScore W1971489504C90069079 @default.
• W1971489504 hasIssue "8" @default.
• W1971489504 hasLocation W19714895041 @default.
• W1971489504 hasOpenAccess W1971489504 @default.
• W1971489504 hasPrimaryLocation W19714895041 @default.
• W1971489504 hasRelatedWork W1513140821 @default.
• W1971489504 hasRelatedWork W1536552036 @default.
• W1971489504 hasRelatedWork W1742760325 @default.
• W1971489504 hasRelatedWork W1928894703 @default.
• W1971489504 hasRelatedWork W2156223462 @default.
• W1971489504 hasRelatedWork W2160119094 @default.
• W1971489504 hasRelatedWork W2368560475 @default.
• W1971489504 hasRelatedWork W2898425611 @default.

• next