🚀 go-pugleaf

________________________________________________________________________

                              Call for Participation 

                            International Symposium on 
                            __________________________
  
   Software Engineering for Parallel and Distributed Systems (PDSE'98)
 ________________________________________________________________________

  At the 20th International Conference on Software Engineering (ICSE-98)
 April 19-25, 1998 -  Kyoto International Conference Hall,  Kyoto, JAPAN

                =============================================
                =   http://www.dcs.shef.ac.uk/~prc/PDSE98   =
                =============================================

The final program has now been drawn up:

ON BEHALF OF THE PROGRAM COMMITTEE, I WOULD LIKE TO INVITE YOU 
TO ATTEND THIS EVENT DURING THE 'CHERRY BLOSSOM' SEASON IN THE 
HISTORIC AND CULTURAL TOWN OF KYOTO.

The PDSE Symposium is organised over two full days as follows:

April 20:
=========

 9:00-10:00	Opening & Invited Talk by Prof. Gul Agha
10:00-10:30	Software Engineering for Multimedia Programs (1 paper)
		(Chair: Bernd Kraemer)

10:30-10:50	Coffee Break
10:50-12:20	Testing and Verification (3 papers)
		(Chair: Naoshi Uchihira)

12:20-13:30	Lunch
13:30-15:00	Formal Specification and Modeling (3 papers)
		(Chair: Shing-chi Cheung)

15:00-15:20	Coffee Break
15:20-18:00	Works in Progress (7 papers)
		(Chair: Peter Croll)

18:30-		PDSE Social Event (tentative)

April 21:
=========

 8:30-10:30	Software Architecture (4 paper)
		(Chair: Stefano Russo)
10:30-10:50	Coffee Break
10:50-11:20	Performance Evaluation (2 papers)
11:20-12:20	Software Engineering for Multimedia Programs (1 paper)
		(Chair: Chung-Shyan Liu)
12:20-13:30	Lunch
13:30-15:30	Invited Talks by Dr. Ian Gorton and Prof. Satoshi Matsuoka
		(Chair: Gul Agha)
15:30-15:50	Coffee Break
15:50-16:50	Programming Environment (2 papers)
		(Chair: Doo-Hwan Bae)
16:50-17:50	Case Study (2 papers)
		(Chair: Ian Gorton)
17:50-18:00	Closing

18:30-20:00	ICSE Reception

===================================================================

SPECIAL SESSION: Invited Talks (Chair: Bernd Kraemer and Gul Agha)

Modular Construction and Composition of Distributed Software
Architectures, by Gul Agha (University of Illinois, Urbana, USA)

Distributed Information Systems - Issues and Challenges for the
Software Engineering Research Community, by Ian Gorton (Transarc Co,
Australia)

Towards a Parallel Programming Language based on Commodity
Object-Oriented Technologies, by Satoshi Matsuoka (Tokyo Institute of
Technology, Japan)

SESSION 1: Formal Specification and Modeling (Chair: Shing-chi Cheung)

Contribution to the specification in Z of concurrency under a
non-interleaving semantics, by Jean-Marie Condom, Khadir Ouriachi
(Universite de Pau et des Pays de l'Adour, France)

An algebraic framework for optimizing parallel programs, by Ichiro
Satoh (Ochanomizu University, Japan)

Modeling distributed software systems with object coordination nets,
by Holger Giese, Joerg Graf and Guido Wirtz (Universitaet Muenster,
Germany)

SESSION 2: Testing and Verification (Chair: Naoshi Uchihira)

Validation and test generation for object-oriented distributed
software, by Thierry Jiron, Jean-Marc Jiziquel, Alain Le Guennec
(IRISA, France)

On checking parallel real-time systems for linear duration invariants,
by Dang van Hung, Pham Hong Thai (The United Nations University,
Macau)

Towards a framework for testing distributed multimedia software
systems, by Vojislav B Misic, Samuel T. Chanson, Shing Chi Cheung
(Hong Kong Univ of Science and Technology, Hong Kong)


SESSION 3: Software Architecture (Chair: Stefano Russo)

Building parallel runtime systems with active messages, by Grzegorz
Czajkowski, Chi-Chao Chang, Thorsten von Eicken (Cornell University,
USA)

Abstractions of distributed co-operation, their refinement and
implementation, by Reino Kurki-Suonio, Tommi Mikkonen (Tampere Univ of
Tech, Finland)

Interoperability and distribution of process-sensitive systems, by
Jacky Estublier, Naser Barghouti (Adele/LSR, France)

A Scheme for Auditing Causal Relationships in Group Oriented
Distributed Systems, by Woei-Jiunn Tsaur, Shi-Jinn Horng, Ruey-Chang
Tsai (National Taiwan University of Science and Technology, Taiwan)


SESSION 4: Performance Evaluation (Chair: Chung-Shyan Liu)

Automated performance modeling from scenarios and SDL designs of
distributed systems, by Hesham El-Sayed, Donald Cameron, Murray
Woodside (Carleton University and Nortel (Northern Telecom), Canada)

Formal design and performance evaluation of parallel and distributed
software systems, by Michael Goedicke, Torsten Meyer (Univ Essen,
Germany)

SESSION 5: Programming Environment (Chair: Doo-Hwan Bae)

PARSE-DAT: An Integrated Environment for the Design and Analysis of
Dynamic Software Architectures, by Anna Liu (University of Technology,
Sydney, Australia) Ian Gorton (Transarc Corporation, Australia)

Tool supported Specification and Simulation of Distributed Systems, by
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schaetz, Marc
Sihling and Oscar Slotosch (Technical University of Munich, Germany)

SESSION 6: Software Engineering for Multimedia Programs (Chair: Bernd Kraemer)

Construction of distributed multi-media applications using multiple
views, by Shing-Chi Cheung, Kam-Keung Wong, Hong Kong Univ of Science
and Technology, Hong Kong)

Filmification of methods: computation on matrices, by Nikolay
Mirenkov, Alexander Vazhenin (Univ Aizu, Japan)


SESSION 7: Case Study (Chair: Ian Gorton)

Software engineering in parallel and distributed scientific computing:
a case study from industrial practice, by Peter Luksch, Ursula Maier,
Sabine Rathmayer, Matthias Weidmann (Technische Universitaet
Muenchen), Friedemann Unger (AEA Technology GmbH), Andreas Haas
(GENIAS Software GmbH), Peter Bastian (ICA III, Universitaet
Stuttgart)

Applying formal methods to a protocol standard and its implementations
by Glenn Bruns, Mark Staskauskas (Bell Labs, Lucent Technologies, USA)


Session8:  Work in Progress (Chair: Peter Croll)

A fast parallel search method for large dictionaries, by Marco
A. Torres, Susumu Kuroyanagi, Akira Iwata (Nagoya Institute of
Technology, Japan)

Static analysis of Java multithreaded and distributed applications, by
Claudio Demartini and Riccardo Sisto (Politecnico di Torino, Italy)

Towards reusable colored petri nets, by Nam-Hee Lee, Jang-Eui Hong,
Sung-Deok Cha, and Doo-Hwan Bae (Korea Advanced Institute of Science
and Technology, Korea)

Conjunct application of model-based and code-based optimization to
derive efficient parallel implementations from SDL, by Andreas
Mitschele-Thiel (University of Erlangen, Germany), Ralf Henke (BOS
Systemhaus, Magdeburg, Germany), Hartmut Koenig (Technical University
of Cottbus, Germany)

A Case-Based Parallel Programming System, by Katsuhiro Yamazaki,
Shoichi Ando (Ritsumeikan Univ, Japan)

Framework for testing based developments of parallel and distributed
programs, by Michael Oberhuber, Maximilian Frey, Makus Podolsky,
(Technical University of Munich, Germany)

Behavior Modeling Using a Formally Founded Description Technique for
Business Processes, by Veronika Thurner (Technical University of
Munich, Germany)

==================================================================

Symposium Chairpersons
----------------------
Dr Naoshi Uchihira, Toshiba Co., Japan (uchi@ssel.toshiba.co.jp)
Prof Bernd Kraemer, FernUniversitaet Hagen, Germany 
Publication: Dr Stefano Russo, University of Naples, Italy
Publicity: Dr Peter Croll, University of Sheffield, UK (p.croll@acm.org)

Steering Committee
------------------------
Prof Gul Agha, University of Illinois at Urbana-Champaign, USA
Dr Ian Gorton, CSIRO Division of Information Technology, Australia 
Dr Innes Jelly, Sheffield Hallam University, UK
Prof Bernd Kraemer, FernUniversitaet Hagen, Germany
Dr Stefano Russo, University of Naples, Italy
Dr Naoshi Uchihira, Toshiba Co., Japan 

Program Committee
---------------------------------------
Gul Agha             University of Illinois at Urbana        USA
Doo-Hwan Bae         KAIST                                   Korea
Arndt Bode           Techniche Universitaet Muenchen         Germany
Manfred Broy         Techniche Universitaet Muenchen         Germany
Helmar Burkhart      Universitaet Basel                      Switzerland
Shing-chi Cheung     HK University of Science & Technology   Hong Kong
Peter Croll          University of Sheffield                 UK
Karsten Decker       CSCS                                    Switzerland
Hesham El-Rewini     University of Nebraska at Omaha         USA	
Zengo Furukawa       Kyushu University                       Japan
Jean-Luc Gaudiot     University of Southern California       USA
Morven Gentleman     IIT, National Research Council          Canada  
Carlo Ghezzi         Politecnico di Milano                   Italy      
Ian Gorton           Transarc Co.                            Australia  
Innes Jelly          Sheffield Hallam University             UK
Chung-Shyan Liu	     Chung Yuan Christian University         Taiwan
Patrick Nixon        Trinity College, Dublin                 Ireland
John Potter          Microsoft Res. Inst., Macquarie Univ.   Australia
Stefano Russo        Universita' di Napoli Federico II       Italy
Doug Schmidt         Washington University                   USA
Sol Shatz            University of Illinois at Chicago       USA
Emilio Zapata        Universidad de Malaga                   Spain

OVERVIEW
========
Many software applications require the use of explicit concurrent
programming techniques in order to meet their specification. 
Concurrency and distribution are needed to exploit the processing 
power of multiprocessor systems in order to achieve high performance, 
to provide fault-tolerance and reliability in safety-critical and
real-time systems,and to deal with physically distributed computing
resources. Some application areas include distributed  information
systems, client/server systems,  multimedia systems, CSCW, 
high-performance computing,  simulation,  real-time  and  process
control systems, embedded systems, manufacturing systems.

Managing parallelism and  distribution for  applications in the above
areas is a complex activity,  demanding for adequate  engineering 
methodologies and proper support tools.

Much of the work to date on the development of parallel and distributed
software has emphasized the later stages of the process: language 
issues, algorithms, machine dependent aspects eg mapping, routing, 
load balancing, have been well explored. But engineers of  these
software systems are also  faced with other problems, including:
 - identification of problem-domain and solution-domain parallelism
 - dealing with concurrency in the specification and design phases
 - validation and testing of P&D applications
 - performance prediction and evaluation 
 - dealing with systems heterogeneity

Software engineers must deal with these issues  in addition  to 
tackling the  more commonly  identified  problems which  occur in 
all software projects.

To date, many of the papers which address software engineering issues
involved in the development of these systems have appeared in journals
and conferences which are technology specific. This fragmentation has
meant that researchers and practitioners have lacked a forum for the
exploration of common issues. This symposium series on parallel and
distributed software engineering attempts to fill this gap, aiming at
providing a "one-stop" coverage of the area.

SYMPOSIUM AIMS
===============
The PDSE series of events provides a forum for exchange of information 
and publication of the latest technological and theoretical advances in
software engineering for parallel and distributed systems. The Symposium
will focus on the problems that are unique to the software engineer
developing parallel and distributed systems. To this end, the following
non-exhaustive list of topics will be considered:
- development methodologies 
- impact of languages (eg Java) and architectures on development
  techniques
- interoperability in open distributed applications and the impact of
  distributed objects computing technologies like CORBA, DCOM & Java RMI
- architectural concepts and design techniques for parallel and 
  distributed applications
- application of formal methods
- testing and verification
- performance modelling and prediction
- software reuse technology
- CASE environments and support tools
- object oriented techniques and design patterns
- observance of behavioural properties across abstraction levels
- practical experiences of software engineering problems encountered 
  in industrial systems 

The Symposium is the third event in the PDSE series. Previous events
were the PDSE Workshops which were co-located with ICSE-18 in Berlin, 
March 1996, and with ICSE-19 in Boston, May 1997. It will be of interest 
to both industrial and academic practitioners and researchers who have 
experience in developing software for parallel and distributed systems. 
It will also be relevant to practising software engineers who are 
interested in developing expertise in the field for research and 
development purposes.
=====================================================================