Matches in SemOpenAlex for { <https://semopenalex.org/work/W20635645> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W20635645 abstract "In this paper we compare four languages for real time systems specification, namely Timed Z, Timed CSP, Timed CCS and TE-LOTOS, by applying them to the benchmark Railroad Crossing problem. We use slightly different sets of assumptions in each of our solutions in order to investigate how the presence or absence of such assumptions affects the resulting solution. We pay particular attention to the level of justification we may ascribe to each assumption; it may be explicit or implicit in the problem statement, implicit in our knowledge of real- world railroad crossings, or none of these, in which case it must be regarded as a simplifying assumption. We compare and evaluate the resulting specifications in each of the four languages. Our solution in Timed Z is shown to be on a different level to the three process algebras, being much more abstract, closer to the English specification and further from an implementation. It is argued that the three process algebras have essentially equivalent expressive power over the domain of this problem. We compare the proofs in each of the process algebra formalisms. Timed CSP has a well developed dedicated formal proof system, while the proof methods required by Timed CCS and TE-LOTOS are much more ad hoc. In these two cases we use proof techniques based on path and state analysis. We briefly evaluate the Railroad Crossing case study itself. It is found to be a problem of great generality with hidden subtleties; we argue that this problem can teach us much about how to approach real-time specification tasks, and therefore must be considered a highly successful benchmark problem." @default.
- W20635645 created "2016-06-24" @default.
- W20635645 creator A5004998960 @default.
- W20635645 creator A5015202218 @default.
- W20635645 creator A5039957073 @default.
- W20635645 creator A5073988543 @default.
- W20635645 date "1996-01-01" @default.
- W20635645 modified "2023-10-18" @default.
- W20635645 title "A Comparison of Formal Real-Time Specication Languages" @default.
- W20635645 cites W1537242232 @default.
- W20635645 cites W1602043639 @default.
- W20635645 cites W1919698623 @default.
- W20635645 cites W1940454311 @default.
- W20635645 cites W1985660652 @default.
- W20635645 cites W2110176660 @default.
- W20635645 cites W2125617568 @default.
- W20635645 cites W2144973245 @default.
- W20635645 cites W576811070 @default.
- W20635645 doi "https://doi.org/10.14236/ewic/fa1996.7" @default.
- W20635645 hasPublicationYear "1996" @default.
- W20635645 type Work @default.
- W20635645 sameAs 20635645 @default.
- W20635645 citedByCount "1" @default.
- W20635645 crossrefType "proceedings-article" @default.
- W20635645 hasAuthorship W20635645A5004998960 @default.
- W20635645 hasAuthorship W20635645A5015202218 @default.
- W20635645 hasAuthorship W20635645A5039957073 @default.
- W20635645 hasAuthorship W20635645A5073988543 @default.
- W20635645 hasBestOaLocation W206356451 @default.
- W20635645 hasConcept C108710211 @default.
- W20635645 hasConcept C13280743 @default.
- W20635645 hasConcept C15744967 @default.
- W20635645 hasConcept C161771561 @default.
- W20635645 hasConcept C171018156 @default.
- W20635645 hasConcept C17744445 @default.
- W20635645 hasConcept C185798385 @default.
- W20635645 hasConcept C195818886 @default.
- W20635645 hasConcept C199360897 @default.
- W20635645 hasConcept C199539241 @default.
- W20635645 hasConcept C205649164 @default.
- W20635645 hasConcept C2524010 @default.
- W20635645 hasConcept C2777026412 @default.
- W20635645 hasConcept C2780767217 @default.
- W20635645 hasConcept C33923547 @default.
- W20635645 hasConcept C41008148 @default.
- W20635645 hasConcept C542102704 @default.
- W20635645 hasConcept C75606506 @default.
- W20635645 hasConcept C80444323 @default.
- W20635645 hasConcept C94461902 @default.
- W20635645 hasConcept C98045186 @default.
- W20635645 hasConceptScore W20635645C108710211 @default.
- W20635645 hasConceptScore W20635645C13280743 @default.
- W20635645 hasConceptScore W20635645C15744967 @default.
- W20635645 hasConceptScore W20635645C161771561 @default.
- W20635645 hasConceptScore W20635645C171018156 @default.
- W20635645 hasConceptScore W20635645C17744445 @default.
- W20635645 hasConceptScore W20635645C185798385 @default.
- W20635645 hasConceptScore W20635645C195818886 @default.
- W20635645 hasConceptScore W20635645C199360897 @default.
- W20635645 hasConceptScore W20635645C199539241 @default.
- W20635645 hasConceptScore W20635645C205649164 @default.
- W20635645 hasConceptScore W20635645C2524010 @default.
- W20635645 hasConceptScore W20635645C2777026412 @default.
- W20635645 hasConceptScore W20635645C2780767217 @default.
- W20635645 hasConceptScore W20635645C33923547 @default.
- W20635645 hasConceptScore W20635645C41008148 @default.
- W20635645 hasConceptScore W20635645C542102704 @default.
- W20635645 hasConceptScore W20635645C75606506 @default.
- W20635645 hasConceptScore W20635645C80444323 @default.
- W20635645 hasConceptScore W20635645C94461902 @default.
- W20635645 hasConceptScore W20635645C98045186 @default.
- W20635645 hasLocation W206356451 @default.
- W20635645 hasOpenAccess W20635645 @default.
- W20635645 hasPrimaryLocation W206356451 @default.
- W20635645 hasRelatedWork W1839734679 @default.
- W20635645 hasRelatedWork W20635645 @default.
- W20635645 hasRelatedWork W207164054 @default.
- W20635645 hasRelatedWork W2081455126 @default.
- W20635645 hasRelatedWork W2108363806 @default.
- W20635645 hasRelatedWork W2148916011 @default.
- W20635645 hasRelatedWork W2802909544 @default.
- W20635645 hasRelatedWork W374661910 @default.
- W20635645 hasRelatedWork W4210657939 @default.
- W20635645 hasRelatedWork W54310204 @default.
- W20635645 isParatext "false" @default.
- W20635645 isRetracted "false" @default.
- W20635645 magId "20635645" @default.
- W20635645 workType "article" @default.