S E K E '9 5 Seventh International Conference on Software Engineering and Knowledge Engineering     FINAL PROGRAM June 22-24, 1995, Rockville, Maryland, USA ********************************************************************** Sponsored by: Knowledge Systems Institute (Founder and Organizer) The Johns Hopkins University Applied Physics Laboratory University of Pittsburgh In Cooperation with: ACM (SIGSOFT), IEEE Computer Society (TC on Software) Conference Location ------------------- The Conference hotel is the Holiday Inn Crown Plaza, Rockville, Maryland. It has modest prices, excellent facilities, and right behind it is the Twinbrooke Station of the Washington, D.C. Metropolitan subway system, which will take you quickly and safely to Washington's many famous landmarks. While in Washington, you will want to take advantage of the free admission to all of the Smithsonian Museums, including the Air and Space Museum, which houses the actual moon-landing capsule, and The National Art Gallery, with both traveling and permanent exhibits. In the Mall area, a continuous shuttle takes visitors to all of the major sights, including the Smithsonian Museums, Arlington Cemetery, The Capitol, and the renovated Union Station, a beautiful train station which also houses restaurants, shops, and a theater. Conference Chair: Vic Basili, University of Maryland Program Co-Chairs: Dave Hurley, University of Pittsburgh* *David Hurley is now with U S WEST Technologies, Boulder, CO. Ralph Semmel, The Johns Hopkins University Applied Physics Laboratory Publicity Chair: Panos K. Chrysanthis, University of Pittsburgh Demonstration Chair Daniel E. Cooke, University of Texas El Paso Panel and Workshop Chair: Robert G. Reynolds, Wayne State University Steering Committee: Bruce Buchanan, University of Pittsburgh Shi-Kuo Chang, University of Pittsburgh and Knowledge Systems Institute C. V. Ramamoorthy, University of California, Berkeley Program Committee: W. Richards Adrion University of Massachusetts, Amherst, USA Janis Barzdins University of Latvia, Latvia Fevzi Belli The University of Paderborn, Germany Alfs Berztiss University of Pittsburgh, USA Nikolaos G. Bourbakis State University of New York, Binghamton, USA Lionel C. Briand CRIM, Canada Hau-Ming Lewis Chau The Hong Kong Univ. of Science & Tech., Hong Kong Betty H.C. Cheng Michigan State University, USA Panos K. Chrysanthis University of Pittsburgh, USA Aniello Cimitile University of Naples- Federico II, Italy Daniel E. Cooke University of Texas El Paso, USA Alex Delis Queensland University of Technology, Australia David Eichmann University of Houston - Clear Lake, USA Michael Evangelist Florida International University, USA Philip A. Hausler IBM Corporation and University of Maryland, Baltimore County, USA Darrel Ince Open University, UK Robert J.K. Jacob Tufts University, USA Mehdi Jazayeri Technical University of Vienna, Austria Natalia Juristo Universidad Politecnica de Madrid, Spain R. Mall Indian Institute of Technology, Kharagpur, India Bruce E. Martin Sun Microsystems, USA Roland T. Mittermeir Universitaet Klagenfurt, Austria Sandro Morasca Politecnico di Milano, Italy Robert G. Reynolds Wayne State University, USA Peter G. Selfridge AT&T Bell Laboratories, USA Murat M. Tanik University of Texas at Austin, USA Genny Tortora Universita' di Salerno, Italy Jeffrey J.P. Tsai University of Illinois at Chicago, USA Wei-tek Tsai University of Minnesota, USA Frank van Harmelen University of Amsterdam, The Netherlands A. Inkeri Verkamo University of Helsinki, Finland Giuseppe Visaggio University of Bari, Italy Jason Tsong-Li Wang New Jersey Institute of Technology, USA Ben Whittle Rolls-Royce UTC, University of York, UK Scott Wolff U S WEST Technologies, USA Naoki Yonezaki Tokyo Institute of Technology, Japan ******************************************************************************* SEKE 95 FINAL PROGRAM ---------------- Wednesday 21 JUNE 1995 --------------------------------------- 6:30-8:30 Reception [Gazebo, included in the registration] 6:30-8:30 Pre-registration [near Gazebo] ---------------- Thursday 22 JUNE 1995 --------------------------------------- 7:30-8:30 Registration [near Plaza I] 8:30-10:00 Session 1: Plenary Session [Plaza 1] Welcome Invitation to SEKE 96 Introduction of Keynote Speaker Keynote Address by Al Davis, University of Colorado "Is Knowledge Engineering on the Path of Software Engineering?" 10:00-10:30 Break ------------------------------------------------- 10:30-12:00 Session 2A: Requirements Engineering (Chair: Y. Deng) [Plaza 1] "AURA-CFG/E: An Object-Oriented approach for Acquisition and Decomposition of DFDs from End users" O.A. Al-Saadoon, W.T. Tsai, H. El-bedour, University of Minnesota, MN "Computational Mechanisms for Distributed Requirements Engineering" Neil Maiden, A.G. Sutcliffe, City University, UK P. Assenova, P. Johanneson, Swedish Institute for Software Development, Sweden M. Jarke, H.W. Nissen, Lehrstuhl fur Informatik, Germany P. Constantopoulos, G. Spanoudakis, Institute of Computer Science, Hellas "Text-Based Requirements Modeling Support System" Sooyong Park, Richard P. Evans, James D. Palmer, George Mason University, VA "From formal requirements to Formal Design" P. Ciaccia, P. Ciancarini, W. Penzo, University of Bologna, Italy ------------------------------------------------- 10:30-12:00 Session 2B: Knowledge Acquisition and Representation (Chair: Robert. G. Reynolds) [Conference Theatre] "Multi-Agent Models as Methodological Guide for Knowledge Acquisition" Christine Ferraris, Universite de Savoie, France "Dynamic Pattern Knowledge in Software Engineering" Kurt Schneider, University of Colorado, CO "An SPN Knowledge Representation Scheme" J.R. Gattiker, N.G. Bourbakis, Binghamton University, NY "Apprenticeship Learning of Domain Models" Yinqing Liang, Advance Inc., VA, Amir Golshan, Price Waterhouse MD Gheorghe Tecuci, George Mason University, VA ------------------------------------------------- 10:30-5:00 Demonstration of CASE and Software Tools [Woodmont Room] (Listed at end of of program) 12:00-1:30 Lunch ------------------------------------------------- 1:30-3:00 Session 3A: Panel: [Plaza 1] The Future of Software Engineering Education Organizers: Joe Urban and Dan Cooke Panelists: Doris L. Carver, Louisiana State University Daniel E. Cooke, University of Texas El Paso Roland T. Mittermeir, Universitat Klagenfurt ------------------------------------------------- 1:30-3:00 Session 3B: Object Technology (Chair: Nikolaos G. Bourbakis) [Conference Theatre] "Combining Constraints and Objects" C. Oussalah, V. Puig, Parc Scientifique Georges Besse, France "Class Transmutation and other Evolution Concepts" Hong Jiang, Xavier Castellani, CEDRIC IIE (CNAM) research lab, France "An object view = methods + events" Dale Stanbrough, Royal Melbourne Institute of Technology, Australia "Mathematical Models for Object Oriented Systems" *Claudia Pons, Universidad Nacional de La Plata, Argentina ------------------------------------------------- 3:00-3:30 Break ------------------------------------------------- 3:30-5:30 Session 4: Advances in SE & KE There will be short presentations of interesting work in four sub-sessions organized into two parallel tracks. Each author will describe the problem being presented, the approach to the solution, the results recorded, and the goals of the future research. The work will be published in the proceedings. The full list of the papers to be presented follow. ------------------------------------------------- 3:30-4:30 Session 4A: Advances in Object Technology (Chair: Bruce E. Martin) [Plaza I] "Integration of Task Level Architecture with O-O Technology" R. Khosla, T. Dillon, La Trobe University, Australia "The Temporal Dimension of Conceptual Objects" Naoufel Kraiem, Universite Paris I, Joel Brunet, Universite Paris XII, Sylviane R. Schwer, Universite Paris XIII, France "Representation and Adaptation of Organization Coordination Knowledge for Autonomous Agent Systems" Trent Jaeger, Atul Prakash, University of Michigan, MI "TCO: a Tool to map Communication components to Objects" Noureddine Kara Zaitri, Xavier Castellani, Institut D'Informatique D'Enterprise France "A Development Methodology for KB/DB Coupling Based on the Object-Oriented EA Model" Sun-Young Oh, Chung Nam Junior College, Doo-Kwon Baik, Korea University, Korea ------------------------------------------------- 3:30-4:30 Session 4B: Advances in Software Engineering (Chair: Philip A. Hausler) [Conference Theatre] "Visual Scenarios for Validation of Requirements Specification" V. Lalioti, B. Theodoulidis, UMIST, UK "Formal Verification of the File Transfer Protocol with Symbolic Model Checking" Fuyau Lin, Santa Clara University, CA "An Integrated Testing Framework for Object-Oriented Programs-work in progress" Shih-Sung Liao, Kai H. Chang, Stephan Seidman, Auburn University, AL "A Graphed-Based Model for Dynamic Process Nets" Bernhard Westfechtel, Lehrstuhl fur Informatik III, Germany ------------------------------------------------- 4:30-5:30 Session 4C: Advances in Knowledge Systems (Chair: Natalia Juristo) [Plaza I] "A Unified Framework for Knowledge Representation: A Formal Object-Oriented Approach" Panos A. Patsouris, University of the Witwatersrand, S. Africa "Evaluation of Case-Oriented Planning Support System -SMAP- for Business System" Norihiko Kugumiya, Shuji Soga, Takenao Ohkawa, Norihisa Komoda, Osada University, Japan "Knowledge Representation on the Level of Natural Language for Purposes of Automatic Programming" Jan Kazimierczak, Technical University of Wroclaw, Poland "A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems" John Debenham, University of Technology, Australia ------------------------------------------------- 4:30-5:30 Session 4D: Advances in Information Systems (Chair: Roland T. Mittermeir) [Conference Theatre] "A Generation Process of Object-Oriented Databases From E/R Schemas" Ayache M., Flory A., L.I.S.I.-INSA, Lyon, France "Integrated Design of Object-Oriented Real-Time Control and Database Systems" Maria Ligia B. Perkusich, Angelo Perkusich, Ulrich Schiel, Universidade Federal da Paraiba, Brazil "Optimizing Complex Objects Queries in A Visual Data Manipulation Language" Takao Miura, Sanno College, Japan "Engineering an Ingres Active Database using Conceptual Design Knowledges Elements" Vicki Constantinidis, Arkady Zaslavsky, Monash University, Australia "Rule-Based Approach to Business Modeling" Janis Barzdins, Guntis Barzdins, and Audris Kalnins, University of Latvia Latvia ------------------------------------------------- 6:30-7:30 Social Hour (Cash Bar) [Plaza II] 7:30-9:30 Dinner (included in the registration) ------------- FRIDAY 23 JUNE 1995 ---------------------------------------------- 08:30-10:00 Session 5A: Specification Languages (Chair: Hau-Ming Lewis Chau) [Plaza I] "The Interphase Activity of Requirement Migration" Daniel E. Cooke, University of Texas at El Paso, TX "PZ Nets- A Formal Method Integrating Petri Nets with Z" Xudong He, North Dakota University, ND "Formal Specification and Metaprogramming in the EXPRESS Language" Yamine AIT-AMEUR, Frederic Besnard, Patrich Girard, Guy Pierra, Jean Claude Potier, ENSMA-LISI, France "Using Specification and Description Language (SDL) for Capturing and Reusing Human Experts' Knowledge in Software Design" Behrouz H. Far, Zenya Koono, Saitama University, Japan ------------------------------------------------- 08:30-10:00 Session 5B: Reuse and Reusability (Chair: A. Inkeri Verkamo) [Conference Theatre] "Towards Reusability Based Upon Similar Computational Behavior" Ashish Jain, Leon Sterling, Marc Kirschenbaum, Case Western Reserve University, OH "Feature-Oriented Classification for Software Reuse" Jurgen Borstler, Umea University, Sweden "Development of Resuable Expert System Components: A Software Engineering Approach" W. Dai, Telecom Australia Research Laboratories, Australia "A Framework for Analysing Reuse Knowledge" Muthu Ramachandran, Philips Research Labs, Ian Sommerville, Lancaster University, UK ------------------------------------------------- 08:30-3:00 Demonstration of CASE and Software Tools [Woodmont Room] (Listed at end of of program) 10:00-10:30 Break ------------------------------------------------- 10:30-12:00 Session 6A: Visual Technology and User Interface (Chair: Giuseppe Visaggio) [Plaza I] "Efficient Parsing of Data-Flow Graphs" Gennaro Costagliola, Andrea De Lucia, Universita di Napoli "Federico II", Sergio Orefice, Genoveffa Tortora, Universita di Salerno, Italy "Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications" C. Bernardeschi, A. Fantechi, Universita' di Pisa, F. Paterno' Istituto del C.N.R., Italy "From Specification to Building a GUI using Functional Programming" M.Zajicek, K. Brownsey, R. Martine, Oxford Brookes University, UK "Visual Language Syntax and Semantics for Complex Reactive Systems" H. Lewis Chau, K.F. Chan, Hong Kong University of Science & Technology, Hong Kong ------------------------------------------------- 10:30-12:00 Session 6B: Knowledge Systems (Chair: Natalia Juristo) [Conference Theatre] "Quasi-Experiment as a Tool for Knowledge Engineering: An Example from Intelligent Tutoring" Scott Wolff, Charles Bloom, Anoosh Shahidi, U S West Technologies "Fault diagnonis expert system for robots: a knowledge level prototyping experience" P. Tchounikine, C. Choquet, Universite de Nantes, France "An Approach Based on 'Frames' for Knowledge Representation and Scenes Interpretation in a Robot-Vision System" M. Nour, Universite de Valenciennes, K. Ouriachi, Universite de Pau, France "Object Oriented Design of a Track-Vehicle System" Angelo Perkusich, Jorge C.A. de Figueiredo, Universidade Federal da Paraiba Brazil ------------------------------------------------- 12:00-1:30 Lunch (included in the registration) 1:30-3:30 Session 7: Plenary Session [Plaza I] Keynote Address by Frank McGarry, CSC "Lessons from 20 years of Experimental Software Engineering" Panel: Visualization of Software Systems in the Year 2000 Organizer and Moderator: S.K. Chang Panelists: Prof. Catalin Roman, Washington University Dr. Stephen G. Eick, AT&T Prof. John T. Stasko, Georgia Institute of Technology Professor Jun'ichi Miyao, Hiroshima University ------------- SATURDAY 24 JUNE 1995 ------------------------------------------- 08:30-10:00 Session 8A: Verification and Validation (Chair: Suk-Chung Yoon, Widener University) [Plaza I] "Formal Verification of a Message-Passing Protocol with Model Checking" Arthur Lin, Fuyau Lin, Santa Clara University, CA "A Cognitive Framework of Debugging" Byung-do Yoon, Oscar N. Garcia, The George Washington University, Washington DC "Comparing models for identifying fault-prone software components" F. Lanubile, A. Lonigro, G. Visaggio, Universita di Bari, Italy "Hierarchy Testing of Object-Oriented Program Structure" Chi-Ming Chung, Chun-Chia Wang, and Timothy K. Shih, Tamkang University, Taiwan ------------------------------------------------- 08:30-10:00 Session 8B: Reengineering (Chair: David Eichmann) [Conference Theatre] "The Decomposition Slice Display System" Bradley M. Kuhn, Dennis J. Smith, Keith B. Gallagher Layola College, MD "Pattern-Driven Reverse Engineering" *Harald C. Gall, Rene R. Klosch, Vienna University of Technology, Austria Roland T. Mittermeir, University of Klagenfurt, Austria "Classifying programs: a key for program understanding" Francoise Balmas, Universite Paris 8, France "Modelling software components for reuse" John van den Elst, Frank van Harmelen, Monique Thonnat, INRIA Sophia Antipolis France ------------------------------------------------- 10:00-10:30 Break ------------------------------------------------- 10:30-12:00 Session 9A: Database Techniques (Chair: Jason Tsong-Li Wang) [Plaza I] "Semantic Query Processing in Deductive Object-Oriented Databases" Suk-Chung Yoon, Widener University, PA, Cyril S. Ku, Bellcore, NJ "EQL: An Easy-to-Use Query Language for Object-Oriented Databases" Wen-Wen Pan, Wei-Pang Yang, National Chiao Tung University, Tiawan "Knowledge Based System for Tranforming an Object Oriented Conceptual Model into a Relational Logical Model" Elizabeth Chang, T.S. Dillon, A. Ling, La Trobe University, Australia "The Use of Integrity Constraints in Software Engineering" A.Q. Gates, D.E. Cooke, University of Texas at El Paso, TX ------------------------------------------------- 10:30-12:00 Session 9B: Workshop: [Conference Theatre] Domain Engineering - A research agenda Organizers: David Eichmann and Mari Georges 12:00-1:30 Lunch ------------------------------------------------- 1:30-3:00 Session 10A: Distributed Systems (Chair: Naoki Yonezaki) [Plaza I] "Event Adaption for Integrating Distributed Applications" Chen Chen, James M. Purtilo, University of Maryland, MD "An Environment for Specification, Simulation and Testing of Distributed Object-Oriented Systems" Shengkai Lu, Yi Deng, Florida International University, FL "Anticipated Faults in Real-Time Distributed Systems" Jorge C.A. de Figueiredo, Angelo Perkusich, Federal University of Paraiba, Brazil, S.K. Chang, University of Pittsburgh, PA "A G-Net Module Synthesis Method for Software Applications" Vladimir P. Sliva, AT&T Bell Labs, IL Tadao Murata, Univ. of Illinois at Chicago, IL ------------------------------------------------- 1:30-3:00 Session 10B: Workshop: [Conference Theatre] Evolution Based Approaches to Software Engineering Organizer and Moderator: Robert G. Reynolds Panelists: Dr. Victor Basili, University of Maryland Dr. Vaclav Rajlich, Wayne State University Dr. Nickoloas Bourbakis, SUNY-Binghamton Dr. Justinian Rosca, University of Rochester 3:00-3:30 Break ------------------------------------------------- 3:30-5:00 Session 11A: Tools and Environments (Chair: Bruce E. Martin) [Plaza I] "Problems in interfacing tools of different development environments" A. Inkeri Verkamo, Greger Linden, University of Helsinki, Finland "The Graph Editor of EdGen, A Tool to aid the Automated Construction of Customized Graph Editors" F. Arefi, M. Milani, A. Winklaar, Florida International University "Contraints, Rules and Modelisation in a Meta-Case Tool" A. Lapujade, University of Toulouse I, France "Cooperation Patterns for process-centered Software Development Environments" Wilhelm Schafer, University of Paderborn, Stefan Wolf, Gesellschaft fur Systementwicklung mbH, Germany ------------------------------------------------- 3:30-5:00 Session 11B: Chair's Session (Chair: Dave Hurley) [Conference Theatre] "DODAN/2: An Executable Specification Language for OS/2" Steven A. Jent, Southern Methodist University, TX "Parallel Execution of Logic Programs with Breadth-first Search" Won S. Lee, Yonsei University, Phillip C-Y Sheu, University of California "Prolog for Software Maintenance" G. Canfora, A. Cimitile, University of Salerno, M. Tortorella, University of Naples, Italy "A Dedicated Process Design Language based on EER-models, Statecharts and Tables" G. Junkermann, University of Dortmund, Germany ------------------------------------------------- Demonstration of CASE and Software Tools [Woodmont Room] Thursday 10:30-5:00 and Friday 8:30-3:00 1. Decomposition Slice Display System B. Kuhn and D. Smith Loyola University 2. Integrated Toolkit for Pattern Matching and Pattern Discovery in Scientific, Program, and Document Databases Jason Wang New Jersey Inst. of Technology 3. IDEF5 Demo Rich Tye Knowledge Base Systems Inc. 4. CAPS Luqi Naval Postgraduate School 5. RIGAL M. Auguston New Mexico State University ******************************************************************************** ============================================================================== SEKE'95 :: JUNE 22-JUNE 24, 1995 :: REGISTRATION ______________________________________________________________________________ | NAME ACM/IEEE Membership Number: | | | | ADDRESS: | | | | PHONE: FAX: E_MAIL: | |____________________________________________________________________________| |____________________________________________________________________________| | | | | | Please check | Before March 25,1995 | After March 25,1995 | |___________________________|__________________________|_____________________| | | ACM/IEEE member | | | | | registration | $315 | $395 | |___|_______________________|__________________________|_____________________| | | Non-member | | | | | registration | $395 | $475 | |___|_______________________|__________________________|_____________________| | | | | | | |Extra copy proceedings*| $55 | $55 | |___|_______________________|__________________________|_____________________| | | | | | | | Extra banquet ticket | $55 | $60 | |___|_______________________|__________________________|_____________________| | | | | | | |Extra 6/23 lunch ticket| $25 | $25 | |___|_______________________|__________________________|_____________________| | | | | | | | Hotel deposit+ | $100 Arrival date ( ) Departure date ( )| |___|_______________________|__________________________|_____________________| | | |+ Hotel rate is $93 per night for single, and $98 for double. Price does | | not include tax. To contact hotel, call 800-4654329 or fax 301-4680163 or| | write to Crown Plaza Holiday Inn, 1750 Rockville Pike, Rockville, MD 20852| | Tel 301-468-1100. | |* Domestic first-class mail add US$8.00, International by air add US$35.00, | | International by surface add US$15.00. | | TOTAL: USD ______________ | |____________________________________________________________________________| | | | Please make checks payable to SEKE'95, and send them to | | | | SEKE'95 | | Knowledge Systems Institute | | 3420 Main Street Tel: +1-708-679-3135 | | Skokie, IL 60076 Fax: +1-708-679-3166 | | USA Email: seke95@nova.ksi.edu | | | | or send money by Direct Wire Transfer to: Harris Bank | | Glencoe, Illinois, USA, Routing Number 071922227 | | Knowledge Systems Institute Account Number 661791 | |____________________________________________________________________________|