Proceedings of the First International Conference on Software Engineering and Knowledge Engineering June 15-16, 1989 TABLE OF CONTENTS Knowledge-Based Software Design and Testing Bogdan Czejdo, Chair University of Alabama Design Activity Agent: A Knowledge-Based Software Design Environment W.P Yin, D.Y.Y. Yun and M.M. Tanik, Southern Methodist University ................................1 Proving Properties of Software Design Methods Daniel E. Cooke, University of Texas .............................................................9 An Intelligent Test Data Generator for Software Branch Coverage Kai-Hsiung Chang, James H. Cross II, W. Homer Carlisle and David B. Brown, Auburn University ...........13 Testing Concurrent Ada Program with Reproducible Test Cases Ren Dar Yang and Chyan-Goei Chung, National Chiao Tung University, Taiwan ....................... 19 Software Knowledge Acquisition R.L. Kashyap, Chair Purdue University PM: A Metrics Driven Plan Compiler Robert G. Reynolds, Jonathan I. Maletic and Stephen E. Porvin, Wayne State University ..................25 Architecture of the Knowledge Integration Tocl: A Knowledge Based System Development Environment Philip H. Newcomb, Boeing Advanced Technologp Center for Computer Sciences ........................................31 Knowledge Represen1ation in Automatic COBOL Programmer Holmes S. Liao, Abraham Kandel and R. Chris Lacher, Florida State University ................................38 Object Formation in A Hybrid Knowledge Representation Stephen T. C. Wong and John L. Wilson, Lehigh University.........42 Software Reuse Daniel E. Cooke, Chair University of Texas An Environment for Software Reusability Maryam Asdjodi, Bellcore and James W. Hopper, University of Alabama ............................48 Rule Mapping and Expert Systems Reuse Z Chen, University of Nebraska.......................................................54 Panel Session on Software Engineering Methods & Practices Rae C. Tso, Chair ATk, T Bell Laboratories Requirement Specifications For The AT8T 5ESS(R) Switch Rati C. Thanawala, AT8c T Bell Laboratories ..........................58 Software Design for the 5ESS(R) Switch Lewis G. Anderson, AT&T Bell Laboratories ..........................59 Performance Verification of the AT& T 5ESSOR Switch Michael N. Meyers, AT&T Bell Laboratories .........................60 Software Measurement and Simulation Maryam Asdjodi, Chair Bell Communications Research, NJ A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment Xiaofeng Li, Arnaud Rubin, Robert Phelps and Jean Steinier, SWIFT S.C:, Belgium .....,...................61 A Comprehensive Software Complexity Metric for Primitive Modules Zhemin Fan and Jeffrey M. Harris, University of North Texas ........................ 67 A Two-Level Model for Software Rapid Prototyping Ren-Juh Lea and Chyan-Goei Chung, National Chiao Tung University, Taiwan ........................73 Object-Oriented Systems Philip H. Newcomb, Chair Boeing Advanced Technology Center for Computer Sciences Abstractions in Object-oriented Data Models: A Formalized Representation Scheme Lil Mohan and R.L. Kashyap, Purdue University ..................................79 Assignment of Objects in a Dual Processor System with Limited Objects Hsing-Lung Chen, Clarkson University and Shi-Kuo Chang, KSI ...............................................85 Visual Programming in Object-oriented Style K. Y. Cheng, Academia Sinica, W.H. Huang and M. S. Hwu, National Taiwan University ..................93 Intelligent Software Systems David Yun, Chair Southern Methodist University, Texas Imagery Analyst’s Assistant Chuck Smyrniotis, Lockheed Space Systems Division ................................................98 A Knowledge-based System for Engineering Design S. L. Wang, S. T. Peng and T. L. Teng, New York Institute of Technology ........................................104 Specifications and Transformations Tadao Murata and Sol Shatz, Co-Chair University of Illinois at Chicago Knowledge-oriented Specification Analysis and Transformation Shun-Tzu Tsai, Chien-Chiao Yang, Chih-Cheng Lien, Shih-Tsung Chen, Chien-Hao Hsiao, National Taiwan Institute of Technology....110 Deriving Temporal Logic Specifications from Predicate Transition Petri Net Xudong He and John A.N. Lee, Virginia Polytechnic Institute & State University .............................116 Petri Net Method for Real-Time Control of Rule-Based Systems Tadao Murata and Jaegeol Yim, University of Illinois at Chicago ......................... 122 Conceptual Modeling of Software Requirements Miin-Jeng Pan, Chien-Chiao Yang and Ping-Long Chang, National Taiwan Institute of Technology...128 Temporal Theory for Automatic Verification of Infinite State Concurrent Programs Tong G. Tang, Carnegie Mellon University ......................................................................................134 Query Languages Robert G. Reynolds, Chair Wayne State University, MI Recursive Query Specification Using Nested Databases Bogdan Czejdo, University of Alabama ........................................................ 140 Semantic Query Optimization and Prolog Jiann-Tsair Chen, Chiou-Rurng Tseng, and Wei-Pang Yang, Na1ional Chiao Tung University, Taiwan....146 A Form-based Pictorial Query Language For Pictorial Database Jinsong Wang and Qing- Yun Shi, Peking University, China ..............................................152 A Novel Way 1o Identify IneguaIity Query Subclasses Which possess the Homomorphism Property Tianzheng Wu, James L. Clark, Nong Zhou, New Mexico Institute of Mining and Technology; and Kazem Taghva, University of Nevada ...........158 Derivation of Magic Sets by Compilation Jiawei Han, Simon Frazer University, Canada; Lawrence J. Henschen and Ning Zhuang, Northwestern University.... 164 Panel Session on Software Engineering Process Framework and Application Case Studies D. Applebaum, Battelle and T. Walker, Co-Chair, Chemical Abstracts Panelists: S. K. Chang, KSI; S. DeFazio, Mead Data Central; T. B. Hickey, OCLC; J. King, NCR; J. Ochoalions, Compuserve; J. Toeniskoetter, BDM; B. W. Weide, Ohio State University Conceptualizing the Software Engineering Process Bruce W. Weide, The Ohio State University and Sam DeFazio, Mead Data Central ....172