SAVCBS 2001 Proceedings

Specification and Verification of Component-Based Systems

- Workshop at OOPSLA 2001 -

October 14, 2001

Cover Page, Table of Contents, and Preface

Session I: Specification-Based Testing and Run-Time Analysis

Testing Components
Neelam Soundarajan, The Ohio State University
Benjamin Tyler, The Ohio State University

Spying on Components: A Runtime Verification Technique
Mike Barnett, Microsoft Research
Wolfram Schulte, Microsoft Research

Toward Reflective Metadata Wrappers for Formally Specified Software Components
Stephen H. Edwards, Virginia Tech.

Session II: Architecture and Composition

Architectural Reasoning in ArchJava
Jonathan Aldrich, University of Washington
Craig Chambers, University of Washington

Using Message Sequence Charts for Component-based Formal Verification
Bernd Finkbeiner, Stanford University
Ingolf Krüger, Technical University of Munich

Session III: Keynote

Clemens Szyperski, Microsoft Research

Session IV: Compositional Verification

Reasoning about Composition: A Predicate Transformer Approach
Michel Charpentier, University of New Hampshire

Specification and Verification with References
Bruce W. Weide, The Ohio State University
Wayne Heym, The Ohio State University

Modular Verification of Performance Correctness
Joan Krone, Denison University
William F. Ogden, The Ohio State University
Murali Sitaraman, Clemson University

Session V: Discussion

Other Accepted Papers

On Contract Monitoring for the Verification of Component-Based Systems
Philippe Collet, Université de Nice - Sophia Antipolis

A Framework for Formal Component-Based Software Architecting
M.R.V. Chaudron, Technische Universiteit Eindhoven
E.M. Eskenazi, Technische Universiteit Eindhoven
A.V. Fioukov, Technische Universiteit Eindhoven
D.K. Hammer, Technische Universiteit Eindhoven

Type Handling in a Fully Integrated Programming and Specification Language
Gregory Kulczycki, Clemson University

A Formal Approach to Software Component Specification
Kung-Kiu Lau, University of Manchester
Mario Ornaghi, Università degli studi di Milano

A Pi-Calculus based Framework for the Composition and Replacement of Components
Claus Pahl, Dublin City University

Analysis of Component-Based Systems - An Automated Theorem Proving Approach
Murali Rangarajan, Honeywell Technology Center
Perry Alexander, The University of Kansas

A Component Oriented Notation for Behavioral Specification and Validation
Isabelle Ryl, Université des Sciences et Technologies de Lille
Mireille Clerbout, Université des Sciences et Technologies de Lille
Arnaud Bailly, Université des Sciences et Technologies de Lille

ACOEL on CORAL: A COmponent Requirement and Abstraction Language
Vugranam C. Sreedhar, IBM TJ Watson Research Center

Non-Functional Requirements in a Component Model for Embedded Systems
Roel Wuyts, Universität Bern
Stéphane Ducasse, Universität Bern