Towards a Formal Treatment of Implicit Invocation

reportActive / Technical Report | Accession Number: ADA329940 | Open PDF

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.

Author(s):
Dingel, J. ; Garlan, D. ; Jha, S. ; Notkin, D.
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Supplementary Note:
DOI: 10.21236/ADA329940
Pagination:
0024

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
CMU-CS-97-153
Contract/Grant Number(s):
F30602-96-1-0299, NSF-CCR-9633532
Monitor Series:
AFMC
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_1.2.3_Educating; JCA_8_Building Partnerships; JCA_8.1.3_Influence Adversary and Competitor Audiences; JCA_8.1_Communicate; JCA_1.4.2_Health Service Delivery; JCA_1.4_Force Support; JCA_6_Net Centric; JCA_5.2.2_Develop Knowledge and Situational Awareness; JCA_5.2_Understand; JCA_5.3_Planning; JCA_5.4.5_Intuit; JCA_5.4_Decide; JCA_6.2.3_Core Enterprise Services; JCA_4.6_Engineering
Modernization Areas:
Fully Networked C3
Communities of Interest:
C4I
Descriptor(s):
*COMPUTER COMMUNICATIONS, *COMPUTER ARCHITECTURE, *CONCURRENT ENGINEERING, SOFTWARE ENGINEERING, COMPUTER AIDED DESIGN, DISTRIBUTED DATA PROCESSING, PARALLEL PROCESSING, OPERATING SYSTEMS(COMPUTERS), SYSTEMS ANALYSIS, DESIGN CRITERIA
Field(s)/Group(s):
Computer Systems
Report Date:
1997 Jul 29
Creation Date:
1997 Oct 15