Design and Implementation of Triveni: a Process-algebraic API for Threads + Events

Authors:
Christopher Colby;Radha Jagadeesan;Konstantin Laufer;Lalita Jategaonkar Jagadeesan;Carlos Puchol
Affiliations:
-;-;-;-;-
Venue:
ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Year:
1998

Citing 0
Cited 5

BDL: A Specialized Language for Per-Object Reactive Control

IEEE Transactions on Software Engineering
Automated systematic testing for constraint-based interactive services

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Applications of Join Java

CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
A Constraint-Based Framework for Prototyping Distributed Virtual Applications

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Object and concurrency in Triveni: a telecommunication case study in java

COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni is compatible with existing threads standards, such as Pthreads and Java threads, and with the event models structured on the Observer pattern. We describe the software architecture and algorithms underlying a concrete implementation of Triveni in Java. This environment includes specification-based testing of safety properties. The results described in this paper have been used to integrate process-algebraic methods into (concurrent) object oriented programming.