Sequence specification for concurrent object-oriented applications

Yamin Wang; Ramakrishna V. Vishnuvajjala; Wei Tek Tsai

doi:10.1142/S0218194098000200

Sequence specification for concurrent object-oriented applications

Yamin Wang, Ramakrishna V. Vishnuvajjala, Wei Tek Tsai

Computing and Augmented Intelligence, School of (IAFSE-SCAI)

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English (US)
Pages (from-to)	361-383
Number of pages	23
Journal	International Journal of Software Engineering and Knowledge Engineering
Volume	8
Issue number	3
DOIs	https://doi.org/10.1142/S0218194098000200
State	Published - Sep 1998

ASJC Scopus subject areas

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

Access to Document

10.1142/S0218194098000200

Cite this

@article{4eb499c7752a441ca60c9fee31c24f7a,

title = "Sequence specification for concurrent object-oriented applications",

abstract = "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.",

author = "Yamin Wang and Vishnuvajjala, {Ramakrishna V.} and Tsai, {Wei Tek}",

year = "1998",

month = sep,

doi = "10.1142/S0218194098000200",

language = "English (US)",

volume = "8",

pages = "361--383",

journal = "International Journal of Software Engineering and Knowledge Engineering",

issn = "0218-1940",

publisher = "World Scientific Publishing Co. Pte Ltd",

number = "3",

}

TY - JOUR

T1 - Sequence specification for concurrent object-oriented applications

AU - Wang, Yamin

AU - Vishnuvajjala, Ramakrishna V.

AU - Tsai, Wei Tek

PY - 1998/9

Y1 - 1998/9

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=11544302684&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=11544302684&partnerID=8YFLogxK

U2 - 10.1142/S0218194098000200

DO - 10.1142/S0218194098000200

M3 - Article

AN - SCOPUS:11544302684

SN - 0218-1940

VL - 8

SP - 361

EP - 383

JO - International Journal of Software Engineering and Knowledge Engineering

JF - International Journal of Software Engineering and Knowledge Engineering

IS - 3

ER -

Sequence specification for concurrent object-oriented applications

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this