Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090779454> ?p ?o ?g. }
- W2090779454 endingPage "500" @default.
- W2090779454 startingPage "473" @default.
- W2090779454 abstract "The field of distributed systems is now entering a stage of maturity with work focusing on standards for Open Distributed Processing (ODP). However, it is still important that standardisation remains responsive to new technological demands such as the emergence of distributed multimedia computing. This paper focuses on the likely impact of multimedia computing on formal description within ODP. In particular, a specification architecture is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This specification architecture exhibits a separation of concerns between the specification of behaviour and requirements and also between the specification of abstract behaviour and real-time concerns. The architecture also supports refinement to the computational language defined by the ODP standard. It is important to stress that the architecture does not prescribe the use of specific formal notations or languages; particular specification disciplines can however be developed by populating the architecture with appropriate languages. The usefulness of this architecture is demonstrated by the development of such an approach based on LOTOS together with a real-time temporal logic, QTL. This is applied to a simple multimedia example." @default.
- W2090779454 created "2016-06-24" @default.
- W2090779454 creator A5017804379 @default.
- W2090779454 creator A5024611696 @default.
- W2090779454 creator A5036998619 @default.
- W2090779454 date "1997-03-01" @default.
- W2090779454 modified "2023-09-27" @default.
- W2090779454 title "A specification architecture for multimedia systems in Open Distributed Processing" @default.
- W2090779454 cites W134686728 @default.
- W2090779454 cites W1500211907 @default.
- W2090779454 cites W1502136239 @default.
- W2090779454 cites W1502301190 @default.
- W2090779454 cites W1503973138 @default.
- W2090779454 cites W1506588809 @default.
- W2090779454 cites W1539868891 @default.
- W2090779454 cites W1555255704 @default.
- W2090779454 cites W1569013440 @default.
- W2090779454 cites W1571091199 @default.
- W2090779454 cites W1579183220 @default.
- W2090779454 cites W1885037678 @default.
- W2090779454 cites W1976195354 @default.
- W2090779454 cites W1986184086 @default.
- W2090779454 cites W2015688007 @default.
- W2090779454 cites W2023808162 @default.
- W2090779454 cites W2026629052 @default.
- W2090779454 cites W2049897048 @default.
- W2090779454 cites W2054409309 @default.
- W2090779454 cites W2056359803 @default.
- W2090779454 cites W2062555630 @default.
- W2090779454 cites W2081938726 @default.
- W2090779454 cites W2109363208 @default.
- W2090779454 cites W2121372686 @default.
- W2090779454 cites W2130450834 @default.
- W2090779454 cites W2131815559 @default.
- W2090779454 cites W2135012291 @default.
- W2090779454 cites W2144973245 @default.
- W2090779454 cites W2155196766 @default.
- W2090779454 cites W2167668895 @default.
- W2090779454 cites W2493505351 @default.
- W2090779454 cites W3000555422 @default.
- W2090779454 cites W3144368627 @default.
- W2090779454 doi "https://doi.org/10.1016/s0169-7552(96)00109-2" @default.
- W2090779454 hasPublicationYear "1997" @default.
- W2090779454 type Work @default.
- W2090779454 sameAs 2090779454 @default.
- W2090779454 citedByCount "13" @default.
- W2090779454 countsByYear W20907794542012 @default.
- W2090779454 countsByYear W20907794542013 @default.
- W2090779454 crossrefType "journal-article" @default.
- W2090779454 hasAuthorship W2090779454A5017804379 @default.
- W2090779454 hasAuthorship W2090779454A5024611696 @default.
- W2090779454 hasAuthorship W2090779454A5036998619 @default.
- W2090779454 hasConcept C115903868 @default.
- W2090779454 hasConcept C116253237 @default.
- W2090779454 hasConcept C123657996 @default.
- W2090779454 hasConcept C142362112 @default.
- W2090779454 hasConcept C153349607 @default.
- W2090779454 hasConcept C199360897 @default.
- W2090779454 hasConcept C201677973 @default.
- W2090779454 hasConcept C202444582 @default.
- W2090779454 hasConcept C2777904410 @default.
- W2090779454 hasConcept C33923547 @default.
- W2090779454 hasConcept C35869016 @default.
- W2090779454 hasConcept C41008148 @default.
- W2090779454 hasConcept C45357846 @default.
- W2090779454 hasConcept C55356503 @default.
- W2090779454 hasConcept C75606506 @default.
- W2090779454 hasConcept C90069079 @default.
- W2090779454 hasConcept C94375191 @default.
- W2090779454 hasConcept C9652623 @default.
- W2090779454 hasConceptScore W2090779454C115903868 @default.
- W2090779454 hasConceptScore W2090779454C116253237 @default.
- W2090779454 hasConceptScore W2090779454C123657996 @default.
- W2090779454 hasConceptScore W2090779454C142362112 @default.
- W2090779454 hasConceptScore W2090779454C153349607 @default.
- W2090779454 hasConceptScore W2090779454C199360897 @default.
- W2090779454 hasConceptScore W2090779454C201677973 @default.
- W2090779454 hasConceptScore W2090779454C202444582 @default.
- W2090779454 hasConceptScore W2090779454C2777904410 @default.
- W2090779454 hasConceptScore W2090779454C33923547 @default.
- W2090779454 hasConceptScore W2090779454C35869016 @default.
- W2090779454 hasConceptScore W2090779454C41008148 @default.
- W2090779454 hasConceptScore W2090779454C45357846 @default.
- W2090779454 hasConceptScore W2090779454C55356503 @default.
- W2090779454 hasConceptScore W2090779454C75606506 @default.
- W2090779454 hasConceptScore W2090779454C90069079 @default.
- W2090779454 hasConceptScore W2090779454C94375191 @default.
- W2090779454 hasConceptScore W2090779454C9652623 @default.
- W2090779454 hasIssue "4" @default.
- W2090779454 hasLocation W20907794541 @default.
- W2090779454 hasOpenAccess W2090779454 @default.
- W2090779454 hasPrimaryLocation W20907794541 @default.
- W2090779454 hasRelatedWork W1490183133 @default.
- W2090779454 hasRelatedWork W1500091664 @default.
- W2090779454 hasRelatedWork W1500211907 @default.
- W2090779454 hasRelatedWork W1541085282 @default.
- W2090779454 hasRelatedWork W1591156284 @default.
- W2090779454 hasRelatedWork W1973212243 @default.