Communicating sequential processes
Communicating sequential processes
Object-oriented concurrent programming
Object-oriented concurrent programming
Object-oriented modeling and design
Object-oriented modeling and design
Core Java
Concurrent Programming in Java: Design Principles and Patterns
Concurrent Programming in Java: Design Principles and Patterns
Data-Centered Program Understanding
ICSM '94 Proceedings of the International Conference on Software Maintenance
Omega - an integrated environment for C++ program maintenance
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Specifying timing constraints in real-time object-oriented systems
HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
Specifying Constraints with Message Sequence Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Hi-index | 0.00 |
Modeling synchronization among threads is important for specification, design, and testing of concurrent object-oriented applications such as those written in Java. This paper proposes Synchronized Method Sequence Specification (SMtSS) -- a mechanism for specifying synchronization requirements among multiple threads sharing a common object. SMtSS identifies two kinds of synchronization among the sharing threads, internal and external ones, and explicitly specifies the synchronization scenarios. SMtSS also proposes notations for specifying different data integrity constraints on method executions. This paper also proposes specification slicing techniques to obtain specific behavior of certain threads from SMtSS. Finally, this paper discusses how SMtSS can be useful in the design and testing of concurrent object-oriented applications in the Java language.