The universe model: an approach for improving the modularity and reliability of concurrent programs

Authors:
Reimer Behrends;R. E. Kurt Stirewalt
Affiliations:
Dept. of Computer Science and Engineering, Michigan State University, East Lansing, MI;Dept. of Computer Science and Engineering, Michigan State University, East Lansing, MI
Venue:
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Year:
2000

Citing 13
Cited 8

Communicating sequential processes

Communicating sequential processes
Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Principles of concurrent and distributed programming

Principles of concurrent and distributed programming
The programmer's apprentice

The programmer's apprentice
Modern operating systems

Modern operating systems
Coordination languages and their significance

Communications of the ACM
Conjunction as composition

ACM Transactions on Software Engineering and Methodology (TOSEM)
Analysis of inheritance anomaly in object-oriented concurrent programming languages

Research directions in concurrent object-oriented programming
Garbage collection: algorithms for automatic dynamic memory management

Garbage collection: algorithms for automatic dynamic memory management
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Java's insecure parallelism

ACM SIGPLAN Notices
A Compositional Approach to Multiparadigm Programming

IEEE Software
A Language Framework for Multi-Object Coordination

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming

Using Program Families for Maintenance Experiments

ACoM '07 Proceedings of the First International Workshop on Assessment of Contemporary Modularization Techniques
Contracts and Middleware for Safe SOA Applications

SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers

Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Developing parallel programs: A design-oriented perspective

IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering
A thread synchronization model for SIP servlet containers

Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Contract-based synchronization of IP telecommunication services: a case study

Proceedings of the 5th International Conference on Communication System Software and Middleware
A component-oriented model for the design of safe multi-threaded applications

CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
EnforceMOP: a runtime property enforcement system for multithreaded programs

Proceedings of the 2013 International Symposium on Software Testing and Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the universe model, a new approach to concurrency management that isolates concurrency concerns and represents them in the modular interface of a component. This approach improves program comprehension, module composition, and reliability for concurrent systems. The model is founded on designer-specified invariant properties, which declare a component's dependencies on other concurrent components. Process scheduling is then automatically derived from these invariants. We illustrate the advantages of this approach by applying it to a real-world example.