Toggle Main Menu Toggle Search

Open Access padlockePrints

On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada

Lookup NU author(s): Dr Albert Koelmans, Professor Maciej KoutnyORCiD, Emeritus Professor Alexander RomanovskyORCiD, Professor Alex Yakovlev

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

Ada 95 is an expressive concurrent programming language, which allows building large multi-tasking applications. Much of the complexity of these applications stems from the interactions between the tasks. Design abstractions (such as atomic actions, conversations etc.) have been proposed to deal with such complexity. This paper argues that Petri nets offer a promising, tool-supported, technique for checking the logical correctness of abstractions. The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools.


Publication metadata

Author(s): Burns A, Wellings AJ, Koelmans AM, Koutny M, Romanovsky A, Yakovlev A

Publication type: Article

Publication status: Published

Journal: ACM SIGAda Ada Letters

Year: 2001

Volume: 21

Issue: 1

Pages: 48-55

ISSN (print): 1094-3641

ISSN (electronic): 1557-9476

Publisher: ACM Press, New York


Share