A FORMAL SPECIFICATION OF THE PVM ARCHITECTURE

被引：0
|
作者：
BORGER, E [1 ]
GLASSER, U [1 ]
机构：
[1] UNIV GESAMTHSCH PADERBORN,FACHBEREICH MATH INFORMAT,D-33098 PADERBORN,GERMANY
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
PROGRAMMING LANGUAGES; FORMAL DEFINITIONS AND THEORY; DISTRIBUTED SYSTEMS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We develop a mathematically precise yet transparent definition of the Parallel Virtual Machine PVM. Our model, based upon Gurevich's notion of concurrent evolving algebras, directly supports the basic intuitions of heterogeneous distributed computing.
引用
收藏
页码：402 / 409
页数：8
相关论文
共 50 条
  • [1] Formal Specification of Reconfigurable Architecture
    Chang, Zhiming
    Cui, Yonghua
    Han, Xueyan
    He, Junan
    SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING: THEORY AND PRACTICE, VOL 1, 2012, 114 : 481 - 490
  • [2] Formal specification and testing of a management architecture
    Fernandes, GPA
    Derrick, J
    INTEGRATED NETWORK MANAGEMENT V: INTEGRATED MANAGEMENT IN A VIRTUAL WORLD, 1997, : 473 - 484
  • [3] Formal Specification of Software Architecture Security Tactics
    Wyeth, Andrew
    Zhang, Cui
    22ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING & KNOWLEDGE ENGINEERING (SEKE 2010), 2010, : 172 - 175
  • [4] Formal specification of an immune based agent architecture
    Hilaire, Vincent
    Lauri, Fabrice
    Gruer, Pablo
    Koukam, Abderrafia
    Rodriguez, Sebastian
    ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE, 2010, 23 (04) : 505 - 513
  • [5] A formal specification of M-agent architecture
    Cetnarowicz, K
    Gruer, P
    Hilaire, V
    Koukam, A
    FROM THEORY TO PRACTICE IN MULTI-AGENT SYSTEMS, 2002, 2296 : 62 - 72
  • [6] Semi-Formal and Formal Interface Specification for System of Systems Architecture
    Bryans, Jeremy
    Payne, Richard
    Holt, Jon
    Perry, Simon
    2013 7TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2013), 2013, : 612 - 619
  • [7] An approach to formal specification and formal validation of facilities of a mobile middleware architecture
    Chattopadhyay, Matangini
    Paul, Subharthi
    Sanyal, Suman
    Das, Debesh
    MOBILE COMPUTING AND WIRELESS COMMUNICATION INTERNATIONAL CONFERENCE, PROCEEDINGS, 2007, : 184 - +
  • [8] Formal specification of Java']JavaSpaces™ architecture using μCRL
    van de Pol, J
    Espada, MV
    COORDINATION MODELS AND LANGUAGES, PROCEEDINGS, 2002, 2315 : 274 - 290
  • [9] Developing an ROV software control architecture: a formal specification approach
    de Assis, Fabio Henrique
    Takase, Fabio Kawaoka
    Maruyama, Newton
    Miyagi, Paulo Eigi
    38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), 2012, : 3107 - 3112
  • [10] Experience with applying formal methods to protocol specification and system architecture
    Azimi, M
    Chou, CT
    Kumar, A
    Lee, VW
    Mannava, PK
    Park, S
    FORMAL METHODS IN SYSTEM DESIGN, 2003, 22 (02) : 109 - 116
12345