FORMAL SPECIFICATION AND VERIFICATION OF MULTIMEDIA SYSTEMS IN OPEN DISTRIBUTED-PROCESSING

被引：6

作者：

BLAIR, L ^{[1
]}

BLAIR, G ^{[1
]}

BOWMAN, H ^{[1
]}

CHETWYND, A ^{[1
]}

机构：

[1] UNIV LANCASTER,DEPT COMP,DISTRIBUTED MULTIMEDIA RES GRP,LANCASTER LA1 4YR,ENGLAND

来源：

COMPUTER STANDARDS & INTERFACES | 1995年 / 17卷 / 5-6期

关键词：

FORMAL SPECIFICATION; OPEN DISTRIBUTED PROCESSING; MULTIMEDIA; LOTOS; REAL-TIME TEMPORAL LOGICS;

D O I：

10.1016/0920-5489(95)00016-N

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 standardization 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 framework is proposed for the formal specification and verification of quality of service and more general real-time concerns in distributed multimedia systems. This framework 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 usefulness of this framework is demonstrated by the development of an approach based on LOTOS together with a real-time temporal logic, QTL.

引用

页码：413 / 436

页数：24

共 50 条

[1] A specification architecture for multimedia systems in Open Distributed Processing
Blair, GS
Blair, L
Stefani, JB
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 473 - 500
[2] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
CHEN, BS
YEH, RT
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
[3] OPEN DISTRIBUTED-PROCESSING
BOWEN, D
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 23 (1-3): : 195 - 201
[4] APPLYING FORMAL METHODS TO STANDARD DEVELOPMENT - THE OPEN DISTRIBUTED-PROCESSING EXPERIENCE
SINNOTT, RO
TURNER, KJ
[J]. COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 615 - 630
[5] A DESIGN-MODEL FOR OPEN DISTRIBUTED-PROCESSING SYSTEMS
VANSINDEREN, M
PIRES, LF
VISSERS, CA
KATOEN, JP
[J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1995, 27 (08): : 1263 - 1285
[6] OPEN SYSTEMS INTERCONNECTION - AN ARCHITECTURE FOR INTERCONNECTION OR FOR DISTRIBUTED-PROCESSING
LANGSFORD, A
[J]. JOURNAL OF TELECOMMUNICATION NETWORKS, 1982, 1 (03): : 253 - 263
[7] SECURITY IN OPEN DISTRIBUTED-PROCESSING
SIUDA, C
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 434 : 249 - 266
[8] Formal Specification and Verification of a Data Replication Approach in Distributed Systems
Souri, Alireza
[J]. INTERNATIONAL JOURNAL OF NEXT-GENERATION COMPUTING, 2016, 7 (01): : 18 - 37
[9] OBJECT-INDUCTION DEVELOPMENT OF OPEN DISTRIBUTED-PROCESSING SYSTEMS
TERZIEV, A
[J]. IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 1 : 325 - 336
[10] DISTRIBUTED-PROCESSING SYSTEMS - AN INTRODUCTION
FILIPPAZZI, F
[J]. ELETTROTECNICA, 1982, 69 (01): : 5 - 11

← 1 2 3 4 5 →