Accession Number:

ADA329940

Title:

Towards a Formal Treatment of Implicit Invocation

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1997-07-29

Pagination or Media Count:

24.0

Abstract:

Implicit invocation SN92,GN91 has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of specification and verification formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a verification framework for implicit invocation that is based on Jones relyguarantee reasoning for concurrent systems Jon83,Stphi91. The application of the framework is illustrated with several examples. The merits and limitations of the relyguarantee paradigm in the context of implicit invocation systems are also discussed.

Subject Categories:

  • Computer Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE