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) |