Verification and refinement with fine-grained action-based concurrent objects

Authors:
Emil Sekerinski
Affiliations:
McMaster University, Hamilton, Ont., Canada
Venue:
Theoretical Computer Science - Formal methods for components and objects
Year:
2005

Citing 13
Cited 0

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Object-oriented concurrent programming ABCL/1

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Pool-T: a parallel object-oriented language

Object-oriented concurrent programming
Issues in the design of a parallel object-oriented language

Formal Aspects of Computing
Monitor classification

ACM Computing Surveys (CSUR)
Accommodating interference in the formal design of concurrent object-based programs

Formal Methods in System Design
Concurrency and distribution in object-oriented programming

ACM Computing Surveys (CSUR)
A Simple, Object-Based View of Multiprogramming

Formal Methods in System Design
Developing Object-based Distributed Systems

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Action Systems with Synchronous Communication

PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Towards a Calculus of Data Refinement

Proceedings of the International Conference on Mathematics of Program Construction, 375th Anniversary of the Groningen University
An Approach to Object-Orientation in Action Systems

MPC '98 Proceedings of the Mathematics of Program Construction
A Foundation for Refining Concurrent Objects

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Action-based concurrent object-oriented programs express autonomous behavior of objects through actions that, like methods, are attached to objects but, in contrast to methods, may execute autonomously whenever their guard is true. The promise is a streamlining of the program structure by eliminating the distinction between processes and objects and a streamlining of correctness arguments. In this paper we illustrate the use of action-based object-oriented programs and study their verification and their refinement from specifications, including the issue of non-atomic operations.