[Compsac98 logo]
   
The conference provides a major international forum for researchers, practitioners, managers, and policy makers to present and discuss their visions, research and development results in computer software and various applications. There are three keynote sessions, twenty-two technical paper sessions, seven panel sessions, four industry sessions, and nine professional development seminars. 
PROFESSIONAL DEVELOPMENT SEMINARS
Monday August 17 

9.00 a.m. - 5.00 p.m. (one full day) 

Metric Based Software Project Management 

D. Simmons, Texas A&M Univ., USA 

9.00 a.m. - 12.15 p.m. (one-half day) 

Distributed Systems Construction 

E de Jong, H. Signaal., The Netherlands 

High Level Issues in Internet Security 

E. Fernandez, Florida Atlantic Univ., USA 

1.45 p.m. - 5.00 p.m. (one-half day) 

Decision Support Systems 

A. Hunter, Sunderland Univ., UK 

Data Mining 

B. Thuraisingham, MITRE Corp., USA

Tuesday August 18 

9.00 a.m. - 5.00 p.m. (one full day) 

Web Infections and Protections 

A. Kwong, Alliance/BGSU, USA 

Network Engineering: A Process and Quality 

S. Bhattacharya, Arizona State Univ., USA 

9.00 a.m. - 12.15 p.m. (one-half day) 

CORBA: Concepts and Applications 

D. Curtis, Object Management Group, USA 

1.45 p.m. - 5.00 p.m. (one-half day) 

From Frameworks to Plug-and-Play Components 

E. Hughes, MITRE Corp., USA

CONFERENCE-AT-A-GLANCE
WEDNESDAY, AUGUST 19, 1998 

9:00 am - 10:30am 

Opening Session 

Keynote Address I: Distributed Object Management and CORBA: David Curtis, Object Management Group, USA 

11:00 am - 12:30 pm  

Session 1: Design Patterns & Frameworks I 

Session 2: Panel: Testing Complex Multi-Process of Software Systems 

Session 3: Object-Oriented Reengineering 

Session 4: Industry Presentation - I: Migrating Legacy Systems - I 

2:00 pm - 3:30 pm 

Session 5: Data Management 

Session 6: Panel: Directions and Challenges for Middleware Technology 

Session 7: Industry Presentation II: Migrating Legacy Systems - II 

Session 8: High Assurance and Fault Tolerant Systems 

4:00 pm - 6:00 pm 

Session 9: Software Architecture and Components 

Session 10: Transformational Formal Methods 

Session 11: Software Quality 

Session 12: Software Maintenance

THURSDAY, AUGUST 20, 1998 

9:00 am - 10:00 am 

Plenary Session 

Keynote Address II: Directions and Challenges in Information Security 

Elisa Bertino, Univ. of Milan, Italy 

10:30 am - 12:30 pm 

Session 13: Distributed Object Management/Common Object Request Broker Architecture 

Session 14: Panel: Security and the World Wide Web 

Session 15: Software Engineering Practices 

Session 16: Distributed Systems 

2:00 pm - 3:30 pm 

Session 17: Design Patterns & Frameworks II 

Session 18: Panel: Real-time Systems 

Session 19: Information and Systems Security 

Session 20: Industry Presentation III: Building and Evolving Large Systems 

4:00 pm - 6:00 pm 

Session 21: Formal Specifications 

Session 22: Computer Supported Cooperative Work 

Session 23: Web Information Management 

Session 24: Software Testing and Verification

FRIDAY, AUGUST 21, 1998 

9:00 am - 10:00 am 

Plenary Session 

Keynote Address III: New Information Services for an Integrated Visionary System 

Mark Maybury, MITRE Corp., USA 

10:30 am - 12:30 pm 

Session 25: Reuse and Re-engineering for Software Evolution 

Session 26: Panel: Euro-Conversion and Year 2000 problem 

Session 27: Enterprise Computing and Project Management 

Session 28: Application Systems 

2:00 pm - 3:30 pm 

Session 29: Web Data Access for Hypermedia Systems 

Session 30: Panel: Component Architectures 

Session 31: Scheduling 

Session 32: Industry Presentation IV: Challenges in Data Management and Mining for Command and Control Applications 

4:00 pm - 5:00 pm 

Session 33: Closing Session: 

Panel: Directions for Software Technology

Sponsored by: IEEE Computer Society  

Hosted by: Technical University of Vienna  in cooperation with Klagenfurt University 

GENERAL INFORMATION
 
Official language: 

Official language of the conference and the professional development seminars is English. 

The national language of Austria is German. Many Austrians, especially those in the travel and service industries, also speak English. 

Conference Site: 

The conference and professional development seminars will take place at the Technical Univ. of Vienna, Wiedner Hauptstrasse 8-10, 1st floor, A-1040 Vienna. It is within walking distance or with a short train ride from the hotels listed at the end of this announcement. 

Social Events: 

Welcome Reception: 6:00 pm - 7:30 pm, on Tuesday, August 18 in the "Festsaal" of the Technical Univ. of Vienna (main building), Karlsplatz 13, 1st floor, A-1040 Vienna. 

Concert: 6:15 pm - 7:15 pm on Wednesday, August 19 in the "Festsaal" of the Technical Univ. of Vienna (main building), Karlsplatz 13, 1st floor, A-1040 Vienna.  

Banquet: 8:00 pm - 11:00 pm on Thursday, August 20 in the "Wappensaal" (1st floor) at the Vienna City Hall ("Rathaus"), entry: Lichtenfelsgasse 2, 1082 Vienna.  

Visa Requirements: 

Austria is a member of the European Union. Hence, most participants will not need visa to enter Austria. Consult the nearest Austrian Embassy or Consulate regarding the visa arrangements as early as possible. 

Local Transportation: 

Vienna has an excellent public transportation system of underground, tram, express train and bus.

From the airport: Taxi from the Vienna International Airport to the hotel will cost about ATS 350 (ask for the special airport rate). There is a regular bus service from Vienna Airport to Vienna Hilton Hotel (City Air Terminal) and the train stations in the city. From any of these, you can take a taxi to the hotel for approx. ATS 100. The airport bus fare is ATS 70. To get to the hotel, you may also use the underground from the train stations or the air terminal. Using the underground (U-Bahn): Those who stay at Astron Suite Hotel take U3 to stop "Neubaugasse", and take the Stiftgasse exit. For those at other hotels, which are close to the conference site as well, take U1 to stop "Karlsplatz", and take the Resselpark exit. For more detailed information, check the web site.

Note that when you use the local public transportation, you have to purchase a ticket in advance at a machine located at underground stations (ATS 17 / Zone1) or in trams and buses (ATS 20). Trips of any length can be undertaken in any one direction, including transfers, with the same ticket. If you travel without a valid ticket you risk a fine of ATS 500. In newspaper and tobacco-shops as well as at the underground vending machines, you can also buy tickets for unlimited use of public transportation valid for 24 hours (ATS 50,-), 3 consecutive days or for 8 arbitrary days at reduced rates.

Climate: 

Austria has continental climate. In August an average temperature of about 25o C is usual. However, a shower might cool off the scene, and a light sweater might protect you from 15o C or less in the morning. 

Shopping: 

In general, shops are open Monday - Friday from 9:00am to 6:30pm, Saturday from 9am to 12:00am. Shopping centers and most of the shops in the center are open till 5pm. Shops are closed on Sunday and on public holidays. Please note that Saturday, August 15, is a public holiday. 

Sightseeing: 

The City of Vienna, located in the heart of Europe, offers the visitor many attractive sites reflecting its 2000-year history and provides a wide range of cultural activities. A description of the sightseeing tour is given at the end of this announcement. Make reservation along with your hotel reservation. 

Tipping: 

Some tipping is always appreciated, but there is no fixed rule on how much it should be. If your tip comes close to 10%, your waitress, taxi driver, etc. should be as happy as you were with the service. 

Conference and Seminar Registration: 

All participants outside Austria should send the completed registration form at the end of this announcement with payment to Registration Chair Michael Wagner in the U.S. Those in Austria should send the completed registration form with payment to Operations Chair Roland Mittermeir in Austria (see instructions in the registration form). Completed registrations with full payment received before July 20, 1998 will have substantial savings. 

The registration desk is open:
Mo, We: 8:00 a.m. - 5:00 p.m.
Tu, Th: 8:30 a.m. - 6:30 p.m.
Fr: 8:30 a.m. - 4:00 p.m.

Hotel and Sightseeing Tour Reservation: 

The headquarters hotel of COMPSAC 98 is the Astron Suite Hotel. Recommended hotels and sightseeing tours are provided at the end of this announcement. All hotel and tour reservations must be made with Austropa Interconvention (see instruction at the end of this announcement). The cut-off date is July 15, 1998

 

For further information, see COMPSAC 98 home pages at one of two sites: 

http://compsac98.ifi.uni-klu.ac.at/compsac98/ or http://enws178.eas.asu.edu/compsac98/ 

 

Austrian Airlines is the official carrier for COMPSAC 98 and offers the most connections to and from Vienna. Participants of COMPSAC 98 will receive discount on all airfares, except certain promotional fares, on Austrian Airlines flights. Contact the nearest Austrian Airlines office or travel agent, and refer to CODE - CSAC98/ VIECONG. In case of ticket issued at a travel agency, the agent is asked to contact the nearest Austrian Airlines office. 

 

COMPSAC 98 COMMITTEES
 
STANDING COMMITTEE  

Stephen S. Yau, Chair, Arizona State Univ., USA 

Jung W. Cho, KAIST, Korea 

Albert Hawkes, Software Eng. Assoc., Inc. USA 

Kinji Mori, Tokyo Inst. of Tech., Japan 

C. V. Ramamoorthy, Univ. of Calif. Berkeley, USA 

CONFERENCE CHAIR 

Mehdi Jazayeri, Technical Univ. of Vienna, Austria 

PROGRAM CO-CHAIRS 

Bhavani Thuraisingham, MITRE Corp., USA 

Akira K. Onoma, Hitachi Software Engr. Co. Ltd., Japan 

Maarten Boasson, H. Signaal., The Netherlands 

MEMBERS 

Mikio Aoyama, Niigata Inst. of Tech., Japan 

Doo-Hwan Bae, KAIST, Korea 

Sourav Bhattacharya, Arizona State Univ., USA 

Lubomir F. Bic, Univ. of California at Irvine, USA 

Joseph Cavano, Air Force Research Lab., USA 

Carl Chang, Univ. of Illinois at Chicago, USA 

William C. Chu, Feng Chia Univ., Taiwan 

Annie Combelles, Objectif Technologie, France 

Malcolm Corbin, DERA, UK 

Harald Gall, Technical Univ. of Vienna, Austria 

Albert K. Hawkes, Software Engr. Assoc., Inc., USA 

Xudong He, North Dakota State Univ., USA 

Eric Hughes, MITRE Corp., USA 

Kane Kim, Univ. of California at Irvine, USA 

Arnold Kwong, Alliance/BGSU, USA 

Gerard Le Lann, INRIA, France 

Michel Lemoine, Onera Cert/DPRS, France 

Wei Li, Beijing Univ. of Aero. And Astr., China 

Roland Mittermeir, Klagenfurt Univ., Austria 

Kinji Mori, Tokyo Inst. of Tech., Japan 

Kiyoo Nakamura, Alpha Systems, Inc., Japan 

Hans Rischel, Tech. Univ. of Denmark, Denmark 

Raymond Paul, Dept. of Defense, USA 

Guylaine M. Pollock, Sandia National Lab., USA 

Dick B. Simmons, Texas A & M Univ.,USA 

J. Barrie Thompson, Univ. of Sunderland, UK 

Wei-Tek Tsai, Univ. of Minnesota, USA 

T.H. Tse, The Univ. of Hong Kong, Hong Kong 

Maarten van Steen, Vrije Univ., The Netherlands 

Feng-Jian Wang, National Chiao Tung Univ., Taiwan 

Poh-Yee Wong, National Computer Board, Singapore 

Tsuneo Yamaura, Hitachi Software Engr. Co., Ltd., Japan 

Hongji Yang, De Montfort Univ., UK 

PROCEEDINGS EDITOR 

Eric Hughes, MITRE Corp., USA 

OPERATIONS COMMITTEE 

Roland Mittermeir, Chair, Klagenfurt Univ., Austria 

Herald Gall
Vesna Hassler
Renate Kainz, Technical Univ. of Vienna, Austria 

Helfried Pirker
Heinz Pozewaunig, Klagenfurt Univ., Austria

REGISTRATION CHAIR 

Michael Wagner, Arizona State Univ., USA

 

 

COMPSAC 98 PROGRAM

Tuesday August 18, 1998

6.00 pm - 7:30 pm Welcome Reception

"Festsaal", Technical University of Vienna

(main building)

Wednesday August 19, 1998

9:00 am - 10:30 am Opening Session

Welcome: Mehdi Jazayeri, Technical Univ. of Vienna, Austria, Conference Chair

Additional Greetings: Stephen S. Yau, Arizona State Univ., USA, Standing Committee Chair

Program Overview: Bhavani Thuraisingham, MITRE Corp., USA; Akira K. Onoma, Hitachi Software Engr. Co. Ltd., Japan; Maarten Boasson, H. Signaal., The Netherlands, Program Co-Chairs

Operational Info: Roland Mittermeir, Klagenfurt Univ., Austria, Operations Chair

Keynote Address I: Distributed Object Management and CORBA, David Curtis, Object Management Group, USA

10.30 am - 11.00 am Break

11:00 am - 12:30 pm Four Parallel Sessions

Session 1. Design Patterns and Frameworks I

Chair: M. Corbin, DERA, UK

A Unified Framework for Multimedia Applications Development: C. Yerrapragada, P. Fisher, K. Murthy, Univ. of North Texas, USA

The Essence of the Visitor Pattern: J. Palsberg, Purdue Univ., USA and C. B. Jay, Univ. of Tech., Australia

Concurrent Development on a Framework and its Application: H. Suganuma, T. Syomura, F. Tsunoda, Hitachi Software Engr. Co., Ltd., Japan

Session 2. Panel: Testing Complex Multi-Process of Software Systems

Chair: D. Simmons, Texas A&M Univ., USA

Panelists:

H. Fujihara, Hewlett Packard, USA
P. Grabow, Baylor Univ., USA
R. Paul, Dept. of Defense, USA
Session 3. Object-Oriented Reengineering

Chair: M. Van Steen, Vrije Univ., The Netherlands

Binding Object Models to Source Code: An Approach to Object-Oriented Re-Architecturing: H. Gall, J. Weidl, Technical Univ. of Vienna, Austria

Object-Oriented Model Refinement Technique in Software Reengineering: W. Park, S. Min, D. Bae, Korea KAIST and P. Mah, System Engr. Research Inst., Korea

Reengineering the Class - An Object Oriented Software Maintenance Activity: G. Subramaniam, NORTEL-Northern Telecom, and E. Byrne, Global Consultant, Inc., USA

Session 4. Industry Presentation - I

Migrating Legacy Systems - I

Chair: A. Kwong, Alliance/BGSU, USA

Experience with Migration Legacy Systems at Baan: T. van Donge, Baan Company, The Netherlands

12:30 pm - 2:00 pm Lunch Break

2:00 pm - 3:30 pm Four Parallel Sessions

Session 5: Data Management

Chair: L. F. Bic, Univ. of California, Irvine, USA

On Analyzing the Errors in a Selectivity Estimation Method Using a Multidimensional File Structure: S. Kim, W. Whang, Kangwon National Univ., Korea

A Modular Java API for Object-Oriented Databases: R. Ege, Y. Battikhi, P. Pardo, J. Uppal, Florida International Univ., USA

Range-Based Bitmap Indexing for High Cardinality Attributes with Skew: K. Wu, P. Yu, IBM T.J. Watson Research Center, USA

Session 6: Panel: Directions and Challenges for Middleware Technology

Chair: M. Boasson, H. Signaal., The Netherlands

Panelists:

J. Calvin, MIT Lincoln Laboratory, USA
J-L. Broguiere, Thomson, UK
E. de Jong, H. Signaal., The Netherlands
J. Putman, MITRE Corp., USA
Session 7. Industry Presentation II

Migrating Legacy Systems - II

Chair: R. Mittermeir, Klagenfurt Univ., Austria

Interfacing to Legacy Systems Using Object-Oriented Technology: B. Healton, Elegant Tech. Solutions, Inc., USA

CORBA Objects in Advanced Intelligent Networks and Service:

Creation Environments, M. McKee, Alliance/BGSU, USA

Session 8. High Assurance and Fault Tolerant Systems

Chair: K. Nakamura, Alpha Systems Inc., Japan

Revisit Consensus Problem on Dual Link Failure Mode: S.C. Wang, K.Q. Yan, Chao Yang Univ. of Tech., Taiwan

Architecture of ROAFTS/Solaris: A Solaris-Based Middleware for Real-time Object oriented Adaptive Fault Tolerance Support: E. Shokri, P. Crane, SoHaR Inc.; J. Dussault, Rome Laboratory; K. Kim, C. Subbaraman, Univ. of California at Irvine, USA

A Recipe for Certifying High Assurance Software: J. Voas, Reliable Software Technologies Corp., USA

3.30 pm - 4.00 pm Break

4:00 pm - 6:00 pm Four Parallel Sessions

Session 9. Software Architecture and Components

Chair: W. Chu, Feng Chia Univ., Taiwan

Describing Software Architectures:System Structure and Properties: W. Eixelberger, Information Tech. and Control Systems, Norway, H. Gall, Technical Univ. of Vienna, Austria

M-base: End-user Initiative Application Development based on Message Flow and Componentware: T. Chusho, M. Matsumoto, and Y. Konishi,. Meiji Univ., Japan

A Model for Designing Adaptable Software Components: G. Heineman, Worcester Polytechnic Inst., USA

Component-based Integrated Systems Development: A Model for the Emerging Procurement-centric Approach to Software Development: V. Tran, ArcQuest Corp., USA

Session 10. Transformational Formal Methods

Chair: T. H. Tse, Univ. of Hong Kong, HK

The Transition of Context-free Textual Languages into a Visual Programming Notation via Graph Techniques and a Metal Tool: F. Buhler, De Montfort Univ., UK

Formal Specification and Simulation of Software through Graph Grammars: A General but Minimal Approach: R. Freund, H. Potzl, T. Svizensky, Tech. Univ. of Vienna, and C. Stary, Univ. of Linz, Austria

Automatic Refinement of Distributed Systems Specifications Using Program Transformations: A. de Santana, A. do Prado, W. de Souza, Federal Univ. of Sao Carlos, and M. Sant'Anna, Rio de Janeiro Catholic Univ., Brazil

Transformations on Hierarchical Predicate Transition Nets - Part I: Abstractions and Refinements: X. He, North Dakota State Univ., USA

Session 11. Software Quality

Chair: P. Grabow, Baylor Univ., USA

Software Products Quality Improvement with a Programming Style Guide and a Measurement Process: A. Ayerbe, I. Vazquez, Robotiker, Zamudio, Spain

Developing Situationally Specific Methods Through Stakeholder Collaboration to Improve Software Quality: H. Edwards, B. Thompson, C. Hardy, Univ. of Sunderland, UK

Siemens Process Assessment and Improvement Approaches: Experiences and Benefits: T. Mehner, T. Messer, P. Paul, F. Paulisch, P. Schless, A. Volker, Siemens Corp., Germany

A Technique for Early Measurement and Improvement of Software Quality: J. Tian, Southern Methodist Univ., USA

Session 12. Software Maintenance

Chair: A. Hawkes, Software Engr. Assoc., USA

Service Channels - Purpose and Tradeoffs: H. Pirker, R. Mittermeir, D. Rauner-Reithmayer, Klagenfurt Univ., Austria

Reengineering Support for Software Evolution: an evaluation through case study: E. Burd, M. Munro, Univ. of Durham, UK

Applying a Formal Assessment of Modifiability to an Integrated Prototyping Environment: C. Roast, M. Ozcan, Sheffield Hallam Univ., UK

Measuring the Maintainability of a Communication Protocol Based on its Formal Specification: R. Lai, S. Huang, La Trobe Univ., Australia

6.15 pm - 7.15 pm Classical Music Recital:

M. Boasson: Cello, P. Cramer: Piano

"Festsaal", Technical University of Vienna

 

 

 

 

Thursday August 20, 1998

9:00 am - 10:00 am Plenary Session

Chair: Akira K. Onoma, Hitachi Software Engr. Co. Ltd., Japan

Keynote Address II: Directions and Challenges in Information Security, Elisa Bertino, Univ. of Milan, Italy

10.00 am - 10.30 am Break

10:30 am - 12:30 pm Four Parallel Sessions

Session 13. Distributed Object Management/Common Object Request Broker Architecture

Chair: H. Gall, Technical Univ. of Vienna, Austria

Software Architectural Modeling of the CORBA Object Transaction Service: S. Busse, Fraunhofer ISST, and S. Tai, Tech. Univ. of Berlin, Germany

Connecting CORBA Islands through Broadband Signalling Protocols: O. Kath, E. Holz, Humboldt Univ., and M. Geipl, Deutsche Telekom AG, Germany

Object-Oriented Distributed Component Software Development Based on CORBA: S. Yau, Bing Xia, Arizona State Univ., USA

Building CORBA Objects with DOS Application Software: J. Lin, W. Chu, W. Lo, Feng Chia Univ., Taiwan, and H. Yang, De Montford Univ., UK

Session 14. Panel: Security and the World Wide Web

Chair: B. Thuraisingham, MITRE Corp., USA
Panelists:

E. Fernandez, Florida Atlantic Univ., USA
E. Bertino, Univ. of Milan, Italy
W. Tsai, Univ. of Minnesota, USA
S. Bhattacharaya, Arizona State Univ., USA
Session 15. Software Engineering Practices

Chair: A. Combelles, Objectif Technologie, France

A Multi-User, Visual Object-Oriented Programming Environment: C. Hu, W. Chiang, F. Wang, National Chiao-Tung Univ., Taiwan

A Framework for Software Engineering Inconsistencies Analysis and Reduction: C. Toffolon, S. Dakhli, Paris-Dauphine Univ., France

A Case Study on a Generative Approach for Building Data-Oriented Information Systems: W. Goebl, CFC Information Systems, Austria

Software Engineering for Scalable Distributed Applications: M. van Steen, Vrije Univ., S. van der Zijden, Cap Gemini, H. Sips, Delft Univ. of Tech., The Netherlands

Session 16. Distributed Systems

Chair: K. Kim, Univ. of California, Irvine, USA

A Multiview Visualisation Architecture for Open Distributed Systems: P. Oldengarm, A. van Halteren, KPN Research, The Netherlands

A Solution to the Distributed Mutual Exclusion Problem in K-Groups: A. Khiat, M. Naimi, Polytechnic Inst. of Sevenans, France

Multiple Network Management Centers for Managing Client Mobility: H. Jang, Y. Lien, J. Huang, National Cheng-Chi Univ., Taiwan

A Structured Design Technique for Distributed Programs: M. Polman, Erasmus Univ., and M. van Steen, Vrije Univ., The Netherlands

12:30 pm - 2:00 pm Lunch Break

2:00 pm - 3:30 pm Four Parallel Sessions

Session 17. Design Patterns & Frameworks II

Chair: C. Chang, Univ. of Illinois, USA

Naming: Design Pattern and Framework: A. Silva, P. Sousa, M. Antunes, Univ. of Lisbon, Portugal

Framework-Oriented Analysis: F. Zhu, W. Tsai, Univ. of Minnesota, USA

Application of Design Patterns for Java Preprocessor and Self-Development M. Komuro, A. Kumeta, R&D, Hitachi Software Engr. Co., Ltd, Japan

Session 18. Panel: Real-time Systems

Chair: W. Halang, Hagen Univ., Germany

Panelists:

K. Kim, Univ. of California, USA
K. Mori, Tokyo Inst. of Tech., Japan
U. Schmid,Technical Univ. of Vienna, Austria
H. Wedde, Dortmund Univ., Germany
T. Wheeler, MITRE Corp., USA

Session 19. Information and Systems Security

Chair: W. T. Tsai, Univ. of Minnesota, USA

Capability-Based Protection for Integral Object-Oriented Systems: M. Fondon, D. Gutierrez, L. Martinez, F. Garcia, J. Lovelle, Univ. of Oviedo, Spain

A Workbench for Privacy Policies: L. Dreyer, M. S. Olivier, Eskom Corp., South Africa

A Generic Discretionary Access Control System for Reuse Frameworks: L. Wei, S. Jarzabek, National Univ. of Singapore, Singapore

Session 20. Industry Presentation III

Building and Evolving Large Systems

Chair: S. Bhattacharya, Arizona State Univ., USA

FAA User Requirement Evaluation Tool: R. Katkin, MITRE, USA

Evolving AirBorne Warning and Control System: E. Hughes, T. Wheeler, MITRE, USA

Statistics for Conformance Testing for Large Systems: C. Hagwood, National Inst. of Standards and Tech., USA

3.30 pm - 4.00 pm Break

4:00 pm - 6:00 pm Four Parallel Sessions

Session 21. Formal Specifications

Chair: W. Li, Beijing Univ. of Aeronautics and Astronomy, China

E-Dart: A Specification Environment to the E-Lotos Formal Technique: L. Z. Granville, M. Almeida, Federal Univ. of Rio Grande do Sul, Brazil

Requirements Validation based on the Visualization of Executable Formal Specifications: M. Ozcan, P. Parry, I. Morrey, J. Siddiqi, Sheffield Hallam Univ., UK

Object-Oriented Software Specification in Programming Language Design and Implementation: B. Bryant, V. Vaidyanathan, Univ. of Alabama at Birmingham, USA

Code Synthesis Based on Object-Oriented Design Models and Formal Specifications: X. Jia, S. Skevoulis, DePaul Univ., USA

Session 22. Computer Supported Cooperative Work

Chair: M. Aoyama, Niigata Inst. of Tech., Japan

An Optimistic Method for Updating Information in Distributed Collaborative Work: T. Okubo, T. Matsutsuka, Y. Tanaka, H. Hara, S. Uehara, Fujitsu Labs Ltd., Japan

Allocating Data Objects to Multiple Sites for Fast Browsing of Hypermedia Documents: S. So, I. Ahmad, K. Karlapalem, Hong Kong Univ. of Sc. and Tech., Hong Kong

Design and Implementation of Action History View Mechanisms for Hypermedia Systems: H. Iwamoto, Kansai Electric Power Co. Inc., Japan, C. Ito, NEC Corporation, Japan and Y. Kambayashi, Kyoto Univ., Japan

A General Framework for Interconnecting Annotations within Software Systems: M. Stein, M. Heimdahl, J. Riedl, Univ. of Minnesota, USA

Session 23. Web Information Management

Chair: D. Bae, KAIST, Korea

Software Commerce Broker over the Internet: M. Aoyama, Niigata Inst. of Tech., and T. Yamashita, S. Kobori, Japan Research Inst., Japan

The Impact of the Coordination Model in the Design of Mobile Agent Applications: G. Cabri, L. Leonardi, F. Zambonelli, Univ. of Modena, Italy

State Management in WWW Database Applications: S. Hadjiefthymiades, D. Martakos, C. Petrou, Univ. of Athens, Greece

Efficient State Estimators for Load Control Policies in Scalable Web Server Clusters: V. Cardellini, M. Colajanni, Univ. of Rome, Italy, and P. Yu, IBM, USA

Session 24. Software Testing and Verification

Chair: R. Paul, Dept. of Defense, USA

Validating requirements: the evolutionary approach: M. Lemoine, D. Mare, Onera CERT, France, P. Thillier, J. Wippler, Altran Tech., Germany

Regression Slicing and Its Use in Regression Testing: I. Forgacs, A. Hajnal, E. Takacs, Computer and Automation Inst., Hungary

IDATG: An Open Tool for Automated Testing of Interactive Software: A. Beer, S. Mohacsi, Siemens Corp., and C. Stary, Univ. of Linz, Austria

Rule Base Verification Using Petri Nets: S. Yang, A. Lee, National Central Univ., and W. Chu, H. Yang, Feng Chia Univ., Taiwan

8:00 pm - 11:00 pm Banquet in the City Hall

 

 

 

Friday August 21, 1998

9:00 am - 10:00 am Plenary Session

Chair: Maarten Boasson, H. Signaal., The Netherlands

Keynote Address III: New Information Services for an Integrated Visionary System, Mark Maybury, MITRE Corp., USA

10:00 am - 10.30 am Break

10:30 am - 12:30 pm Four Parallel Sessions

Session 25: Reuse and Reengineering for Software Evolution

Chair: H. Yang, De Montfort Univ., UK

Implementation Reuse and Inheritance in Distributed Component Systems: H. Hofmann, Cork Inst. of Tech., Ireland

A Fresh Look at Programming-in-the-Large: W. Cazzola, A. Savigni, A. Sosio, F. Tisato, Univ. of degli Studi, Italy

Re-engineering for Reuse: A Paradigm for Evolving Complex Reuse Artifacts: W. Lam, Univ. of Hertfordshire, UK

A Case Study in Supporting Evolution of Complex Engineering Information Systems: J. Jahnke, U. Nickel, D. Wagenblasst, Paderborn Univ., Germany

Session 26: Panel: Euro-Conversion and Year 2000 problem

Chair: R. Mittermeir, Klagenfurt Univ., Austria

Panelists:

B. Thompson, Univ. of Sunderland, UK
J. Schauerhuber, Raiffeisen Zentralbank, Austria
R. Klösch, Ernst & Young, Austria
P. Dysli, UBS, Switzerland
L. Weninger, WSOP, Austria
Session 27: Enterprise Computing and Project Management

Chair: J. Cho, KAIST, Korea

A Legality Checking Methodology for a Distributed Enterprise Environment: C. Goumopoulos, P. Alefragis, E. Housos, Univ. of Patras, Greece

Maintaining Execution Histories for Understanding the Execution of Business Processes: G. Chen, C. Liu, B. Liu, National Central Univ., Taiwan

Software Project Management Net: A New Methodology on Software Management: C. Chang, C. Chao, T. Nguyen, Univ. of Illinois at Chicago, M. Christensen, Northrop Grumman, USA

A Federated Virtual Enterprise (VE) of Stakeholders Creating A Federated VE of Systems: J. Putman, MITRE Corp., USA

Session 28: Application Systems

Chair: M. Lemoine, Onera Cert, France

Operation Record based Work Events Grouping Method for Personal Information Management Systems: A. Abeta, K. Kakizaki, Kyushu Inst. of Tech., Japan

An Autonomous Decentralized System Architecture for Distributed and Control Systems: S. Kawano, K. Kawano, H. Wataya, Hitachi Ltd., Japan

Computer Simulation of the Inverse Problem of Electrocardiography D. Belov, Inst. of Engr. Cybernetics, and A. R. Sadykhov, State Univ. of Radio Electronics and Informatics, Belarus

Reducing the effort of building Object-Oriented Visualizations: R. Orosco, R. Moriyon, Ciudad Univ., Spain

12.30 - 2.00 pm Lunch Break

2:00 pm - 3:30 pm Four Parallel Sessions

Session 29: Web Data Access for Hypermedia Systems

Chair: K. Mori, Tokyo Inst. of Tech., Japan

Indexing Multilingual Information on the Web: C. Yip, B. Kao, Univ. of Hong Kong, Hong Kong

Recommending Anchor Points in Structure-Preserving Hypertext Document Retrieval: B. Kao, J. Lee, D. Cheung, C.Y. Ng, Univ. of Hong Kong, Hong Kong

Database Access with HTML and Java - A Comparison Based on Practical Experiences: K. Goeschka, J. Falb, W. Radinger, Vienna Univ. of Tech., Austria

Session 30: Panel: Component Architectures

Chair: M. Christensen, Northrop Grumman, USA

Panelists:

M. Aoyama, Niigata Inst. of Tech., Japan,
A. Combelles, Objectif Technologie, France,
E. Hughes, MITRE Corp., USA,
J. Ning, Andersen Consulting, USA,
G. Pour, San Jose State Univ., USA
Session 31: Scheduling

Chair: T. Yamaura, Hitachi Software Engr. Co. Ltd., Japan

Provably Efficient Non-Preemptive Task Scheduling with Cilk: V. Vee, W. Hsu, Nanyang Technological Univ., Singapore

A Scheduling Service for a Dynamic Real-Time CORBA System: L. C. DiPippo, V. F. Wolfe, R. Ginis, M. Squadrito, Univ. of Rhode Island, and T. Wheeler, MITRE Corp., USA

A Dynamic Scheduling mechanism for an Effective Admission Control for Variable-Bit-Rate Video Streams: K. Lee, H. Yeom, Seoul National Univ., Korea

Session 32: Industry Presentation IV

Challenges in Data Management and Mining for Command and Control Applications

Chair: B. Thuraisingham, MITRE Corp., USA

Interoperability of Heterogeneous Database Systems: M. Ceruti, Navy-SPAWAR, USA

Data Mining on Text and Images: R. Steinheiser, Dept. of Defense, USA

3.30 pm - 4.00 pm Break

4:00 pm - 5:30 pm Closing Session

Panel: Directions for Software Technology

Chair: Stephen S. Yau, Arizona State Univ., USA

Panelists:

M. Gien, SUN Microsystems, France
M. Jazayeri, Tech. Univ. of Vienna, Austria,
B. Thuraisingham, MITRE Corp., USA
M. Boasson, H. Signaal., The Netherlands
A. K. Onoma, Hitachi Software Engr. Co., Japan
 

PROFESSIONAL DEVELOPMENT SEMINARS

MONDAY, AUGUST 17
 
S-1  Metric Based Software Project Management 
Dick B. Simmons, Texas A&M Univ., USA 
Time: 9:00 am - 5:00 pm
Room: S114

Audience: Intended for practicing software developers, team leaders, project managers, top administrators and others interested in software measurement, project control, and process improvement.

Description: Software is difficult to visualize. Many companies still use document driven development to produce software that is over budget, behind schedule and then deliver it to a dissatisfied customer. This seminar not only shows that software attributes can be visualized, but that they can be unobtrusively measured and the measurements can be used to drive volume, complexity, rework, efficiency, effort, productivity, schedule, reliability, reuse, speedup, and usability prediction models.

Lecturer: Dick Simmons is a professor of computer science at Texas A&M Univ. and has been an industry consultant. In the past, he was an employee of RCA and Bell Telephone Labs. He currently is Co-Director of a Software Process Improvement Laboratory and Executive Vice President of a non-profit Software Commercialization and Innovation Center. He received his Ph.D. from the Univ. of Pennsylvania. He is a former President of the IEEE Computer Society, Amdahl Users Group, Data General Users Group and a Fellow of the IEEE.
 
S-2 Distributed Systems Construction
Edwin de Jong, H. Signaal., The Netherlands
Time: 9:00 am - 12:15 pm
Room: S118

Audience: This seminar is intended for managers, researchers and designers and developers of large scale distributed embedded systems. In particular, those working in real-time distributed systems, distributed object systems, and networked systems will find the concepts useful to their work. Software architects of distributed systems will also benefit from this seminar.

Description: Embedded systems are characterized by a tight integration with the environment in which they operate. The tutorial discusses the problems that are typically encountered in the design of large-scale distributed embedded systems. To address the problems, a software architecture is introduced, that incorporates an explicit coordination model. Conceptually the coordination model consists of application processes that interact through a logically shared data space where direct interaction between processes is possible. Based on this relatively simple model successive refinements are derived in order to support distributed processing, fault-tolerance, graceful degradation, dynamic reconfiguration, and real-time performance.

Lecturer: Edwin de Jong is a Research Manager at the Applied Systems Research Department of H. Signaal., The Netherlands. He is responsible for various research projects in the areas of distributed embedded systems, software architecture, coordination and computation models, and applications of formal methods in requirements specification, design, and implementation.
S-3  High Level Issues in Internet Security 
Eduardo B. Fernandez, Florida Atlantic Univ., USA 
Time: 9:00 am - 12:15 pm
Room: S114A

Audience: This seminar is intended for Internet specialists as well as security specialists who are interested in learning the concepts on security issues associated with the Internet. The information will also be useful to those developing security policies.

Description: Most of the work on security for the Internet is based on cryptographic approaches. While valuable, these methods suffer from a basic flaw: they can only be applied at the lower levels of the system, where semantic aspects of the data are not explicit. This seminar defines security policies and mechanisms at a higher level so that access can be decided on the basis of semantic restrictions. It will also describe a unified model of the complete system to provide authorization, assurances and administration policies for the Internet.

Lecturer: Eduardo B. Fernandez is a professor of computer science and engineering at Florida Atlantic Univ. in Boca Raton. He has worked at the NASA Satellite Tracking Station in Santiago, Chile, taught at the Univ. of Chile and the Univ. of Miami, and researched the security and performance aspects of database systems at the Los Angeles Scientific Center of IBM. He has published a book and numerous papers on this subject. He holds a MS degree in electrical engineering from Purdue Univ. and a Ph.D.in computer science from UCLA. He is a Senior Member of IEEE.
 
S-4  Decision Support Systems 
Andrew Hunter, Sunderland Univ., UK 
Time: 1:45 pm - 5:00 pm
Room: S114A

Audience: This seminar is intended for system developers, software engineers and managers who plan to build products that include adaptive capabilities.

Description: This seminar includes an in-depth description of modern adaptive computational techniques, including neural networks, genetic algorithms and related techniques. It describes how the techniques can be used to build systems with adaptive and learning capabilities. A key concept for system designers is that many of techniques operate in a "black-box" mode - to use the techniques successfully in real-world systems does not require the level of expertise one would need to employ, for example, advanced statistical techniques. There will be examples of real-world applications.

Lecturer: Andrew Hunter is a Director of the Center of Adaptive Systems at the Univ. of Sunderland, UK. His current research interests include neural networks, genetic algorithms, and industrial applications of these and related technologies. He is the author of the STATISTICA Neural Networks simulation package, and the public domain SUGAL Genetic Algorithms package. He has worked in industry as a software engineer, in areas including computer-aided machining and user-interface design. He received his Ph.D. in computer graphics from the Univ. of Bath, UK.
 
S-5  Data Mining 
Bhavani Thuraisingham, MITRE Corp., USA 
Time: 1:45 pm - 5:00 pm
Room: S118

Audience: This seminar is intended for those interested in learning the concepts, developments and challenges in data mining and data warehousing. It is intended for data management professionals who are beginning work in data mining and warehousing. It will also benefit software engineers who want to know about data mining. This seminar will also be helpful for managers of decision support systems.

Description: Data mining is the process of posing queries to large databases and extracting useful information and patterns often previously unknown. This seminar will provide an introduction today mining. In particular, preparation to data mining such as building a data warehouse, various types of data mining, data mining techniques, products and tools, as well as directions and challenges will be discussed.

Lecturer: Bhavani Thuraisingham is a Senior Principal Engineer and Department Manager at MITRE Corp. where she is working in data management and mining, real-time objects, multimedia systems, ad security. She has published over 300 technical papers and reports and holds two US patents for MITRE. She is the recipient of IEEE Computer Society's 1997 Technical achievement award for her work in secure databases.

TUESDAY, AUGUST 18
 
S-6  Web Infections and Protections 
Arnold W. Kwong, Alliance/BGSU, USA 
Time: 9:00 am - 5:00 pm
Room: S114

Audience: This session will be inclusive and accessible to experienced end-users, developers, system administrators/managers, application architects, security managers, and network managers.

Description: This seminar will discuss why web infections are inevitable in any large population of systems and what technologists, system administrators, security personnel, software developers, and

computer end-users can do to protect their systems, programs, and data.

At the conclusion of the seminar attendees should be able to evaluate their risks of getting an infection across a network, be an informed

reviewer of security measures they are currently using, and be able to plan steps to reduce infections and resulting damage.

Lecturer: Arnold Kwong is a consultant with Alliance/BGSU. He specializes in all aspects of software technology, in particular web information management and protection issues. He works with clients around the world and gives presentations on web infections and protections.
 
S-7  Network Engineering: A Process and Quality   --> CANCELLED - Sorry  
Sourav Bhattacharya, Arizona State Univ., USA 
Time: 9:00 am - 5:00 pm
Room: S114A

Audience: University faculty and students who research in the area of network systems, and systems engineering as well as government and industry scientists and engineers who research and practice network system engineering, and specifically those who are either developers, or users, of large scale networks.

Description: This seminar presents the concept of a process model for network engineering and operation, which addresses quality, process, and maturity of the network engineering process. Requirement specification, analysis, and testing are addressed, in the context of the network domain. The quality of the network engineering process is introduced through the use of a Network Maturity Model (NMM), from which an organization's maturity in the design, development and deployment of networks can be evaluated and quantified.

Lecturer: Sourav Bhattacharya received his Ph.D. in computer science from Univ. of Minnesota. His research interest includes the intersection areas of high-assurance and high-performance computing and communication systems. He is currently an associate professor at the Computer Science and Engr. Dept., Arizona State Univ., with an affiliate appointment with the Honeywell Technology Center. He is a member of IEEE, and ACM.
 
S-8  CORBA: Concepts, Applications, and Directions 
David Curtis, Object Management Group, USA 
Time: 9:00 am - 12:15 pm
Room: S118

Audience: This seminar is intended for those who are interested in distributed object management technology. It will benefit managers, systems designers and integrators as well as researchers.

Description: This seminar will provide an overview of concepts in Common Object Broker Architecture. Discuss the services being proposed for object request brokers as well as describe both platform and domain technologies that the Object Management Group is involved in. It will then compare object request broker technology (ORB) with other distributed object management systems and discuss the directions for ORB technology and OMG.

Lecturer: Dave Curtis is a Director at OMG, a consortium of over 800 corporations promoting object technology and distributed object management systems. He is an internationally recognized speaker on ORB technologies and is one of the leaders on distributed object management.
 
S-9  From Frameworks to Plug-and-Play Components 
Eric Hughes, MITRE Corp., USA 
Time: 1:45 pm - 5:00 pm
Room: S118

Audience: Architects of information systems, plus researchers concerned with distributed objects, open software, and the implications of emerging component technologies. A basic understanding of object-oriented programming is recommended.

Description: Components are gradually changing the way information systems are developed, deployed, and used. Unfortunately, the novel contributions of this technology are often overshadowed by discussion of the complex supporting technologies. This seminar gives the essence of component frameworks and emphasizes the important implications of the technology. Topics include: What are components and frameworks? How do component frameworks improve modularization and reuse? What are the key commercial component technologies? How is this related to distributed object management? What approaches exist for building scalable component-based systems?

Lecturer: Eric Hughes leads MITRE's FACELIFT project, which researches the role of component frameworks in modernizing existing government systems. His activities include object databases, distributed object management, and advising a government standardization and reuse effort on distributed computing and object-oriented frameworks. He received a Ph.D. for work on object database applications at the Univ. of Illinois at Urbana Champaign.
 

SIGHTSEEING TOUR

To enhance your stay in Vienna, the following tour has been arranged. If you are interested in the tour, you need to register as part of your hotel reservation, as the tour might be overbooked or subject to cancellation. Refund policy for the tour: To allow planning, no refunds can be granted if participant withdraws from the tour within 7 days before it takes place. The tour requires a minimum of 15 people. In case of cancellations or unavailability due to overbooking, full refund will be made.

Walking Tour - "Old Vienna" (ATS 200 per person):

Time: Wednesday, August 19, 1998, 2:00 pm

The tour starts from the conference place. The duration is approx. 2 ½ hours. During the walk you will visit parts of "Old Vienna" that cannot be reached by bus. The guided tour at the Cathedral of Saint Stephen and its surroundings, with its numerous cultural and artistic sights, is of special interest. Close by is the "House of Figaro", where Wolfgang Amadeus Mozart lived when he composed the opera "The Marriage of Figaro". Walking through medieval narrow streets and the Heiligen-kreuzerhof, built around 1200, one gets to the oldest church of Vienna, the Ruprechtskirche, said to founded in 740 and for the first time officially mentioned in 1161.

HOTEL ACCOMODATIONS (cut-off date: July 15, 1998)

The hotel and sight-seeing tour reservations of COMPSAC 98 will be exclusively handled by:

Austropa Interconvention
Wahringerstr.6-8, A-1090, Vienna, Austria
Telephone: 43-1-31 680 13, Fax: 43-1-31 55 650
E-mail: austropa.congress@verkehrsbuero.at
To make reservations for your hotel accommodation and sight-seeing tours, send the completed reservation form for hotel accommodation and sight-seeing tours in this portion of next page with payment or authorization to use your major credit card to guarantee the payment to Austropa Interconvention with the address given above. Completed reservation and payment should be received by the Austropa Interconvention no later than July 15, 1998 in order to guarantee the hotel accommodations with the room rates announced here. Late reservations are accepted on availability basis. After receipt of your payment, Austropa Interconvention will mail you the hotel confirmation together with hotel voucher as well as the confirmation for the booked tours and the receipt of your payment. Austropa Interconvention must be informed of any cancellation or change of any reservation as soon as possible. For cancellations prior to seven days before the arrival date as well as changes, a handling fee of ATS 300 per booking will be charged. No refund can be made for cancellations of any tour within seven days prior to the conference. For cancellations for the hotel room reservations within seven days prior to the arrival date or for "no-shows", the amount of one night's room rate will be charged. The currency exchange rate in March 1998 is approximately ATS 12.7 for US$1.00.
 
Hotel Rate:
A-1 (Conference Headquarters Hotel) **** 
Hotel Astron Suite 
Mariahilferstr. 32-34 
A-1070 Wien
A-2, **** 
Hotel Kaiserhof 
Frankenberggasse 10 
A-1040 Wien
B-1, **** 
Hotel Erzherzog Rainer 
Wiedner Hauptstr. 27-29 
A-1040 Wien
B-2, *** 
Hotel Zu den 3 Kronen 
Schleifmuehlgasse 25 
A-1040 Wien
Hotel Clima City 
Theresianumgasse 21a 
A-1040 Wien
C-1, ** 
Haus Margareten 
Margaretenstr. 30 
A-1040 Wien
C-2, ** 
Haus Technik 
Schaeffergasse 2 
A-1040 Wien

ACCOMMODATION

All prices are quoted in ATS (Austrian Schilling) per room per night, incl. breakfast, service and taxes. All hotels are located within walking distance to the conference center.

CATEGORY

A****

B***

C**

Single room with bath or shower/WC

1.100,-/ 1.450,-

900,-/ 1.100,-

480,-/ 550,-

Double room with bath or shower/WC

1.500,-/ 1.890,-

1.300,-/ 1.450,-

780,-/ 850,-

Deposit per room

1.500,-

1.000,-

500,-

Complete and fax the form on the following page to Austropa Interconvention first, and then mail it with payment or use bank transfer for the full amount to Austropa Interconvention. You can use your major credit cards for guaranteeing the payment. Note: reservations are not guaranteed after July 15, 1998.

Here you find a printable form to make your HOTEL AND TOUR RESERVATION

Supported by:
[Ernst & Young]   [Raiffeisen Zentralbank]
[Genesis]   [Wien Tourismus]

 

CONFERENCE & SEMINAR REGISTRATION

For participants and attendees outside Austria, complete the following registration form and send payment in US dollars from US bank or by credit card to:

Michael Wagner, Registration Chair
Computer Science and Engineering Dept.
Arizona State University, Tempe, AZ 85287-5406, USA
Telephone: 1-602-965-1735, Fax: 1-602-965-2751
e-mail: wagner@asu.edu
For participants and attendees in Austria, complete the following registration form and send payment in Austrian Schilling by bank transfer to account 2.505.725 "Compsac 98", Raiffeisenlandesbank Kaernten, BLZ 39.000 (no credit cards!) to: Roland Mittermeir, Operations Committee Chair
Institute for Informatics-Systems, University Klagenfurt,
Universitaetsstr. 65-67, A-9022 Klagenfurt, Austria
Telephone: 43-463-2700-575, Fax: 43-463 2700-505
e-mail:mittermeir@ifi.uni-klu.ac.at

The registration desk is open:

Mo, We: 8:00 a.m. - 5:00 p.m.
Tu, Th: 8:30 a.m. - 6:30 p.m.
Fr: 8:30 a.m. - 4:00 p.m.
ON-SITE REGISTRATION

For On-Site Registration-payments only the following payment methods will be accepted:

  • Cash in Austrian Shilling only (ATS)
  • Credit Cards (Visa, Mastercard, Amex, Discover and Diner's Club) in US Dollar only.

REGISTRATION FEES COMPSAC 98  
REGISTRATION FEES:  ADVANCED LATE 
CONFERENCE  (by July 20, 1998)  (after July 20, 1998) 
Membership Class 
IEEE/CS Member o $425 or ATS 5,400  o $500 or ATS 6,400 
Non-member  o $540 or ATS 6,900  o $625 or ATS 8,000 
IEEEStudent Member o $100 or ATS 1,300  o $150 or ATS 1,900 
Each Full Day Seminar 
IEEE/CS Member o $150 or ATS 1,900 o $200 or ATS 2,600
Non-member o $200 or ATS 2,600  o $250 or ATS 3,200 
IEEEStudent Member o $ 75 or ATS 960  o $100 or ATS 1,300 
Each Half Day Seminar 
IEEE/CS Member o $ 90 or ATS 1,150  o $120 or ATS 1,550 
Non-member o $115 or ATS 1,480 o $150 or ATS 1,900 
IEEEStudent Member o $ 50 or ATS 640  o $ 70 or ATS 900 

 

Here you find a printable form for your SEMINAR AND CONFERENCE REGISTRATION