Sequence specification for concurrent object-oriented applications

Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei Tek Tsai

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

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 languageEnglish (US)
Title of host publicationProceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Pages163-170
Number of pages8
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1997 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97 - Newport Beach, CA, USA
Duration: Feb 5 1997Feb 7 1997

Other

OtherProceedings of the 1997 3rd International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS'97
CityNewport Beach, CA, USA
Period2/5/972/7/97

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Cite this

Wang, Y., Vishnuvajjala, R. V., & Tsai, W. T. (1997). Sequence specification for concurrent object-oriented applications. In Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) (pp. 163-170). IEEE.