LSV Seminar

The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.

The seminar is open to public and does not require any form of registration.

Past Seminars

Specifying Interacting Components with Coordinated Concurrent Scenarios

Visit website for this news | Export event in iCalendar format

 Madhavan Mukund
Date
Tuesday, June 09 2009 at 11:00AM
Place
Salle de Conférence (Pavillon des Jardins)
Speaker
Madhavan Mukund (Chennai Mathematical Institute, India)

We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose actions are MSCs that specify its local view of the overall communication in the system. These local MSCs are composed into coherent global scenarios using a separately specified set of transactions.

Intuitively, each MSC represents a phase of interaction. We introduce a mechanism to overlap phases that allows complex interactions to be specified without obscuring the logical structure of the constituent scenarios.

Our notation combines the global view available in models such as high-level message sequence charts (HMSCs) with the local, asynchronous structure captured by message-passing automata (MPA). In fact, both HMSCs and MPAs can be captured as special cases of our formalism.

In this talk we focus on the syntax and formal semantics of our notation, with examples that illustrate why this approach is more natural for capturing real-life specifications. We also describe an approach to use automated tools to analyze systems specified using our notation.

This is joint work with Prakash Chandrasekaran.


About LSV

Agenda

Export agenda in iCalendar format | Past seminars

Tue, Jan 29
Tue, Feb 5
Tue, Feb 19

Past seminars