The Monterey Workshop Series

2004 Theme: Workshop on Software Engineering Tools:
Compatibility and Integration

Vienna, Austria
October 4-6, 2004

Previous Workshop Editions (2003, 2002, 2001, 2000)

Program

SUNDAY, 3 October 2004
7:00-9:00 pm	Welcome Reception

MONDAY, 4 October 2004
9:00	Opening Remarks David Hislop, Army Research Office
SESSION 1: User Perspectives on Tool Integration
9:30	Commercial Tool Integration: The Reactis Experience Rance Cleaveland, State University of New York, Stony Brook and Reactive Systems, Inc.
10:10	Discussion
10:30	Coffee break
10:50	Integrated Tools for Integrated Methods Alan Wassyng, McMaster University, Canada
11:10	Post-mortem analysis of embedded systems: A case study Purush Iyer, North Carolina State University
11:30	TTP-Tools -- The tool set of the Time-Triggered Architecture Stefan Poledna, TTTech, Vienna
11:50	Discussion
12:15	Lunch
SESSION 2: Model Driven Architectures Chair: Connie Heitmeyer
1:30	Model-Integrated Computing Janos Sztipanovits, Vanderbilt University
2:10	Architecture Based Methods and Tools for Software Systems Design Tom Maibaum, King's College, London
2:30	Discussion
3:00	Coffee break
3:20	Architecture-based Verification Lori Clarke, University of Massachusetts
3:40	Evolution of Architecture Models Bernhard Rumpe, Technical University of Braunschweig
4:00	Model driven development of multimedia applications Heinrich Hussman, Andreas Pleuss Ludwig-Maximilians-Universitaet, Munich
4:20	Discussion
Evening: Vinery

TUESDAY, 5 October 2004
SESSION 3: Component-based Systems and Interface Theories Chair: Gabor Karsai
8:30	Interface-based Design Tom Henzinger, Ecole Polytechnique Federale de Lausanne
9:10	Threading by Appointment Christoph Kirsch, University of Salzburg
9:30	The Creol approach to open distributed systems Olaf Owe, University of Oslo
9:50	Discussion
10:20	Coffe Break
10:40	Issues in Integration of TMO Programming and Specification Tools with Basic Object-Oriented Distributed Software Engineering Tools Kane Kim, University of California, Irvine
11:00	Compositional Periodic Interface for Real-Time Components Insup Lee, University of Pennsylvania
11:20	Priority Systems Joseph Sifakis, Verimag, Grenoble
11:40	Discussion
12:15	Lunch
SESSION 4: Software Analysis and Design Tools Chair: Insup Lee
1:30	Multiple Interoperating Program Analyses Martin Rinard, MIT
2:10	Timing Prediction and Timing Predictability Reinhard Wilhelm, University of Saarland, Saarbrucken
2:30	Discussion
3:00	Coffee break
3:20	Model Checking, Abstraction and Symbolic Execution for Software Sriram Rajamani, Microsoft Research
4:00	Linking theories of concurrency He Jifeng, UNU/IIST, Macau
4:20	Discussion
EVENING PROGRAM
7 pm	Workshop Dinner

WEDNESDAY, 6 October 2004
SESSION 5: Open Tool Integration Frameworks Chair: Purush Iyer
8:30	Black-box versus White-box Integration: Alternative Integration Strategies Shmuel Katz, Technion
9:10	The Interface is the Message Shankar, SRI
9:50	Discussion
10:20	Coffee break
10:40	Verification on the Web of Mobile Systems Ugo Montanari, University of Pisa
11:00	XML Language Composition and Integration of XML-Processing Tools Tomasz Janowski, UNU/IIST, Macau
11:20	(Testing) Tool Integration via Theory Integration Bernhard Aichernig, UNU/IIST, Macau
11:40	Discussion
12:15	Lunch
SESSION 6: Standardized Modeling Environments Chair: Joseph Sifakis
1:30	Tool Integration Aspects in the Model-Driven Architecture Gabor Karsai, Vanderbilt University
2:10	Aspect-oriented hard real-time programming and tool integration Wolfgang Pree, University of Salzburg, Austria
2:30	Discussion
3:00	Coffee break
3:20	Integration of formal methods in MDA using the model bus Xavier Blanc, University of Pierre & Marie Curie, Paris
3:40	Basing a Modeling Environment on a General Purpose Theorem Prover Myla Archer, Naval Research Lab
4:00	Toward a more Formal Basis for Middleware Chris Gill, Washington University at St Louis
4:20	Discussion
4:50	Closing Remarks