Paper Info
Title
Message pattern specifications: a new technique for handling errors in parallel object oriented systems
Abstract
As object oriented techniques enable the fabrication of ever more sophisticated systems, the need grows for a mechanism to ensure the consistent and 'correct' behaviour of each object at run-time. We describe a new, in-source specification mechanism, Message Pattern Specifications (MPS), to directly satisfy this need in a succinct, orthogonal and disciplined manner. Targeted for use in parallel object oriented systems, MPS allows programmers to enunciate the 'legal' patterns of run-time behaviour in which their objects may engage. Furthermore, it supports the definition of methods for object recovery or graceful failure in case these specifications are violated during execution.
Year
DOI
Venue
1990
10.1145/97945.97960
OOPSLA/ECOOP
Keywords
Field
DocType
satisfiability,object oriented
Programming language,Object-oriented programming,Method,Computer science,Object Definition Language
Conference
Volume
Issue
ISSN
25
10
0362-1340
ISBN
Citations 
PageRank 
0-89791-411-2
2
0.44
References 
Authors
13
2
Name
Order
Citations
PageRank
Jan A. Purchase120.44
Russel L. Winder2479.98