Treffer: Creol : A type-safe object-oriented model for distributed concurrent systems

Title:
Creol : A type-safe object-oriented model for distributed concurrent systems
Authors:
BROCH JOHNSEN, Einar, OWE, Olaf, YU, Ingrid Chieh
Source:
Formal methods for components and objectsTheoretical computer science. 365(1-2):23-66
Publisher Information:
Amsterdam: Elsevier, 2006.
Publication Year:
2006
Physical Description:
print, 80 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Algorithmique. Calculabilité. Arithmétique ordinateur, Algorithmics. Computability. Computer arithmetics, Théorie programmation, Programming theory, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Asynchrone, Asynchronous, Asincrono, Calcul automatique, Computing, Cálculo automático, Calcul réparti, Distributed computing, Cálculo repartido, Consistance sémantique, Soundness, Consistencia semantica, Estimation erreur, Error estimation, Estimación error, Informatique théorique, Computer theory, Informática teórica, Instabilité, Instability, Inestabilidad, Interblocage, Deadlock, Interbloqueo, Orienté objet, Object oriented, Orientado objeto, Réutilisation, Reuse, Reutilización, Simultané, Concurrent, Simultáneo, Synchronisation, Synchronization, Sincronización, Système réparti, Distributed system, Sistema repartido, Sémantique opérationnelle, Operational semantics, Semantica operacional, Concurrent system, Solidité type, Type soundness, Système concurrent, Système type et effet, Type and effect system, Système types, Distributed object-oriented systems
Document Type:
Konferenz Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Department of Informatics, University of Oslo, 0316 Oslo, Norway
ISSN:
0304-3975
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=18291174
Rights:
Copyright 2007 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems
Accession Number:
edscal.18291174
Database:
PASCAL Archive

Weitere Informationen

Object-oriented distributed computing is becoming increasingly important for critical infrastructure in society. In standard object-oriented models, objects synchronize on method calls. These models may be criticized in the distributed setting for their tight coupling of communication and synchronization; network delays and instabilities may locally result in much waiting and even deadlock. The Creol model targets distributed objects by a looser coupling of method calls and synchronization. Asynchronous method calls and high-level local control structures allow local computation to adapt to network instability. Object variables are typed by interfaces, so communication with remote objects is independent from their implementation. The inheritance and subtyping relations are distinct in Creol. Interfaces form a subtype hierarchy, whereas multiple inheritance is used for code reuse at the class level. This paper presents the Creol syntax, operational semantics, and type system. It is shown that runtime type errors do not occur for well-typed programs.