Skip to main content

Multiparty compatibility for concurrent objects

Perera, R., Lange, Julien, Gay, S. (2016) Multiparty compatibility for concurrent objects. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Electronic Proceedings in Theoretical Computer Science, EPTCS. 211. pp. 73-82. Open Publishing Association (doi:10.4204/EPTCS.211.8) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.4204/EPTCS.211.8

Abstract

Objects and actors are communicating state machines, offering and consuming different services at different points in their lifecycle. Two complementary challenges arise when programming such systems. When objects interact, their state machines must be “compatible”, so that services are requested only when they are available. Dually, when objects refine other objects, their state machines must be “compliant”, so that services are honoured whenever they are promised. In this paper we show how the idea of multiparty compatibility from the session types literature can be applied to both of these problems. We present an untyped language in which concurrent objects are checked automatically for compatibility and compliance. For simple objects, checking can be exhaustive and has the feel of a type system. More complex objects can be partially validated via test cases, leading to a methodology closer to continuous testing. Our proof-of-concept implementation is limited in some important respects, but demonstrates the potential value of the approach and the relationship to existing software development practices.

Item Type: Conference or workshop item (Proceeding)
DOI/Identification number: 10.4204/EPTCS.211.8
Divisions: Faculties > Sciences > School of Computing
Depositing User: Julien Lange
Date Deposited: 12 Jul 2017 14:45 UTC
Last Modified: 23 Jan 2020 04:13 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/62254 (The current URI for this page, for reference purposes)
Lange, Julien: https://orcid.org/0000-0001-9697-1378
  • Depositors only (login required):