A Specification Architecture for Multimedia Systems in Open Distributed Processing

@article{Blair1997ASA,
  title={A Specification Architecture for Multimedia Systems in Open Distributed Processing},
  author={Gordon S. Blair and Lynne Blair and Jean-Bernard Stefani},
  journal={Computer Networks and ISDN Systems},
  year={1997},
  volume={29},
  pages={473-500}
}
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… CONTINUE READING

Citations

Publications citing this paper.
Showing 1-10 of 18 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 35 references

On the Role of Abstract Design Concepts in Specification Structuring

D. Quartel, M. van Sinderen, L. Pires
Computer Networks and ISDN Systems, Special Issue on Specification Architectures, This Issue, • 1996

Relating Architecture in a Communications Context

K. Turner
Computer Networks and ISDN Systems, Special Issue on Specification Architectures, This Issue, • 1996
View 2 Excerpts

Modelling Dynamic ODP-Configurations with LOTOS

T. Koch, B. Krämer, N. Völker
Proceedings of the IFIP TC6 WG6.1 International Conference on Open Distributed Processing (ICODP'93), • 1994

The Temporal Logic of Actions

ACM Trans. Program. Lang. Syst. • 1994
View 1 Excerpt

On ODP Architectural Semantics using LOTOS

A. Vogel
Proceedings of the 1st International Conference on ODP (ICODP’93), • 1993
View 2 Excerpts

Similar Papers

Loading similar papers…