PREMO - AN INITIAL APPROACH TO A FORMAL DEFINITION

被引：0
|
作者：
DUCE, DA
DUKE, DJ
TENHAGEN, PJW
REYNOLDS, GJ
机构：
[1] CTR MATH & COMP SCI,DEPT INTERACT SYST,1098 SJ AMSTERDAM,NETHERLANDS
[2] UNIV YORK,DEPT COMP SCI,YORK YO1 5DD,N YORKSHIRE,ENGLAND
来源：
COMPUTER GRAPHICS FORUM | 1994年 / 13卷 / 03期
关键词：
PREMO; FORMAL DESCRIPTION TECHNIQUES; MULTIMEDIA; OBJECT MODELS; ACTIVE OBJECTS; OBJECT-Z;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Many descriptions of multimedia programming systems are starting to appear in the literature, but little work has yet been done on how to formally specify and reason about such systems. This paper is a contribution on the use of formal description techniques for the specification of multimedia systems and explores a style in which the Object-Z notation from the University of Queensland can be used to specify some of the properties and functionality of such systems. The work has been carried out with reference to the role of formal description techniques in the presentation of ISO/IEC International Standards and in particular to the PREMO project in ISO/IEC JTC1/SC24.
引用
收藏
页码：C393 / C406
页数：14
相关论文
共 50 条
  • [1] FORMAL METHODS IN THE DEVELOPMENT OF PREMO
    DUCE, DA
    DUKE, DJ
    TENHAGEN, PJW
    HERMAN, I
    REYNOLDS, GJ
    COMPUTER STANDARDS & INTERFACES, 1995, 17 (5-6) : 491 - 509
  • [2] A formal approach for definition and detection of feature interactions
    Yoneda, T
    Ohta, T
    FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS V, 1998, : 202 - 216
  • [3] On the formal definition of the systems' interoperability capability: an anthropomorphic approach
    Zdravkovic, Milan
    Luis-Ferreira, Fernando
    Jardim-Goncalves, Ricardo
    Trajanovic, Miroslav
    ENTERPRISE INFORMATION SYSTEMS, 2017, 11 (03) : 389 - 413
  • [4] The Impact of the Graphical Approach on Students' Understanding of the Formal Definition of Limit
    Quesada, Antonio
    Einsporn, Richard L.
    Wiggins, Muserref
    INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, 2008, 15 (03): : 95 - 102
  • [5] Continuous area sweeping: A task definition and initial approach
    Ahmadi, M
    Stone, P
    2005 12TH INTERNATIONAL CONFERENCE ON ADVANCED ROBOTICS, 2005, : 316 - 323
  • [6] A formal definition of carriers
    Jaime Keller
    Peter Weinberger
    Advances in Applied Clifford Algebras, 2002, 12 (1) : 39 - 62
  • [7] FORMAL DEFINITION OF ORGANIZATION
    ATLAN, H
    JOURNAL OF THEORETICAL BIOLOGY, 1974, 45 (02) : 295 - 304
  • [8] FORMAL DEFINITION OF SOL
    KNUTH, DE
    MCNELEY, JL
    IEEE TRANSACTIONS ON COMPUTERS, 1964, EC13 (04) : 409 - &
  • [9] A FORMAL DEFINITION OF DIANA
    UHL, J
    LECTURE NOTES IN COMPUTER SCIENCE, 1984, 180 : 35 - 47
  • [10] FORMAL DEFINITION OF FORTH
    TING, CH
    DR DOBBS JOURNAL, 1982, 7 (02): : 19 - &
12345