SAVCBS Logo   SAVCBS'03
 Specification and Verification
 of Component-Based Systems
Workshop at ESEC/FSE 2003 - September 1-2, 2003, Room 505 House of Sciences (Tieteiden talo)
SAVCBS 2003 Program Schedule
Time Monday 9/1 Tuesday 9/2
8:30 -
8:45
Opening remarks Opening remarks
8:45 -
9:45
Invited Talk:
 
[talk title]
Manfred Broy (Technical University Munich)
Invited Talk:
 
Supporting Model-driven Development of Component-based Embedded Systems with Cadena
Matthew B. Dwyer (Kansas State University)
Break
10:00 -
11:30
Session 1
 
Failure-free Coordinator Synthesis for Correct Components Assembly
Paola Inverardi and Massimo Tivoli (University of L'Aquila)  
Proof Rules for Automated Compositional Verification through Learning
Howard Barringer (University of Manchester), Dimitra Giannakopoulou (RIACS/USRA), and Corina S. Pasareanu (Kestrel Technology LLC)
Session 3
 
An Approach to Model and Validate Publish/Subscribe Architectures
Luca Zanolin, Carlo Ghezzi, and Luciano Baresi (Politecnico di Milano)
 
Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
Jane Jayaputera, Iman Poernomo, and Heinz Schmidt (Monash  University)
Lunch
12:45 -
2:15
Session 2
 
Behavioral Substitutability in Component Frameworks: A Formal Approach
Sabine Moisan, Annie Ressouche (INRIA Sophia Antipolis), and Jean-Paul Rigault (I3S Laboratory)
 
An Assertion Checking Wrapper Design for Java
Roy Patrick Tan and Stephen H. Edwards (Virginia Tech)
Session 4
 
Modelling a Framework for Plugins
Robert Chatley, Susan Eisenbach, and Jeff Magee (Imperial College London)
 
Form-Based Software Composition
Markus Lumpe (Iowa State University) and Jean-Guy Schneider (Swinburne University of Technology)
Break
2:30 -
3:15
Demonstrations
 
Specifications in the Development Process: an AsmL Demonstration
Mike Barnett (Microsoft  Research)
 
Mae: An Architectural Evolution Environment
Roshanak Roshandel (University of Southern California, Los Angeles)
 
Runtime Asserting Checking Using JML
Roy Patrick Tan (Virginia Tech)
Session 5
 
Algorithmic Game Semantics and Component-Based Verification
Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, and C.-H. Luke Ong (Oxford University)
Break
3:30 -
4:00
Discussion
 
Identify collaborative topics,
taxonomy of research areas,
areas needing exploration,
papers for FAC special issue
 
Closing remarks, evaluations
Break
4:15 -
5:00
Poster Session
 
Bridging the Gap between Acme and UML 2.0 for CBD
Miguel Goul„o and Fernando Brito e Abreu (Faculdade de CiÍncias e Tecnologia-UNL)
 
Abstract OO Big O
Joan Krone (Denison University) and W. F. Ogden (The Ohio State University)
 
Ontology-based Description and Reasoning for Component-based Development on the Web
Claus Pahl (Dublin City University)
 
Modeling Multiple Aspects of Software Components
Roshanak Roshandel and Nenad Medvidovic (University of Southern California, Los Angeles)
 
Reasoning About Parameterized Components with Dynamic Binding
Nigamanth Sridhar and Bruce W. Weide (The Ohio State University)