Knowledge-Based Software Development for Real-Time Distributed Systems

Size: px

Start display at page:

Download "Knowledge-Based Software Development for Real-Time Distributed Systems"

Julius Bennett
7 years ago
Views:

1 Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from Knowledge-Based Software Development for Real-Time Distributed Systems

2 SERIES ON SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from Series Editor-in-Chief S K CHANG (University of Pittsburgh, USA) Vol. 1 Knowledge-Based Software Development for Real-Time Distributed Systems Jeffrey J-P Tsai and Thomas J Weigert (Univ. Illinois) Forthcoming titles: The Impact of CASE Technology on Software Processes edited by Daniel E Cooke (Univ. Texas) Advances in Software Engineering and Knowledge Engineering edited by Vincenzo Ambriola (Univ. Pisa) and Genoveffa Tortora (Univ. Salerno)

1 Knowledge-Based Software Development for Real-Time Distributed Systems Jeffrey J-P Tsai and Thomas J Weigert (Univ.

3 Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from Knowledge-Based Software Development for Real-Time Distributed Systems Jeffrey J-PTsai Thomas J Weigert University of Illinois Vfe World Scientific wl Singapore New Jersey London Hong Kong

com Jeffrey J-PTsai Thomas J Weigert University of Illinois Vfe World

4 Published by Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from World Scientific Publishing Co. Pte. Ltd. P O Box 128, Farrer Road, Singapore 9128 USA office: Suite IB, 1060 Main Street, River Edge, NJ UK office: 73 Lynton Mead, Totteridge, London N20 8DH KNOWLEDGE-BASED SOFTWARE DEVELOPMENT FOR REAL-TIME DISTRIBUTED SYSTEMS Copyright 1993 by World Scientific Publishing Co. Pte. Ltd. All rights reserved. This book, or parts thereof, may not be reproduced in any form orbyanymeans, electronic or mechanical, including photocopying, recording or any information storage and retrieval system now known or to be invented, without written permission from the Publisher. For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance Center, Inc., 27 Congress Street, Salem, MA 01970, USA. ISBN Printed in Singapore by Utopia Press.

REAL-TIME DISTRIBUTED SYSTEMS Copyright 1993 by World Scientific Publishing Co. Pte. Ltd. All rights reserved.

5 Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from Contents 1 The Science of Software Development Software Engineering as Theory Construction Software Engineering Paradigms The Path from Problem to Program Knowledge-Based Software Development 19 2 Knowledge Representation as a Basis of Specifying Requirements Demands on a Requirements Specification Language Languages to Formulate Requirements Specifications The FRORL Requirements Specification Language LSSGR Protocol Example Developing Requirements Specifications using FRORL 45 3 Nonmonotonic Logic Foundation of the Requirements Speciflcation Language The Formal Foundation of FRORL Soundness and Completeness of FRORL Representing FRORL Constructs 65 4 A Requirements Specification Language for Real-Time Distributed Software Systems Characteristics of Real-Time Distributed Software Systems Demands on Requirements Specification Languages for Real-Time Distributed Systems Languages to Formulate Real-Time Requirements Specifications Modeling Mechanisms for Concurrent Distributed Systems Modeling Constructs for Real-Time Processes, Timing Constraints, and Temporal Properties 81 5 Temporal Logic Foundation of the Real-Time Distributed Requirements Speciflcation Language The Temporal Fix-Point Calculus Model Checking 89

4 Knowledge-Based Software Development 19 2 Knowledge Representation as a Basis of Specifying Requirements 28 2.1 Demands on a Requirements Specification Language 28 2.

6 6 5.3 Expressing the Temporal Aspects of a FRORL Specification 91 Knowledge-Based Software Development for Real-Time Distributed Systems Downloaded from 6 Verification of Requirements Specifications Analysis through Resolution Refutation Model Checking Timing Constraints Consistency Analysis Development, Specification, and Verification of Knowledge-Based Systems Difficulties in Verifying Knowledge-Based Systems Correctness Problems in Knowledge Bases Approaches to the Verification of Knowledge-Based Systems Dynamic Verification Knowledge-Based Implementation Automated Program Construction Canonicalization Data Dependency and Control Flow Analysis Determination of Execution Sequence Removal of Unnecessary Nondeterminacy Specification Debugging Knowledge-Based Debugging Debugging of FRORL Specifications 177 A Example Specifications 186 A.l Alternate Bit Protocol 186 A.2 Subscriber-Line Controller of a Telephone Exchange 189 B Formal Grammar of FRORL 197 C Some Results about Fix-Points 200 D References 203 E Index 231

3 Timing Constraints Consistency Analysis 109 7 Development, Specification, and Verification of Knowledge-Based Systems 117 7.1 Difficulties in Verifying Knowledge-Based Systems 117 7.

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE

MATHEMATICAL LOGIC FOR COMPUTER SCIENCE Second Edition WORLD SCIENTIFIC SERIES IN COMPUTER SCIENCE 25: Computer Epistemology A Treatise on the Feasibility of the Unfeasible or Old Ideas Brewed New (T Vamos)