Proceedings SEKE92 June, 15-20 1992 Fourth International Conference on Software Engineering and Knowledge Engineering Table of Contents Foreword..........................V Program Committee........................................VI Methodologies Formal Program Developments Directed by Operational Properties Evaluation... 1 Y.A. Ameur An Optomized Concurrency Control Algorithm for Transaction Brocessing.... 9 S. Wang and U.O. Gagliardi Knowledge-Based Transfonnational Programming...................17 J. Liu, O. Traynor, and B. Krieg-Bruckner Program Refinement Using Generic Object............................ 18 Y. Sato, Y. Morimoto, and T. Ichikawa Knowledge Engineering for SoAware Engineering A Knowledge-Based Method for Engineering Navigational Capability into User Interface Software......................................... 26 M. St. Jacques, D. Stevens, J. Getchius, and L. Lau Knowledge Acquisition and Validation for Implicit Expertise................. .32 G.-J. Hwang An Integrated System for Query Formulation and Database Design..............40 R.D. Semmel Recognizing Objects from Constraints.............................. 47 E. Maim A Kemel Architecture for a Computer Aided Knowledge Engineering Workbench... 55 Z. Karssen and C. Toussaint Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment....... 63 K. Kim and L J. Henschen A Support Envimnment for Knowledge-Based Software Design................ 71 M.T. Harandi and H.-Y. Lee Towards Dynamic Generation of Knowledge-Based Environments for Software Process Assistance...... 79 F.N. Akhras and S.S.S. Melnikoff Knowledge Representation Systems Modularity for Logical Knowledge Bases.......................,.... .87 G. Antoniou Uncertain Temporal Knowledge Management.......................... 94 Z. Chen Multiparadigm Blackboard Framework............................. 101 S. Vranes and Stanojovic A Knowledge Base Management System on Relation Model and Term Rewriting...... 102 J. Huai Software Engineering for Knowledge Engineering Compiling Rules and Queries in Knowledge Base Systems: A Substitution-Based Approach.... 109 J. Chun and L.J. Henschen Expert-Supported Object-Oriented Analysis in Knowledge Engineering........... 116 H. Schaschinger Applying Metrics to Rule-Based Systems............................ 123 P. Doyle and R. Verbruggen Extracting Procedural Knowledge from Software Systems Using Inductive Leaning in the PM system........131 R.G. Reynolds, J.l. Maletic, and E. Zannoni Reuse and Reverse Engineering Towards Reuse Reengineering of Old Software......................... 140 A. Cimitile Reusing Software with ESTRO (Evolving Software Repository)............... .150 B. Macchini A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs..........158 L. Miller and A. Quilici Supporting Multiple Domains in a Single Reuse Repository..................164 D. Eichmann The Reuse of Software Design and Software Architecture ”.................. 170 H. Li, J. van Katwijk, and A.M. Levy A Rule-Based Tool for Reverse Engineering from Source Code to Graphical Models....... 178 H. Huang, K. Sugihara, and 1. Miyamoto Tools for SEKE Automatic Configuration Management in a General Object-Based Environment...186 L. Bendix Prototyping in the GEDBLOG System.............................. 194 D. Aquilino, P. Asirelli, and P. Inverardi TEDIUM’s Window into Design.................................200 B.l. Blum ProTest: A Knowledge Analysis Tool for the Development of Expert Systems... 206 I. Watson and M. Norman The Software Development Workbench WSDW........................ 213 A. De Lucia, A. Imperatore, M. Napoli, G. Tortora, and M. Tucci Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.... 222 S. Tu and W. Sun Prototyping an Inconsistency Checking Tool for Software Process Models.......... 227 J.-K. Hao, F. Trousset, and J.-J. Chabrier Distributed Intelligent Control and Management: Concepts, Methods and Tools for Developing DICAM Applications..... 235 F. Hayes-Roth, L.D. Erman, A. Terry, and B. Hayes-Roth Automatic Layout of Diagrams for Software Specification................... 245 K. Sugihara, K. Yamamoto, and 1. Miyamoto An Object-Oriented Analysis Model of an Iconic Interface to Macsyma........... 253 A.M. Olson A Case Study of Knowledge Engineering in the Application Area of Elliptic Partial Differential Equations (PDE’s)... 261 V.V. Sotiropoulou and T.S. Papatheodorou A Distributed Load Building Algorithm for Parallel Compilation of Files in a Software Application.... 269 A. Hac and R.R. Loka Specification Correctness of Full First-Order Specifications......................... 276 W. Reif A Simulation-Based SDL Support System........................... 284 X. Li and O. Shigo A Petri Net Semantics for Logic Programs with Negation................... 292 T. Shimura, J. Lobo, and T. Murata A Graph Proof Procedure for Real Time Logic......................... 300 J.-H. Kao and L. Henschen Integrated Specification of Method and Graphic Knowledge................. .307 A.H Jlk ter Hofstede, T.F. Verhoef, E.R. Nieuwland, and G.M. Wijers System Design as Derivation via Rewriting........................... 317 F. Parisi-Presicce and A. Pierantonio Expert Systems A Blackboard Model to Design Integrated Intelligent Software Maintenance Environment..... 325 G. Avellis and L. Borzacchini Formal Specification of a Rule-Based Expert System............. 333 B.S. Todd and R. Stamper A Software Engineering Approach to the Design of a Medical Expert System........ 341 R. Stamper, B.S. Todd, and P.M. Macpherson A Hierarchical Blackboard Architecture for Distributed AI Systems.............. 349 M. Weiss and F. Stetter The Development of a Knowledge-Based System for Predicting Strategic Building Maintenance............ 356 I. Watson, P. Brandon, and A. Basden Two Real-Time Expert Systems for Monitoring and Maintenance of Digital Exchanges...364 F. Alcaraz, M. Nunez, A. Herndndez, and J.L. Bldzquez Object-Oriented Methodologies Quality-Driven Validation: A Link Between Four Research Traditions............ 370 I. Tervonen Object-Oriented Programming Testing Methodology..................... .378 C.-M. Chung and M.-C. Lee Unifying Multi-Paradigms in Software System Design..................... 386 Y. Deng and S.-K. Chang Applications Incremental, High Level Implementation of Prolog in an Open System Framework... 394 V. Loia, G. Cattaneo, and M. Quaggetto Opportunistic Production Planning Through Interactive Problem Solving..........404 E. Bertolotti Using Version Spaces to Support Incremental Searches in a Software Library... 412 Y.C. Wong Knowledge Engineering for Protein Structure and Motifs: Design of a Prototype System .. 420 S. Subramaniam, D.K. Tcheng, K. Hu, H. Ragavan, and LA. Rendell Quality Control Within an Expert System Prototype Development... 435 P. Flauto and S. MuseIla CASE Approach in Telecom. Software Development..................... 443 C. Caporaso, G. De Rosa, G. Fortunato, FA. Marra, and A. Pierri Languages For SEKE Software Processes Representation Languages: Survey and Assessment........... 455 P. Armenise, S. Bandinelli, C. Ghezzi, and A. Morzenti Towards Integrating Logic, Object, Frame, and Production.................. 463 T.-W. Chan and W.-R. Hwang Querying and Analysis of Software Specifications....................... 470 A.F. Abate, C. D’Apolito, G. Nota, and G. Pacini An Introduction to BagL..................................... 479 D.E. Cooke and A. Gutierrez Operational Construction of Integrity Constraints......,................ .487 A.T. Berztiss MERA: Meta Language for Software Engineering....................... 495 K. Takeda, D.N. Chin, and 1. Miyamoto A Constraint Satisfaction System on the Entity and Relationship Model........... 503 M. Sato and M. Hashimoto Supporting Inheritance in Relational Database Systems.................... 511 W. Sun, S. Guo, F. Arafi, and S. Tu A Software Engineering Environment for Modeling and Developing Knowledge-Intensive Systems.... 519 G. Bruno, G. Macario, and A. Gramrnatica Parallelism Profiling of an Ops5 Production System Interpreter................ 534 A. Sohn, J.-L. Gaudiot, and M. Guyot Mapping of Conceptual Specifications into Object-Oriented Programs............ 544 N. Kraiem and J. Brunet CASE The SEAR Tool Suite: CASE for Expert System Development in OPSS......... 545 PA. Lynch and TA. Cooper The Renaissance of CASE Through Computer Aided Reverse Engineering (CARE).... .551 J. Wagner Decomposition of Data Flow Diagrams............................. 560 T. Arndt and A. Guercio Layout Algorithms for DFD Processors............................. 567 K.P. Tan and T.C. Tan Software Process Management Software Process Modeling and Evolution in EPOS...................... 574 L. Jaccheri, J.-O. Larsen, and R. Conradi A Process Model for Software Process Management...................... 582 A. Hazeyarna and S. Komiya Maintainability via Structure Models and Software Metrics.................. 590 F. Lanubile and G. Visaggio An Iterative-Cyclic Software Process Model.......................... 600 M. Rauterberg SESAM - Simulating Software Projects...........,.......,..... .... 608 J. Ludewig, T. Bassler, M. Deininger, K. Schneider, and J. Schwille An Open System Protocol for Agent-Oriented Programming.......,......... .616 W.-R. Zhang, W. Wang, and A. Guercio Author Index....................................... 640