Abstract
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.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) |
| Place of Publication | Piscataway, NJ, United States |
| Publisher | IEEE |
| Pages | 163-170 |
| Number of pages | 8 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97 - Newport Beach, CA, USA Duration: Feb 5 1997 → Feb 7 1997 |
Other
| Other | Proceedings of the 1997 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97 |
|---|---|
| City | Newport Beach, CA, USA |
| Period | 2/5/97 → 2/7/97 |
ASJC Scopus subject areas
- General Computer Science
- General Engineering