CSDL - Proceedings P

Conference Organization (PDF)

pp. x

Reviewers (PDF)

pp. xi

Special Session: Invited Talks:Chair: Bernd Kr?mer and Gul Agha

Modular Construction and Composition of Distributed Software Architectures (Abstract)

M. Astley

G. Agha

pp. 2

PDF

Distributed Information Systems - Issues and Challenges for the Software Engineering Research Community (Abstract)

I. Gorton

pp. 13

PDF

Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies (Abstract)

S. Matsuoka

pp. 18

PDF

Session 1: Formal Specification and Modeling: Chair: Shing-chi Cheung

Contribution to the Specification in Z of Concurrency under a Non-Interleaving Semantics (Abstract)

J. Condom

K. Ouriachi

pp. 20

PDF

An Algebraic Framework for Optimizing Parallel Programs (Abstract)

I. Satoh

pp. 28

PDF

Modeling Distributed Software Systems with Object Coordination Nets (Abstract)

H. Giese

J. Graf

G. Wirtz

pp. 39

PDF

Session 2: Testing and Verification: Chair: Naoshi Uchihira

Validation and Test Generation for Object-Oriented Distributed Software (Abstract)

pp. 51

PDF

On Checking Parallel Real-Time Systems for Linear Duration Invariants (Abstract)

D. Hung

P. Thai

pp. 61

PDF

Towards a Framework for Testing Distributed Multimedia Software Systems (Abstract)

pp. 72

PDF

Session 3: Software Architecture: Chair: Stefano Russo

Building Parallel Runtime Systems with Active Messages (Abstract)

pp. 83

PDF

Abstractions of Distributed Cooperation, their Refinement and Implementation (Abstract)

R. Kurki-Suonio

T. Mikkonen

pp. 94

PDF

Interoperability and Distribution of Process-Sensitive Systems (Abstract)

J. Estublier

N. Barghouti

pp. 103

PDF

A Scheme for Auditing Causal Relationships in Group Oriented Distributed Systems (Abstract)

W. Tsaur

S. Horng

R. Tsai

pp. 115

PDF

Session 4: Performance Evaluation: Chair: Chung-Shyan Liu

Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems (Abstract)

pp. 127

PDF

Formal Design and Perfomance Evaluation of Parallel and Distributed Software Systems (Abstract)

M. Goedicke

T. Meyer

pp. 136

PDF

Session 5: Programming Environment: Chair: Doo-Hwan Bae

PARSE-DAT: An Integrated Environment for the Design and Analysis of Dynamic Software Architectures (Abstract)

A. Liu

I. Gorton

pp. 146

PDF

Tool Supported Specification and Simulation of Distributed Systems (Abstract)

pp. 155

PDF

Session 6: Software Engineering for Multimedia Programs: Chair: Bernd Kr?mer

Construction of Distributed Multimedia Applications using Multiple Views (Abstract)

S. Cheung

K. Wong

pp. 166

PDF

Filmification of Methods: Computation on Matrices (Abstract)

N. Mirenkov

A. Vazhenin

pp. 176

PDF

Session 7: Case Study: Chair: Ian Gorton

Software Engineering in Parallel and Distributed Scientific Computing: A Case Study from Industrial Practice (Abstract)

pp. 187

PDF

Applying Formal Methods to a Protocol Standard and its Implementations (Abstract)

G. Bruns

M. Staskauskas

pp. 198

PDF

Session 8: Work in Progress: Chair: Peter Croll

A Fast Parallel Search Method for Large Dictionaries (Abstract)

pp. 207

PDF

Static Analysis of Java Multithreaded and Distributed Applications (Abstract)

C. Demartini

R. Sisto

pp. 215

PDF

Towards Reusable Colored Petri Nets (Abstract)

N. Lee

J. Hong

S. Cha

D. Bae

pp. 223

PDF

Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL (Abstract)

A. Mitschele-Thiel R. Henk

H. König

pp. 230

PDF

A Case-Based Parallel Programming System (Abstract)

K. Yamazaki

S. Ando

pp. 238

PDF

Framework for Testing based Development of Parallel and Distributed Programs (Abstract)

M. Frey

M. Oberhuber

M. Podolsky

pp. 246

PDF

A Formally Founded Description Technique for Business Processes (Abstract)

V. Thurner

pp. 254

PDF

Index of Authors (PDF)

pp. 263