Cart (Loading....) | Create Account
Close category search window
 

Using executable specification languages for interface checking of large, distributed systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Liu, L.M. ; Dept. of Comput. Sci., Chinese Univ. of Hong Kong, Hong Kong ; Prywes, N.S.

The authors discuss the automatic checking of the consistency of interfaces between components of large, distributed systems. The approach is based on executable specification languages and has the following characteristics: use of specification languages for partitioning an overall system, specifying interfaces between the components, and composing rules to describe the functionality of each component; static analysis of the specifications for consistency and completeness; and automatic generation of procedural programs for rapid prototyping. It is proposed that configuration and data-specification languages be used for automatic interface checking. In contrast to conventional programming methodologies, communications between the components and message ordering are explicitly specified. New interface-checking algorithms that are based on regular expressions are developed. The checking is performed at the specification level, and no knowledge of the underlying programs is required

Published in:

System Sciences, 1990., Proceedings of the Twenty-Third Annual Hawaii International Conference on  (Volume:ii )

Date of Conference:

2-5 Jan 1990

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.