Matches in SemOpenAlex for { <https://semopenalex.org/work/W2943346267> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2943346267 abstract "Abstract SDL is an industrial standard formal description technique for telecommunication systems. Despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real-time aspects. Timed Rewriting Logic (TRL) is a new variant of Rewriting Logic, an algebraic formalism which allows the dynamic behaviour of systems to be axiomatised using rewrite rules. In TRL rewrite rules can be labelled with time constraints and this provides a means of reasoning about time elapse in real-time systems. TRL has been used to develop an object-oriented specification language Timed Maude for distributed real-time systems. In this paper we demonstrate the expressive power and versatility of Timed Maude by applying it to the definition of a formal semantics for SDL. The semantics we develop captures in an intuitive way the hierarchical structure of SDL specifications and integrates within one formalism the static and dynamic aspects of an SDL system. We demonstrate and motivate the semantics we develop by considering in detail a case study of the bench mark alternating bit protocol. It is a pleasure to thank U. Hinkel, K. Meinke and M. Wirsing for their helpful comments and advice during the preparation of this paper. We also gratefully acknowledge the financial support of the British Council and DAAD which has made this collaborative work possible." @default.
- W2943346267 created "2019-05-09" @default.
- W2943346267 creator A5007486465 @default.
- W2943346267 creator A5047939299 @default.
- W2943346267 date "1998-01-01" @default.
- W2943346267 modified "2023-09-26" @default.
- W2943346267 title "A Timed Rewriting Logic Semantics for SDL: A Case Study of the Alternating Bit Protocol" @default.
- W2943346267 hasPublicationYear "1998" @default.
- W2943346267 type Work @default.
- W2943346267 sameAs 2943346267 @default.
- W2943346267 citedByCount "0" @default.
- W2943346267 crossrefType "journal-article" @default.
- W2943346267 hasAuthorship W2943346267A5007486465 @default.
- W2943346267 hasAuthorship W2943346267A5047939299 @default.
- W2943346267 hasConcept C116253237 @default.
- W2943346267 hasConcept C142362112 @default.
- W2943346267 hasConcept C146499914 @default.
- W2943346267 hasConcept C153349607 @default.
- W2943346267 hasConcept C154690210 @default.
- W2943346267 hasConcept C156325763 @default.
- W2943346267 hasConcept C184337299 @default.
- W2943346267 hasConcept C199360897 @default.
- W2943346267 hasConcept C25016198 @default.
- W2943346267 hasConcept C41008148 @default.
- W2943346267 hasConcept C558565934 @default.
- W2943346267 hasConcept C73301696 @default.
- W2943346267 hasConcept C80444323 @default.
- W2943346267 hasConceptScore W2943346267C116253237 @default.
- W2943346267 hasConceptScore W2943346267C142362112 @default.
- W2943346267 hasConceptScore W2943346267C146499914 @default.
- W2943346267 hasConceptScore W2943346267C153349607 @default.
- W2943346267 hasConceptScore W2943346267C154690210 @default.
- W2943346267 hasConceptScore W2943346267C156325763 @default.
- W2943346267 hasConceptScore W2943346267C184337299 @default.
- W2943346267 hasConceptScore W2943346267C199360897 @default.
- W2943346267 hasConceptScore W2943346267C25016198 @default.
- W2943346267 hasConceptScore W2943346267C41008148 @default.
- W2943346267 hasConceptScore W2943346267C558565934 @default.
- W2943346267 hasConceptScore W2943346267C73301696 @default.
- W2943346267 hasConceptScore W2943346267C80444323 @default.
- W2943346267 hasLocation W29433462671 @default.
- W2943346267 hasOpenAccess W2943346267 @default.
- W2943346267 hasPrimaryLocation W29433462671 @default.
- W2943346267 hasRelatedWork W137260420 @default.
- W2943346267 hasRelatedWork W1560300944 @default.
- W2943346267 hasRelatedWork W1586432163 @default.
- W2943346267 hasRelatedWork W1587138807 @default.
- W2943346267 hasRelatedWork W1600421246 @default.
- W2943346267 hasRelatedWork W1914115695 @default.
- W2943346267 hasRelatedWork W1976985409 @default.
- W2943346267 hasRelatedWork W1981466053 @default.
- W2943346267 hasRelatedWork W1990687394 @default.
- W2943346267 hasRelatedWork W2030762481 @default.
- W2943346267 hasRelatedWork W2053342841 @default.
- W2943346267 hasRelatedWork W2257434262 @default.
- W2943346267 hasRelatedWork W2362341649 @default.
- W2943346267 hasRelatedWork W2370372098 @default.
- W2943346267 hasRelatedWork W2485291334 @default.
- W2943346267 hasRelatedWork W2601426915 @default.
- W2943346267 hasRelatedWork W2762699636 @default.
- W2943346267 hasRelatedWork W3150067715 @default.
- W2943346267 hasRelatedWork W1744983872 @default.
- W2943346267 hasRelatedWork W2049295871 @default.
- W2943346267 isParatext "false" @default.
- W2943346267 isRetracted "false" @default.
- W2943346267 magId "2943346267" @default.
- W2943346267 workType "article" @default.