Sequence specification for concurrent object-oriented applications

Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei Tek Tsai

Research output: Contribution to journalArticlepeer-review


Modeling synchronization among threads is important for the 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 specifications. Finally, this paper discusses how SMtSS specifications can be useful in the design and testing of concurrent object-oriented applications in Java.

Original languageEnglish (US)
Pages (from-to)361-383
Number of pages23
JournalInternational Journal of Software Engineering and Knowledge Engineering
Issue number3
StatePublished - Sep 1998

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Computer Graphics and Computer-Aided Design
  • Artificial Intelligence


Dive into the research topics of 'Sequence specification for concurrent object-oriented applications'. Together they form a unique fingerprint.

Cite this