TUTORIALS

TUTORIALS
Pre- and Postcongress Program
a part of the
15th IFIP World Computer Congress

The IFIP WCC '98 Tutorial Program

Tutorial chair: Bruce Shriver (vice-chair of the International Program Committee)

The full day tutorials described below were selected to augment the overall technical milieu of the Congress, rather than compete with it. The following underlying objectives were considered during the evaluation process: The overall topics in each country should have reasonable breadth and not be narrowly focused. There should also be a balance of practical tutorials and theory-oriented tutorials.
The tutorials will be held on Sunday, 30 August 1998, in Vienna, Austria, and on Saturday, 5 September 1998, Budapest, Hungary. Each tutorial will consist of a full day of lectures on a specific topic. The tutorials will run in parallel from 9 am to 5 pm with lunch and coffee breaks.
If you register for the congress you will be given a substantial discount on the tutorial fee, whereas, if you want to attend a tutorial only, you have to pay the full fee. (Please see the registration form for the fees.)

TUTORIALS IN VIENNA
(Precongress Program)
30 August 1998

HIGH-LEVEL ISSUS IN INTERNET SECURITY (TV1)
Prof. E. B. Fernandez
Florida Atlantic University, USA

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. We need to define security policies and mechanisms at a higher level so access can be decided on the basis of semantic restrictions. We survey here high-level policies, models and mechanisms intended to protect the data in the Internet. We consider security policies and models, web architectures, threats and countermeasures.

STRUCTURED DESIGN OF HYPERMEDIA APPLICATIONS (TV2)
Prof. Tomas Isakowitz
University of Pennsylvania, USA

While some applications are better fit to an ad-hoc evolution style, there is another, quite important class of applications that do benefit from a structured approach to design and development. This course targets this latter class, termed "structured hypermedia" applications on the WWW which fits most information systems deployed on the WWW. The tutorial consists of two sessions. The first session discusses the problems developers of large hypermedia applications face, and introduces the RMM methodology for structured hypermedia design and development. The second session focuses on applying RMM to the design and development of large hypermedia applications on the WWW. An overview and demonstration of various commercially available tools are provided. We then move to discuss the various conceptual aspects of structured Web design and development. A portion of this session is experiential, giving participants the opportunity to work on an actual design project.

THE ENGINEERING AND RE-ENGINEERING OF INFORMATION SYSTEMS:
FROM FORMALIZED DESCRIPTION OF BUSINESS PROCESS
TO AUTOMATIC WORKFLOW APPLICATIONS (TV3)
Dr. Michael Sherwood-Smith, University College Dublin, IRL
Prof. Jean-Loup Chappeliet and Christine Poupa, IDHEAP, CH

The purpose of this tutorial is to expose a state of the art approach to implementing a workflow based business or office process. The tutorial will first review and summarize the current concepts and practices in the domain. The participants will be taught a simple method for graphically representing business procedures. Some case studies will be presented and participants will be encouraged to expose their 'own experiences' of engineering business procedures. In the second half of the tutorial, participants will be given a demonstration of a software tool to describe business procedures. Some 'own experience' cases above will be input and processed to generate a workflow application. The results will then be discussed across the tutorial group.

MOBILE NETWORKS AND INTELLIGENT COMPUTING (TV4)
Prof. Ben Wah and Prof. V. Bharghaven, University of Illinois, USA

The goals of this tutorial are to introduce the basic concepts, design issues, systems support, current standards and future trends of networks that facilitate user mobility. The tutorial is intended for computer professionals with some basic knowledge in computer networks and networking applications. It is broadly divided into four parts. The first part discusses the key features of mobility, models for indoor and outdoor networks and system issues such as performance, quality of service guarantees, reliability, and security. The second part discusses emerging trends in mobile networking technologies, including wireless medium access protocols, Mobile IP, multihop wireless routing and quality-of-service issues. The third part discusses emerging trends in systems support for mobile computing, including file systems, distributed databases and low-power computing. The last part summaries current work in applying machine learning to information retrieval and organization for mobile computing. The tutorial concludes with case studies of some existing prototypes and systems.

FORMAL SPECIFICATION OF COMPUTER SYSTEMS -
SELECTED METHODS AND SUPPORTING SOFTWARE TOOLS (TV5)
Prof. Jan Madey, Warsaw University, PL

Engineering is usually understood as the use of science, mathematics and technology to build useful artifacts. During this process different documents are produced, and the design that they describe is thoroughly validated before any construction is begun. Such a validation is possible only if the documentation is precise enough to permit sound analysis, and if the whole product is described in terms of smaller components (i.e., it is properly modularized). The same applies to computer systems, and in particular to their software parts, but here the situation is very different. Typically, documentation is less formal than in conventional engineering, and not complete; it is often written partly after the implementation is already finished. As a consequence, it is practically impossible to apply proper engineering methods to most of the need suitable specification methods to be used in the design documents together with appropriate software tools supporting systematic development of software from specifications to code. There already exist many approaches to software specification and development. Though none of them gained common acceptance as an industrial standard, numerous projects have demonstrated that formal methods can be successfully applied in practice. The purpose of the tutorial is to present some of these approaches and tools, without going into technical details. We will try to explain the most important features of selected methods and to illustrate these methods with the help of intuitive examples. Some general issues related to the subject will be also discussed.

TUTORIALS IN BUDAPEST
(Postcongress Program)
5 September 1998

ELECTRONIC COMMERCE (TB1)
S. H. von Solms, Rand Afrikaans University, Johannesburg, ZA

This tutorial covers the information security issues relevant to Electronic Commerce (EC) conducted on the Internet and World Wide Web (WWW). After an introduction to the Internet and WWW, during which the benefits of using these infrastructures for EC are highlighted, the importance of authentication, confidentiality, integrity and non-repudiability in any business transaction will be explained and extrapolated to EC on the Internet/WWW. The importance of digital signatures and digital identities will be introduced, as well as the public key infrastructure on which such signatures and identities are based. The role of Certification Authorities in certifying digital identities will be explained in detail. Several Internet security protocols like Secure Sockets Layer (SSL) and Secure Hyper Text Transport protocol (SHTTP) as well as the secure payment protocol SET will then be discussed, showing how the discussed security technologies are used in these protocols. Different implementations for electronic cash as well as some legal and policy aspects will conclude the tutorial.

COLLABORATIVE TECHNOLOGIES (TB2)
Dr. Lisa Neal, Electronic Data Systems, GB

The objective of this tutorial is to examine existing and emerging technologies for collaboration, focusing how to select and deploy tools to facilitate communication and collaboration amongst co-located and geographically-dispersed groups, telecommuters, virtual classrooms, and networked communities. The tutorial will cover collaborative technologies, including email, video conferencing, computer-supported meeting rooms, and computer conferencing. The latter category includes electronic whiteboards, application-sharing, screen-sharing, IRC, and the use of the Internet and Web. Specific examples of tools in each category will be presented, with an examination of effective selection, deployment, and use of each technology.

BUILDING USABLE AND USEFUL TOOLS
FOR SOFTWARE MAINTENANCE AND EVOLUTION (TB3)
Prof. Anneliese von Mayrhauser, Colorado State University, USA

Tools are supposed to make software development, maintenance and evolution easier, faster and less error prone. Yet many programmers shun these new tools. Looking at the development process for tools, we frequently find an appalling lack of consideration of programmer needs. Indeed, all too often tools dictate what programmers "ought to think, need, and do" without any proof that such dictates are valid. This tutorial explores how to integrate principles of software usability and empirical results on perception and cognition into software maintenance tools development and evolution. This tutorial centers around identifying what features a useful tool kit for software maintenance and evolution should have, based on current knowledge about the comprehension processes and information needs of maintenance programmers. Then we investigate the principles of translating these needs into usable tools. The tutorial combines lecture with short work sessions.

FORMAL SOFTWARE ENGINEERING: FROM DOMAIN ENGINEERING
VIA REQUIREMENTS ENGINEERING TO SOFTWARE DESIGN
A FORMAL SPECIFICATION AND DESIGN CALCULI APPROACH (TB5)
Dines Bjørner, Technical University of Denmark, DK

Engineering is the bridge between science and technology. Software engineering builds on the theories of computer and computing science - the latter also called programming methodology. In software engineering we walk the line between those sciences and software technology, from the first to the latter when developing new software, from the latter to the former when building on platforms developed by others and not fully documented, say from OMG/CORBA etc., or when using Java, UML, etc. In these lectures we will illustrate the ontological and other issues in domain engineering: capturing and modeling "pureî application domains by asking questions such as "What is a Railway", "What is a Financial Service Industry (Banks, Insurance Companies, Securities Trading, Check and Credit Card Clearance, etc.)", and "What is a manufacturing Industry (say suppliers, consumers, producers, and traders)?", "What is Air Traffic", etc. We will illustrate how to give answers to such questions. Then we will show how to develop requirements from such domain models. Finally we will illustrate how software architectures, program organizations, and further steps of software refinement leads to code.

NAVIGATION BAR