News About the workshop Call for Papers Venue Registration Camera Ready Program

[Invited talks] [Workshop format] [Workshop program] [Accepted papers]

Workshop Format

Workshop Program

Day 1: Wednesday, September 19th

 
12:30-14:00    Lunch
14:00-14:15    Welcome

14:15-15:45    Session 1: Modular Reasoning
               Chair: Markus Lumpe
                Slim Kallel, Anis Charfi, and Mohamed Jmaiel: 
                  Aspect-based Approach for Specifying and Enforcing Architecture Invariants
                Berhard Schätz: Modular Functional Specification of Reactive Components

15:45-16:15    Coffee break

16:15-17:45    Session 2: Verification Techniques & Behavioral Analysis
               Chair: Corina Pasareanu
		Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, and Pascal Poizat: 
                   A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
		Mila Majster-Cederbaum, Moritz Martens, and Christoph Minnameier: 
                   Liveness in Interaction Systems

18:00          SC meeting

Day 2: Thursday, September 20th

 
 9:00-10:30    Session 3: Component Composition & System Adaptation
               Chair: Frantisek Plasil
		Jean-Baptiste Raclet: Residual for Component Specifications
		Javier Cámara, Gwen Salaün, and Carlos Canal: Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems

10:30-11:00    Coffee break

11:00-12:30    Session 4: Substitutability
               Chair: Gwen Salaun
		Meriem Belguidoum and Fabien Dagnat: Formalization of Component Substitutability
		Youcef Hammal: Substitutability Relations for Active Components

12:30-14:00    Lunch

14:00-15:00    Invited talk 1: Corina Pasareanu, NASA-Ames, USA:
                  Learning Based Assume Guarantee Reasoning

15:00-15:30    Coffee break

15:30-17:00    Session 5: Component Models
               Chair: Carlos Canal
		(Video-conference from Brazil) David Paulo Pereia and Ana C. V. de Melo: 
                   A CSP Architectural Model for Fault-tolerant Systems
                Vasu Alagar and Mubarak Mohammad: 
                   A Component Model for Trustworthy Real-Time Reactive Systems Development


17:00-18:00    Practical demonstration

      20:00    Workshop dinner in Juan les Pins

Day 3: Friday, September 21st

 9:00-10:00    Invited talk 2: Eugenio Zimeo, Un. of Sannio - Benevento, Italy: 
                  From Component-Based to Service-Oriented Computing: Towards Self-Evolution

10:00-10:30    Coffee break

10:30-12:45    Session 6: Tools & Frameworks
               Chair: Eric Madelaine
		Fabricio Fernandes and Jean-Claude Royer: 
                   The STSLib Project: Towards a Formal Component Model Based on STS
		Jasmin Christian Blanchette and Olaf Owe: 
                   An Open System Operational Semantics for an Object-Oriented and Component-Based Language
		Jin-Hyun Kim, Jae-Hwan Sim, and Jin-Young Choi: 
                   Resource-Oriented Design Framework for Embedded System Components

12:45-14:00    Lunch

14:00-15:30    Session 7: Component Interaction
               Chair: Bernard Schaetz
                Muck van Weerdenburg: Process Algebra with Local Communication
		Tobias Blechmann and Christel Baier: Checking Equivalence for Reo Networks

15:30-16:30    Discussion session with coffee/refreshments

      16:30    Workshop ends
      17:00    Bus to the airport

Invited speakers

Corina Pasareanu, NASA Ames Reasearch Center - Moffett Field, USA
Talk title: Learning Based Assume Guarantee Reasoning
Abstract:
Assume-guarantee reasoning is a “divide and conquer” approach to the verification of large systems that makes use of "assumptions" about the environment of a system component. Coming up with appropriate assumptions used to be a difficult manual process. We will present techniques for performing assume guarantee verification of software in a fully automated fashion. In the heart of these techniques lies a framework that uses an off-the-shelf learning algorithm for regular languages, namely L*, to compute the assumptions. We will also discuss the application of the techniques to a number of NASA case studies.
This is joint work with Dimitra Giannakopoulou, Howard Barringer, Jamie Cobleigh, and Mihaela Gheorghiu.

Eugenio Zimeo, Research Center on Software Technology, University of Sannio - Benevento, Italy
Talk title: From Component-Based to Service-Oriented Computing: Towards Self-Evolution
Abstract:
Service oriented architectures have gained increasing popularity as they significantly extend the potential of software components to implement global information systems where loosely coupled pieces of functionality are published, consumed, and combined with other functions over the Internet. This approach enables a two-level developing model, where functions are implemented by individual services and processes are built as compositions of services. The talk focuses on the design and enactment of processes that orchestrate services over the Web, reviewing basic technologies and presenting emerging approaches that enable self-evolution. This will be analyzed for different aspects of a web process, including control-flow and service binding, and using different architectural models, from centralized orchestration to fully distributed composition and enactment.

Accepted papers:


Eric Madelaine
Last modified: Wed Aug 8 17:32:05 CEST 2007