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 the paper have been used to integrate process-algebraic methods into (concurrent) object orientated programming (C. Colby et al., 1998) |
Year | DOI | Venue |
---|---|---|
1998 | 10.1109/ICCL.1998.674157 | ICCL |
Keywords | Field | DocType |
process-algebraic api,observer pattern,safety property,concrete implementation,specification-based testing,application program interfaces,threads standards,program testing,parallel programming,java threads,concurrent object oriented programming,pthreads,process-algebraic method,preemption combinators,software architecture,threads standard,specification based testing,safety properties,process-algebraic methods,event models,triveni,object-oriented languages,process algebra,formal specification,event model,java thread,system testing,java,object oriented languages,concurrency,algebra,computer languages,calculus | Programming language,Object-oriented programming,Computer science,Theoretical computer science,Thread (computing),Formal specification,POSIX Threads,Concurrent object-oriented programming,Software architecture,Observer pattern,Java | Conference |
ISSN | ISBN | Citations |
1074-8970 | 0-8186-8454-2 | 9 |
PageRank | References | Authors |
0.94 | 12 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christopher Colby | 1 | 237 | 18.39 |
Radha Jagadeesan | 2 | 2117 | 121.75 |
Konstantin Laufer | 3 | 99 | 9.95 |
Lalita Jategaonkar Jagadeesan | 4 | 286 | 29.80 |
Carlos Puchol | 5 | 138 | 18.65 |